Welcome to the UPF Digital Repository

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

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

Sort by: Order: Results:

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

Search DSpace


Advanced Search

Browse

My Account

Compliant to Partaking