tuple calculus

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

tuple calculus

   <database> A form of {relational calculus} in which a
   variable's only permitted values are {tuples} of a given
   {relation}.

   {Codd}'s unimplemented language {ALPHA} and the subsequent
   {QUEL} are examples of the tuple calculus.

   (1998-10-05)