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.
MegaLexica
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.