XML Queries and constraints, containment and reformulation

  • Authors:

  • Alin Deutsch;Val Tannen

  • Affiliations:

  • Department of Computer Science and Engineering, University of California San Diego, 9500 Gilman Drive, La Jolla, CA;Department of Computer and Information Science, University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA

  • Venue:
  • Theoretical Computer Science - Database theory
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Starting from the XQuery language we define XBind, an XML analog of relational conjunctive queries as well as a related class of XML integrity constraints (dependencies). We identify a fragment of XBind for which containment is decidable, in fact Π2p-complete, and a further fragment for which containment is NP-complete. We extend the containment algorithm to take XML dependencies into account. We give an algorithm for the reformulation of XBind queries under combinations of GAV and LAV XQuery views, as well as additional dependencies. We prove a completeness theorem which guarantees that under certain conditions, our algorithm will find a minimal reformulation if one exists. Moreover, we identify conditions when this algorithm achieves optimal complexity bounds. Our results on containment and reformulation depend on certain restrictions on the query and constraint languages. We calibrate the results by showing that lifting these restrictions significantly changes the complexity of the problems.