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.