Codd's reduction algorithm

Codd's reduction algorithm

(database)An algorithm to convert an arbitrary expressionof the relational calculus to an equivalent expression ofthe relational algebra. This can be used as the basis of animplementation of the relational calculus.