next up previous contents
Next: Second Optimisation (OP2) Up: Tuple Relational Calculus Previous: Tuple Relational Calculus

Formal Definition of TRC

This language is close to SQL since variables must range over relations.



Chris Fox, September 1995