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

by A C Klug
Venue:J. ACM