Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël ThomazoPublished in: IJCAI (2022)
Keyphrases
- extended abstract
- unions of conjunctive queries
- query answering
- data exchange
- query optimisation
- dl lite
- existentially quantified
- conjunctive queries
- tuple generating dependencies
- query containment
- answering queries
- transitive closure
- probabilistic databases
- query processing
- description logics
- query language
- response time
- datalog queries
- query evaluation
- database
- integrity constraints
- database views
- data integration
- attribute values
- databases
- range queries
- association rules
- query rewriting
- database queries
- classification rules
- aggregate queries
- web search engines
- logic programs
- data model
- relational databases
- closed world
- first order logic
- search engine
- information retrieval
- incomplete information