TY  - RPRT
TI  - A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations
AU  - Ce Lyu
AU  - Changzheng Wei
AU  - Yanhao Wang
AU  - Jie Liang
AU  - Li Lin
AU  - Hanghang Wu
AU  - Minghao Zhao
AU  - Ying Yan
AU  - Aoying Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2606.23294
ID  - 2606.23294
ER  -