$n$-permutability and linear Datalog implies symmetric Datalog

Alexandr Kazda

We show that if $\mathbb{A}$ is a core relational structure such that CSP($\mathbb{A}$) can be solved by a linear Datalog program, and $\mathbb{A}$ is $n$-permutable for some $n$, the…