Skip to main content

A Light but Formal Introduction to XQuery

  • Conference paper
Book cover Database and XML Technologies (XSym 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3186))

Included in the following conference series:

Abstract

We give a light-weight but formal introduction to XQuery by defining a sublanguage of XQuery. We ignore typing, and don’t consider namespaces, comments, programming instructions, and entities. To avoid confusion we call our version LiXQuery (Light XQuery). LiXQuery is fully downwards compatible with XQuery. Its syntax and its semantics are far less complex than that of XQuery, but the typical expressions of XQuery are included in LiXQuery. We claim that LiXQuery is an elegant and simple sublanguage of XQuery that can be used for educational and research purposes. We give the complete syntax and the formal semantics of LiXQuery.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. XML query (XQuery), http://www.w3.org/XML/Query

  2. XQuery 1.0 and XPath 2.0 data model, W3C working draft, November 12 (2003), http://www.w3.org/TR/2003/WD-xpath-datamodel-20031112/

  3. XQuery 1.0 and XPath 2.0 formal semantics, W3C working draft, February 20 (2004), http://www.w3.org/TR/2004/WD-xquery-semantics-20040220/

  4. XQuery 1.0 and XPath 2.0 functions and operators, W3C working draft, November12 (2003), http://www.w3.org/TR/2003/WD-xpath-functions-20031112/

  5. XML query use cases, 1.8.4.1 (2003), http://www.w3.org/TR/xquery-use-cases/

  6. Bex, G.J., Maneth, S., Neven, F.: A formal model for an expressive fragment of XSLT. Information Systems 27, 21–39 (2002)

    Article  MATH  Google Scholar 

  7. Chamberlin, D.: XQuery: An XML query language, tutorial overview. IBM Systems Journal 41(4) (2002)

    Google Scholar 

  8. G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In VLDB 2002, Hong Kong, 2002.

    Google Scholar 

  9. Harbarth, J.: XQuery 1.0 primer (2003), http://www.softwareag.com/xml/tools/xquery_primer.pdf

  10. Katz, H., Chamberlin, D., Draper, D., Fernández, M., Kay, M., Robie, J., Rys, M., Siméon, J., Tivy, J., Wadler, P. (eds.): XQuery from the Experts: A Guide to the W3C XML Query Language. Addison-Wesley, Reading (2004)

    Google Scholar 

  11. Marx, M.: XCPath, the first order complete XPath dialect. In: SIGMOD/PODS (2004)

    Google Scholar 

  12. Wadler. P.: Two semantics for XPath (1999), http://www.cs.bell-labs.com/who/wadler/topics/xml.html

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hidders, J., Paredaens, J., Vercammen, R., Demeyer, S. (2004). A Light but Formal Introduction to XQuery. In: Bellahsène, Z., Milo, T., Rys, M., Suciu, D., Unland, R. (eds) Database and XML Technologies. XSym 2004. Lecture Notes in Computer Science, vol 3186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30081-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30081-6_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22969-8

  • Online ISBN: 978-3-540-30081-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics