Codd's reduction algorithm
Codd's reduction algorithm
(database)An algorithm to convert an arbitrary expression
of the relational calculus to an equivalent expression of
the relational algebra. This can be used as the basis of an
implementation of the relational calculus.