Formal Definitions

next up previous
Next: Example Queries Up: The Domain Relational Previous: The Domain Relational

Formal Definitions

  1. An expression is of the form

    where the represent domain variables, and is a formula.

  2. An atom in the domain relational calculus is of the following forms
  3. Formulae are built up from atoms using the following rules:

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