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 5. Introduction to the Formal Semantics

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

“When a Mathematical Reasoning can be had it's as great a folly to make use of any other, as to grope for a thing in the dark, when you have a Candle standing by you.”

John Arbuthnot, The Laws of Form, 1692

XQuery is described by two documents: the XQuery language document [XQ-LANG], which uses prose, and the XQuery Formal Semantics document [XQ-FS], which uses symbols. Symbols support a degree of precision that prose alone cannot achieve, but they require some training in their use. This chapter provides such training and is intended for XQuery implementers and expert users who need a deeper understanding of XQuery's semantics.

This chapter does ...

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