Monadic datalog over finite structures with bounded treewidth.

Georg Gottlob, Reinhard Pichler, Fang Wei

Browse the full PODS paper archive.