TY  - RPRT
TI  - A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
AU  - Qi Zhou
AU  - Joy Arulraj
AU  - Shamkant Navathe
AU  - William Harris
AU  - Jinpeng Wu
PY  - 2021
UR  - https://arxiv.org/abs/2004.00481
ID  - 2004.00481
ER  -