Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël ThomazoPublished in: KR (2021)
Keyphrases
- unions of conjunctive queries
- query answering
- query optimisation
- existentially quantified
- tuple generating dependencies
- data exchange
- dl lite
- answering queries
- query containment
- conjunctive queries
- query language
- query processing
- datalog queries
- association rules
- inconsistent databases
- probabilistic databases
- query evaluation
- decision procedures
- transitive closure
- database queries
- database
- web search engines
- data sources
- description logics
- relational queries
- classification rules
- database views
- attribute values
- user queries
- incomplete information
- data complexity
- range queries
- retrieval systems
- data integration
- logic programs
- knowledge representation
- data structure
- databases