domain calculus
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.