Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions - Klug, Anthony C (University of Wisconsin-Madison Department of Computer Sciences, 1980)