tuple calculus

<database> A form of relational calculus in which a variable's only permitted values are tuples of a given relation.

Codd's unimplemented language ALPHA and the subsequent QUEL are examples of the tuple calculus.

Nearby terms:
tunnelling « TUPLE « tuple « tuple calculus » Tuple Space Smalltalk » tupling » Turbo C