O'Reilly logo

XQuery from the Experts: A Guide to the W3C XML Query Language by Philip Wadler, Jim Tivy, Jérôme Siméon, Michael Rys, Jonathan Robie, Michael Kay, Mary Fernández, Denise Draper, Don Chamberlin, Howard Katz - Editor

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 4. Static Typing in XQuery

Mary Fernández, Jérôme Siméon, and Philip Wadler

XQuery is a strongly typed language, meaning that the types of values and expressions must be compatible with the context in which the value or expression is used. All implementations of XQuery must support dynamic typing, which checks during dynamic evaluation that the type of a value is compatible with the context in which it is used and raises a type error if an incompatibility is detected. XQuery implementations may optionally support static typing, which checks during static analysis that the type of an expression is compatible with the context in which it is used. Static Typing can shorten the development cycle by detecting common type errors before a query ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required