Altova Mailing List Archives
>xml-dev Archive Home
>Thread Prev - Re: [xml-dev] Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
XQuery/XPath Formal Semantics - smatch?
Date: 5/12/2003 10:51:00 PM
Section 7.7 outlines three main judgements: smatch, erase and annotate. Erase and annotate are described, but smatch seems to be missing. This makes it a little hard to understand. Can someone either point out a document where this is defined (or a place in this document), or answer what are probably the two key questions for understanding it, namely, - How does structural matching deal with non-determinism? - Specifically, is structural matching "shallow" (like DTD or XML Schema, where only the content model/complex type at a single level is examined to resolve a choice) or "deep" (multiple levels are examined). Bob