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

by A Klug
Venue:JACM