XML is now heavily adopted in the industry as the standard format to
represent data and documents on the Web. This phenomenon has triggered
a lot of interest in languages that manipulate, query, transform, or
integrate XML data. XQuery is the latest W3C proposal of such a
language.
In this talk, I will give an overview of the XML Query family of
specifications: the XML Query Data Model, the XML Query Algebra, and
XQuery itself. XQuery is an expressive language: I will introduce its
basic constructs, and illustrate its use on concrete examples. XQuery
is a strongly typed language: the semantics of XQuery is defined in
terms of the XML Algebra, which supports static type checking. I will
illustrate the use of types in queries on concrete examples. Galax is
an implementation of XQuery and of the XML Algebra. I will demonstrate
the use of Galax by running some of the above examples. |