LiXQuery: a formal foundation for XQuery research

ABSTRACT

XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational purposes. By defining a concise backwards compatible subset of XQuery with a complete formal description, we provide a practical foundation for XQuery research. We pay special attention to usability by supporting the most typical XQuery expressions.

REFERENCES

• 1: XML query (XQuery). http://www.w3.org/XML/Query.
• 2: XQuery 1.0 and XPath 2.0 data model, W3C working draft 29 october 2004. http://www.w3.org/TR/2003/WD-xpath-datamodel/.
• 3: XQuery 1.0 and XPath 2.0 formal semantics, W3C working draft 20 february 2004. http://www.w3.org/TR/2004/WD-xquery-semantics/.
• 4: XQuery 1.0 and XPath 2.0 functions and operators, W3C working draft 29 october 2004. http://www.w3.org/TR/2003/WD-xpath-functions/.
• 5: XML query use cases, 1.8.4.1. 2003. http://www.w3.org/TR/xquery-use-cases/.
• 6: Michael Benedikt , Wenfei Fan , Gabriel M. Kuper, Structural Properties of XPath Fragments, Proceedings of the 9th International Conference on Database Theory, p.79-95, January 08-10, 2003
• 7: Geert Jan Bex , Sebastian Maneth , Frank Neven, A formal model for an expressive fragment of XSLT, Information Systems, v.27 n.1, p.21-39, March 2002 [doi>10.1016/S0306-4379(01)00033-3]
• 8: Daniele Braga , Alessandro Campi , Stefano Ceri, XQBE (XQuery By Example): A visual interface to the standard XML query language, ACM Transactions on Database Systems (TODS), v.30 n.2, p.398-443, June 2005 [doi>10.1145/1071610.1071613]
• 9: D. Chamberlin, XQuery: An XML query language, IBM Systems Journal, v.41 n.4, p.597-615, October 2002
• 10: Georg Gottlob , Christoph Koch , Reinhard Pichler, The complexity of XPath query evaluation, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.179-190, June 09-11, 2003, San Diego, California [doi>10.1145/773153.773171]
• 11: J. Harbarth. XQuery 1.0 primer. 2003. http://www.softwareag.com/xml/tools/xquery_primer.pdf.
• 12: J. Hidders, J. Paredaens, R. Vercammen, and S. Demeyer. A light but formal introduction to XQuery. In Proceedings of the Second International XML Database Symposium (XSym 2004), number 2186 in LNCS, pages 5--20, Toronto, Canada, 2004. Springer. http://www.adrem.ua.ac.be/pub/lixquery.pdf.
• 13: Howard Katz , Don Chamberlin , Michael Kay , Philip Wadler , Denise Draper, XQuery from the Experts: A Guide to the W3C XML Query Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
• 14: S. Kepser. A simple proof of the turing-completeness of XSLT and XQuery. In T. Usdin, editor, Extreme Markup Languages 2004, 2004.
• 15: Wim Martens , Frank Neven, Frontiers of tractability for typechecking simple XML transformations, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France [doi>10.1145/1055558.1055563]
• 16: Maarten Marx, Conditional XPath, the first order complete XPath dialect, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France [doi>10.1145/1055558.1055562]
• 17: Igor Tatarinov , Zachary G. Ives , Alon Y. Halevy , Daniel S. Weld, Updating XML, Proceedings of the 2001 ACM SIGMOD international conference on Management of data, p.413-424, May 21-24, 2001, Santa Barbara, California, United States
• 18: P. Wadler. Two semantics for XPath, 1999. http://www.cs.bell-labs.com/who/wadler/topics/xml.html.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
          Subjects: Query languages

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Query processing
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.3 Information Search and Retrieval
          Subjects: Query formulation

General Terms:
Design, Languages