Login / Signup

Monadic datalog over finite structures with bounded treewidth.

Georg GottlobReinhard PichlerFang Wei
Published in: PODS (2007)
Keyphrases
  • monadic datalog
  • bounded treewidth
  • np complete
  • decision problems
  • fixed parameter tractable
  • highly parallelizable
  • conjunctive queries
  • xml documents
  • logic programs
  • multi task