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