Similar Items: The Complexity of Datalog on Linear Orders
- $n$-permutability and linear Datalog implies symmetric Datalog
- 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
- The succinctness of first-order logic on linear orders
- Decidable Expansions of Labelled Linear Orderings