Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël ThomazoPublished in: CoRR (2021)
Keyphrases
- query optimisation
- query answering
- existentially quantified
- tuple generating dependencies
- unions of conjunctive queries
- query processing
- query containment
- query language
- probabilistic databases
- datalog queries
- web search engines
- aggregate queries
- database queries
- database
- transitive closure
- query evaluation
- attribute values
- queueing networks
- range queries
- relational queries
- response time
- query rewriting
- answering queries
- first order logic
- user queries
- inconsistent databases
- function free horn
- regular path queries
- deductive databases
- web search
- association rules