domain calculus

from The Free On-line Dictionary of Computing (8 July 2008)
domain calculus

   <database> A form of {relational calculus} in which {scalar}
   variables take values drawn from a given {domain}.

   Examples of the domain calculus are {ILL}, {FQL}, {DEDUCE} and
   the well known {Query By Example} (QBE).  {INGRES} is a
   {relational DBMS} whose {DML} is based on the relational
   calculus.
    

[email protected]