$n$-permutability and linear Datalog implies symmetric Datalog
Abstract
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$, then CSP($\mathbb A$) can be solved by a symmetric Datalog program (and thus CSP($\mathbb A$) lies in deterministic logspace). At the moment, it is not known for which structures $\mathbb A$ will CSP($\mathbb A$) be solvable by a linear Datalog program. However, once somebody obtains a characterization of linear Datalog, our result immediately gives a characterization of symmetric Datalog.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2015
- DOI:
- 10.48550/arXiv.1508.05766
- arXiv:
- arXiv:1508.05766
- Bibcode:
- 2015arXiv150805766K
- Keywords:
-
- Computer Science - Computational Complexity;
- 68Q17;
- 68R05;
- 03C05
- E-Print:
- Logical Methods in Computer Science, Volume 14, Issue 2 (April 25, 2018) lmcs:2029