kod QR

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...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
1. autor: Victor Dalmau
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: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!