SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

Browse the full ICDE paper archive.