go back

Volume 12, No. 11

Automated Verification of Query Equivalence Using Satisfiability Modulo Theories

Authors:

Qi Zhou, Joy Arulraj, Shamkant Navathe, William Harris, Dong Xu

PVLDB is part of the VLDB Endowment Inc.