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.
Last updated: 1998-10-05
Codd's First Normal Form ♦ Codd's reduction algorithm ♦ code ♦ Code 2.0
Try this search on Wikipedia, Wiktionary, Google, OneLook.