Browsing Articles (Departament de Tecnologies de la Informació i les Comunicacions) by Subject "Datalog"

Now showing items 1-2 of 2

CSP duality and trees of bounded pathwidth

Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei (Elsevier, 2010)

We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of homomorphism dualities involving trees of ...
Datalog and constraint satisfaction with infinite templates

Bodirsky, Manuel; Dalmau, Víctor (Elsevier, 2013)

On finite structures, there is a well-known connection between the expressive power of Datalog, finite variable logics, the existential pebble game, and bounded hypertree duality. We study this connection for infinite ...

Now showing items 1-2 of 2

Search DSpace

In collaboration with Compliant to Partaking