튜플릭스 계산법

튜플릭스는 행렬과 벡터를 일반화하는 표현식으로서, 이에 대한 계산법을 소개한다. 튜플릭스는 영원 총합(field)에서 취한 양(quantity)에 대한 기본 데이터 유형을 갖는다. 본 연구는 결합(compositon)된 결합곱(conjunctive composition)을 사용하는 항목(entries) 및 검증(tests)에 대한 핵심 튜플릭스 계산법인 CTC를 시작으로 한다. 표준 모델을 정의하고 CTC가 이에 대해 상대적 완전성을 지님을 증명한다. 핵심 계산법은 선택, 정보 은닉, 스칼라 곱셈, 클리어링 및 캡슐화 연산자로 확장된다. 두 가지 응용 예를 제시하는데, 하나는 점진적 재무 예산 관리를 위한 것이며, 다른 하나는 모듈식 재무 예산 설계이다.