Login / Signup
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.
Yang He
Pinhan Zhao
Xinyu Wang
Yuepeng Wang
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
integrity constraints
sql queries
database schema
xml documents
query containment
xml schema
relational databases
functional dependencies
conjunctive queries
relational database systems
relational queries
object oriented
query result
query answering
xml queries
database
data model
tree structure
data structure