Linear Datalog and Bounded Path Duality of Relational Structures
In this paper we systematically investigate the connections between logics with a finite number of variables, structures of bounded pathwidth, and linear Datalog Programs. We prove that, in the context of Constraint Satisfaction Problems, all these concepts correspond to different mathematical embod...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Logical Methods in Computer Science e.V.
2005-04-01
|
| Seria: | Logical Methods in Computer Science |
| Hasła przedmiotowe: | |
| Dostęp online: | https://lmcs.episciences.org/2275/pdf |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|