!- Converted with LaTeX2HTML 0.6.4 (Tues Aug 30 1994) by Nikos Drakos (email@example.com), CBLU, University of Leeds ->
Next: Safety of Expressions
Up: The Tuple Relational
Previous: Example Queries
A tuple relational calculus expression is of the form
where is a formula.
Several tuple variables may appear in a formula.
A tuple variable is said to be a free variable unless it is
quantified by a or a .
Then it is said to be a bound variable.
A formula is built of atoms.
An atom is one of the following forms:
Formulae are built up from atoms using the following rules:
Note some equivalences:
Page created and maintained by Osmar R. Zaï ane
Wed Sep 20 15:45:57 PDT 1995