Decidability of weak logics with deterministic transitive closure.
Witold CharatonikEmanuel KieronskiFilip MazowieckiPublished in: CSL-LICS (2014)
Keyphrases
- transitive closure
- expressive power
- query containment
- query language
- constraint databases
- first order logic
- data complexity
- recursive queries
- query evaluation
- decision procedures
- relational algebra
- directed acyclic graph
- query answering
- description logics
- modal logic
- machine learning
- spatial databases
- inference rules
- database
- database applications
- object oriented
- knowledge representation
- query processing