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.

(1998-10-05)