A calculus tied to a tuple uses tuple variables, i.e. a variable whose only valid values ββare tuples of this relation. For example. QUEL. Domain-oriented calculus has domain variables, that is, variables that are located above the underlying domains, and not above the ratio. For example. ILL, DEDUCE .... A calculus tied to a tuple uses tuple variables, i.e. A variable whose only valid values ββare tuples of this relationship. E