Substructural Logics with a Reflexive Transitive Closure Modality.
Igor SedlárPublished in: WoLLIC (2017)
Keyphrases
- transitive closure
- expressive power
- propositional calculus
- first order logic
- recursive queries
- constraint databases
- data complexity
- relational algebra
- query language
- query evaluation
- directed acyclic graph
- spatial databases
- modal logic
- inference rules
- databases
- binary relations
- expert systems
- database technology
- co occurrence
- database systems