Datalog and Constraint Satisfaction with Infinite Templates

@inproceedings{Bodirsky2006DatalogAC,
  title={Datalog and Constraint Satisfaction with Infinite Templates},
  author={Manuel Bodirsky and V{\'i}ctor Dalmau},
  booktitle={STACS},
  year={2006}
}
We relate the expressive power of Datalog and constraint satisfaction with infinite templates. The relationship is twofold: On the one hand, we prove that every non-empty problem that is closed under disjoint unions and has Datalog width one can be formulated as a constraint satisfaction problem (CSP) with a countable template that is ω-categorical. Structures with this property are of central interest in classical model theory. On the other hand, we identify classes of CSPs that can be solved… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 48 CITATIONS

A Model-Theoretic View on Qualitative Constraint Reasoning

  • J. Artif. Intell. Res.
  • 2017
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Local-to-Global Consistency Implies Tractability of Abduction

  • AAAI
  • 2014
VIEW 4 EXCERPTS
CITES RESULTS & BACKGROUND
HIGHLY INFLUENCED

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning

  • 2013 IEEE 25th International Conference on Tools with Artificial Intelligence
  • 2013
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Fast Algorithm and Lower Bound for Temporal Reasoning

VIEW 10 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

On the Containment of Forbidden Patterns Problems

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

The complexity of rooted phylogeny problems

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

The complexity of temporal constraint satisfaction problems

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Maximal infinite-valued constraint languages

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Universal Structures and the logic of Forbidden Patterns

  • Logical Methods in Computer Science
  • 2009
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED