tuple calculus

(redirected from Tuple relational calculus)
Also found in: Wikipedia.

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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
References in periodicals archive ?
Experience shows that students can infer the rigorous logic, such as the tuple relational calculus, from natural language queries, but find it cumbersome to translate it to SQL.
These are first rewritten in tuple relational calculus using both kinds of quantification and using implication with universal quantifiers.
The variant of relational calculus that is used in this tutorial is the tuple relational calculus. The first formal definition for tuple relational calculus is due to Codd (1972), who also developed an algorithm to translate from relational calculus to relational algebra, another theoretical query language.
Next, the formal definition of a tuple relational calculus expression is stated.