The next+ framework for logical xquery optimization

Classical logical optimization techniques rely on a logical semantics of the query language. The adaptation of these techniques to XQuery is precluded by its definition as a functional language with operational semantics. We introduce Nested XML Tableaux which enable a logical foundation for XQuery semantics and provide the logical plan optimization framework of our XQuery processor. As a proof of concept, we develop and evaluate a minimization algorithm for removing redundant navigation within and across nested subqueries. The rich XQuery features create key challenges that fundamentally extend the prior work on the problems of minimizing conjunctive and tree pattern queries.

[1]  Laks V. S. Lakshmanan,et al.  Minimization of tree pattern queries , 2001, SIGMOD '01.

[2]  Dan Suciu,et al.  Containment and equivalence for an XPath fragment , 2002, PODS.

[3]  S. Boag,et al.  XQuery 1.0 : An XML query language, W3C Working Draft 12 November 2003 , 2003 .

[4]  Alfred V. Aho,et al.  Efficient optimization of a class of relational expressions , 1978, SIGMOD Conference.

[5]  Prakash V. Ramanan,et al.  Efficient algorithms for minimizing tree pattern queries , 2002, SIGMOD '02.

[6]  Jörg Flum,et al.  Query Evaluation via Tree-Decompositions , 2001, ICDT.

[7]  Laks V. S. Lakshmanan,et al.  TAX: A Tree Algebra for XML , 2001, DBPL.

[8]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[9]  Dan Suciu,et al.  Deciding containment for queries with complex objects (extended abstract) , 1997, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.

[10]  Ioana Manolescu,et al.  Answering XML Queries on Heterogeneous Data Sources , 2001, VLDB.

[11]  R. G. G. Cattell,et al.  The Object Database Standard: ODMG-93 , 1993 .

[12]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[13]  Donald D. Chamberlin,et al.  XQuery: a query language for XML , 2003, SIGMOD '03.

[14]  Guido Moerkotte,et al.  Nested Queries in Object Bases , 1993, DBPL.

[15]  Dan Suciu,et al.  Deciding containment for queries with complex objects (extended abstract) , 1997, PODS '97.

[16]  Alon Y. Halevy,et al.  Query Optimization by Predicate Move-Around , 1994, VLDB.

[17]  Surajit Chaudhuri,et al.  An overview of query optimization in relational systems , 1998, PODS.

[18]  Hamid Pirahesh,et al.  Extensible/rule based query rewrite optimization in Starburst , 1992, SIGMOD '92.

[19]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[20]  Michael J. Carey,et al.  XPERANTO: Middleware for Publishing Object-Relational Data as XML Documents , 2000, VLDB.

[21]  Cong Yu,et al.  TIMBER: A native XML database , 2002, The VLDB Journal.

[22]  Won Kim,et al.  On optimizing an SQL-like nested query , 1982, TODS.

[23]  Alin Deutsch,et al.  Containment and Integrity Constraints for XPath Fragments , 2001 .

[24]  Alon Y. Halevy,et al.  Efficient query reformulation in peer data management systems , 2004, SIGMOD '04.

[25]  Yannis Papakonstantinou,et al.  QURSED: querying and reporting semistructured data , 2002, SIGMOD '02.

[26]  J. Davenport.  Editor , 1960 .

[27]  Jörg Flum,et al.  Query evaluation via tree-decompositions , 2001, JACM.

[28]  Laks V. S. Lakshmanan,et al.  On the evaluation of tree pattern queries , 2006, ICSOFT.

[29]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[30]  Harry K. T. Wong,et al.  Optimization of nested SQL queries revisited , 1987, SIGMOD '87.

[31]  Laks V. S. Lakshmanan,et al.  Grouping in XML , 2002, EDBT Workshops.

[32]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .