August 2003
Intermediate to advanced
512 pages
11h 23m
English
We start by describing the formal model of XML values and XML Schema types used in XQuery, which is necessary to understand the rest of the chapter. Then the next section, “Matching and Subtyping,” expands on our definition of matching to include matching of complex XML values with complex types. Since FLWOR expressions are the workhorse of XQuery, we cover their normalization and static and dynamic semantics in the section entitled “FLWOR Expressions.” The normalization of path expressions into FLWOR expressions is covered next in “Path Expressions.” The normalization of arithmetic and comparison operators into function calls is covered next, under “Implicit Coercions and Function Calls.” We conclude with a section ...