SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics.
Qi ZhouJoy ArulrajShamkant B. NavatheWilliam HarrisJinpeng WuPublished in: ICDE (2022)
Keyphrases
- query containment
- database
- query processing
- response time
- semantically equivalent
- bag of words
- data sources
- logic programming
- user interaction
- user queries
- transformation rules
- transitive closure
- database queries
- semantic meaning
- semantically relevant
- conjunctive queries
- query evaluation
- query formulation
- formal semantics
- sparql queries
- query answers
- algebraic operations
- strong equivalence
- query rewriting
- symbolic representation
- query execution
- query answering
- range queries
- retrieval systems
- logic programs
- information retrieval