An Algebra for XML Query

This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression types, similar in power to DTDs or XML Schemas, and closely related to Hasoya, Pierce, and Vouillon's work on Xduce. The iteration construct involves novel typing rules not encountered elsewhere (even in Xduce).

[1]  John C. Mitchell,et al.  Foundations for programming languages , 1996, Foundation of computing series.

[2]  Michael Kifer,et al.  Querying object-oriented databases , 1992, SIGMOD '92.

[3]  Silvio Micali,et al.  Advances in Computing Research: The Theory of Databases , 1986 .

[4]  Alin Deutsch,et al.  A Query Language for XML , 1999, Comput. Networks.

[5]  David Beech,et al.  A Formal Data Model and Algebra for XML , 1999 .

[6]  Vassilis Christophides,et al.  On wrapping query languages and efficient XML integration , 2000, SIGMOD '00.

[7]  Limsoon Wong,et al.  Query Languages for Bags and Aggregate Functions , 1997, J. Comput. Syst. Sci..

[8]  Limsoon Wong,et al.  A query language for multidimensional arrays: design, implementation, and optimization techniques , 1996, SIGMOD '96.

[9]  Limsoon Wong,et al.  Kleisli, a functional query system , 2000, J. Funct. Program..

[10]  Daniela Florescu,et al.  Quilt: An XML Query Language for Heterogeneous Data Sources , 2000, WebDB.

[11]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

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

[13]  Dan Suciu,et al.  Comprehension syntax , 1994, SGMD.

[14]  LibkinLeonid,et al.  A query language for multidimensional arrays , 1996 .

[15]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[16]  Catriel Beeri,et al.  Algebraic Optimization of Object-Oriented Query Languages , 1990, Theor. Comput. Sci..

[17]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

[18]  Dan Suciu,et al.  UnQL: a query language and algebra for semistructured data based on structural recursion , 2000, The VLDB Journal.

[19]  Abel,et al.  A formal semantics of patterns in XSLT , 2000 .

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

[21]  J. Davenport.  Editor , 1960 .

[22]  C. J. Date,et al.  A Guide to the SQL Standard: A User's Guide to the Standard Relational Language SQL , 1993 .

[23]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.

[24]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[25]  Benjamin C. Pierce,et al.  XDuce: A Typed XML Processing Language (Preliminary Report) , 2000, WebDB.

[26]  Catriel Beeri,et al.  SAL: An Algebra for Semistructured Data and XML , 1999, WebDB.

[27]  Patrick C. Fischer,et al.  Nested Relational Structures , 1986, Adv. Comput. Res..

[28]  Latha S. Colby.  A recursive algebra for nested relations , 1990, Inf. Syst..

[29]  R. Bird.  Introduction to functional programming using Haskell, Second Edition , 1998 .

[30]  Philip Wadler,et al.  A Formal Semantics of Patterns in XSLT and XPath , 2000, Markup languages.

[31]  Limsoon Wong,et al.  Principles of Programming with Complex Objects and Collection Types , 1995, Theor. Comput. Sci..