TY  - RPRT
TI  - Building SQL Equivalence Proofs from Query Rewrite Rules
AU  - Chunyu Chen
AU  - Xinyi Huang
AU  - Zhengjie Miao
PY  - 2026
UR  - https://arxiv.org/abs/2610.30100
ID  - 2610.30100
ER  -