Monadic datalog over finite structures of bounded treewidth.

Georg Gottlob Reinhard Pichler Fang Wei

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

monadic datalog
bounded treewidth
np complete
conjunctive queries
decision problems
boolean functions
query answering
query processing
structured data
highly parallelizable