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

The Forest through the Trees

We have introduced several powerful techniques and formal tools: normalization rules that define a large language in terms of a smaller core; inference rules for defining both the dynamic evaluation of and static typing of expressions; and judgments for relating external values, internal values, and types.

The foundations of the techniques presented in this chapter are in logic and programming language theory. The main technique we use to specify XQuery's semantics is widely used, so much so that it goes by several names, including natural semantics, big-step semantics, and evaluation semantics; it is a special case of what is called operational semantics. The technique was originally proposed by Plotkin [STRUCTURAL ...

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