Almost Symmetric Linear Arc Monadic Datalog and Transitive Tournaments

Sebastian Meyer, Florian Starke

We introduce $n$-almost symmetric Datalog and study $n$-almost symmetric linear arc monadic Datalog. We characterize the finite relational structures whose constraint satisfaction…