Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments.
Sen ZhengRenate A. SchmidtPublished in: J. Autom. Reason. (2023)
Keyphrases
- conjunctive queries
- query answering
- query rewriting
- dl lite
- data complexity
- probabilistic databases
- decision procedures
- data exchange
- query evaluation
- integrity constraints
- datalog programs
- data integration
- np complete
- description logics
- regular path queries
- query language
- incomplete information
- boolean functions
- tuple generating dependencies
- database systems
- query execution
- query optimization
- special case
- query containment
- machine learning
- database