Relational algebra,

Relational algebra, an offshoot of first-order logic (and of algebra of sets), deals with a set of finitary relations (see also relation (database)) which is closed under certain operators. These operators operate on one or more relations to yield a relation. Relational algebra is a part of computer science.