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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
XML query (XQuery), http://www.w3.org/XML/Query
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/
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/
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/
XML query use cases, 1.8.4.1 (2003), http://www.w3.org/TR/xquery-use-cases/
Bex, G.J., Maneth, S., Neven, F.: A formal model for an expressive fragment of XSLT. Information Systems 27, 21–39 (2002)
Chamberlin, D.: XQuery: An XML query language, tutorial overview. IBM Systems Journal 41(4) (2002)
G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In VLDB 2002, Hong Kong, 2002.
Harbarth, J.: XQuery 1.0 primer (2003), http://www.softwareag.com/xml/tools/xquery_primer.pdf
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)
Marx, M.: XCPath, the first order complete XPath dialect. In: SIGMOD/PODS (2004)
Wadler. P.: Two semantics for XPath (1999), http://www.cs.bell-labs.com/who/wadler/topics/xml.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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