Source : Free On-Line Dictionary of Computing

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.
     
        (1998-10-05)