Query Containment for Highly Expressive Datalog Fragments.
Pierre BourhisMarkus KrötzschSebastian RudolphPublished in: CoRR (2014)
Keyphrases
- highly expressive
- query containment
- query answering
- containment of conjunctive queries
- transitive closure
- first order logic
- conjunctive queries
- datalog programs
- description logics
- expressive power
- predicate logic
- regular path queries
- decision procedures
- data exchange
- integrity constraints
- incomplete information
- query optimization
- knowledge representation
- query rewriting
- action theories
- query language
- defeasible logic
- data integration
- knowledge base
- data complexity
- data management
- inference rules
- regular expressions
- query evaluation
- machine learning
- theorem proving
- theorem prover
- modal logic