[SIGMOD’24] Proving Query Equivalence Using Linear Integer Arithmetic. (to be published)
[SIGMOD’22] WeTune: Automatic Discovery and Verification of Query Rewrite Rules. Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li. (Paper, Extend Ver)