The Tuple Relational Calculus
- The tuple relational calculus is a nonprocedural language. (The relational algebra was procedural.)We must provide a formal description of the information desired.
- A query in the tuple relational calculus is expressed as
i.e. the set of tuples for which predicate is true.
- We also use the notation
- to indicate the value of tuple on attribute .
- to show that tuple is in relation .