Definition: relational calculus

The rules for combining and manipulating relations; for example De Morgan's law, "the complement of a union is equal to the union of the complements."