Complete axiomatization of relational algebra

Original text of this message