Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions | Synapse