Conjunctive query containment over trees

  • Authors:
  • Henrik Björklund;Wim Martens;Thomas Schwentick

  • Affiliations:
  • University of Dortmund;University of Dortmund;University of Dortmund

  • Venue:
  • DBPL'07 Proceedings of the 11th international conference on Database programming languages
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The complexity of containment and satisfiability of conjunctive queries over finite, unranked, labeled trees is studied with respect to the axes Child, NextSibling, their transitive and reflexive closures, and Following. For the containment problem a trichotomy is presented, classifying the problems as in PTIME, coNP-complete, or Π2P -complete. For the satisfiability problem most problems are classified as either in PTIME or NP-complete.