Equivalence of relational algebra and relational calculus query languages having aggregate functions (1988)

by Anthony Klug
Venue:Journal of the ACM