TY  - RPRT
TI  - VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
AU  - Yang He
AU  - Pinhan Zhao
AU  - Xinyu Wang
AU  - Yuepeng Wang
PY  - 2024
UR  - https://arxiv.org/abs/2403.03193
ID  - 2403.03193
ER  -