tuple calculus

Search:

tuple calculus

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.

(1998-10-05)