!- Converted with LaTeX2HTML 0.6.4 (Tues Aug 30 1994) by Nikos Drakos (firstname.lastname@example.org), CBLU, University of Leeds ->
The Tuple Relational Calculus
Next: Example Queries
Up: The Relational Model
Previous: Additional Operations
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 .
Page created and maintained by Osmar R. Zaï ane
Wed Sep 20 15:45:57 PDT 1995