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. Last updated: 1998-10-05
