The Tuple Relational Calculus

next up previous
Next: Example Queries Up: The Relational Model Previous: Additional Operations

The Tuple Relational Calculus

  1. The tuple relational calculus is a nonprocedural language. (The relational algebra was procedural.)

    We must provide a formal description of the information desired.

  2. A query in the tuple relational calculus is expressed as

    i.e. the set of tuples for which predicate is true.

  3. We also use the notation

Page created and maintained by Osmar R. Zaï ane
Last Update: Wed Sep 20 15:45:57 PDT 1995