next up previous contents
Next: First Optimisation (OP1) Up: Domain Relational Calculus Previous: Domain Relational Calculus

Formal Definition of DRC

Where are meta-variables over domains.



Chris Fox, September 1995