Monadic datalog over finite structures with bounded treewidth

Georg Gottlob, Reinhard Pichler, Fang Wei. Monadic datalog over finite structures with bounded treewidth. In Leonid Libkin, editor, Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China. pages 165-174, ACM, 2007. [doi]

Abstract

Abstract is missing.