## Codd's reduction algorithm

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.

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.