Query Weak Equivalence and its Verification in Analytical Databases. - Jinguo You; Wanting Fu; Yuxuan Wang; Peilei He; Kaiqi Liu; Quanqing Xu (ICDE, 2025)