C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories.
Qi Zhou
Joy Arulraj
Shamkant B. Navathe
William Harris
Dong Xu
Published in:
Proc. VLDB Endow. (2019)
Keyphrases
</>
automated verification
model checking
query processing
automated reasoning
formal verification
relevance feedback
user queries
query expansion
query evaluation
special case
np complete
query terms