VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.
Yang HePinhan ZhaoXinyu WangYuepeng WangPublished in: CoRR (2024)
Keyphrases
- integrity constraints
- sql queries
- database schema
- xml documents
- xml schema
- query containment
- query answering
- relational databases
- conjunctive queries
- relational database systems
- query result
- xml queries
- functional dependencies
- data mining algorithms
- domain knowledge
- relational queries
- object oriented
- consistent query answering