tuple calculus

tuple calculus

(database)A form of relational calculus in which avariable's only permitted values are tuples of a givenrelation.

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