Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments.
Sen ZhengRenate A. SchmidtPublished in: CoRR (2022)
Keyphrases
- conjunctive queries
- query answering
- query rewriting
- dl lite
- probabilistic databases
- data complexity
- decision procedures
- integrity constraints
- query evaluation
- boolean functions
- data exchange
- datalog programs
- regular path queries
- description logics
- np complete
- data integration
- query language
- query containment
- incomplete information
- lower complexity
- artificial intelligence
- special case
- machine learning
- knowledge base
- exptime complete
- tuple generating dependencies