Automated Verification of Query Equivalence Using Satisfiability Modulo Theoriesvldb.org1 pointmatt_d7 years ago