Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions

Anthony C. Klug. Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. Journal of the ACM, 29(3):699-717, 1982. [doi]