Similar Items: $n$-permutability and linear Datalog implies symmetric Datalog
- The Complexity of Datalog on Linear Orders
- Linear Datalog and Bounded Path Duality of Relational Structures
- Datalog Rewritings of Regular Path Queries using Views
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
- Multiset semantics in SPARQL, Relational Algebra and Datalog