TY  - RPRT
TI  - QED: A Powerful Query Equivalence Decider for SQL
AU  - Wang, Shuxian
AU  - Pan, Sicheng
AU  - Cheung, Alvin
PY  - 2024
DO  - 10.14778/3681954.3682024
UR  - https://www.osti.gov/biblio/2580208
ID  - 2580208
ER  -