Cyclic Hypersequent System for Transitive Closure Logic.
Anupam DasMarianna GirlandoPublished in: J. Autom. Reason. (2023)
Keyphrases
- transitive closure
- expressive power
- query evaluation
- constraint databases
- first order logic
- recursive queries
- spatial databases
- logic programming
- relational algebra
- query language
- binary relations
- modal logic
- fixed point semantics
- query containment
- directed acyclic graph
- multi dimensional
- knowledge representation
- databases
- query processing