Qi Zhou 0010, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu. SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics. In 38th IEEE International Conference on Data Engineering, ICDE 2022, Kuala Lumpur, Malaysia, May 9-12, 2022. pages 2735-2748, IEEE, 2022. [doi]
Abstract is missing.