Altova Mailing List Archives

XQuery/XPath Formal Semantics - smatch?

From: "Bob Foster" <bob@------.--->
To: <xml-dev@-----.---.--->
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).



These Archives are provided for informational purposes only and have been generated directly from the Altova mailing list archive system and are comprised of the lists set forth on Therefore, Altova does not warrant or guarantee the accuracy, reliability, completeness, usefulness, non-infringement of intellectual property rights, or quality of any content on the Altova Mailing List Archive(s), regardless of who originates that content. You expressly understand and agree that you bear all risks associated with using or relying on that content. Altova will not be liable or responsible in any way for any content posted including, but not limited to, any errors or omissions in content, or for any losses or damage of any kind incurred as a result of the use of or reliance on any content. This disclaimer and limitation on liability is in addition to the disclaimers and limitations contained in the Website Terms of Use and elsewhere on the site.