tuple calculus

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.
Mentioned in ?
References in periodicals archive ?
As an example, we provide tuple calculus semantics for the query given in Figure 3.
Here the Cartesian product and projection operators have been expressed in tuple calculus.
We present a relational algebra and a tuple calculus for our model and prove their equivalence.