Deciding Equivalences Among Aggregate Queries.

Werner Nutt, Yehoshua Sagiv, Sara Shurin

Browse the full PODS paper archive.