OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

 


 

   XQuery/XPath Formal Semantics - smatch?

[ Lists Home | Date Index | Thread Index ]

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





 

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS