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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)