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

by A Klug
Venue:Journal of the ACM,