Cart
[Home] [By Thread] [By Date] [Recent Entries]
I'll ask again. Where in XQuery/XPath Formal Semantics is structural match (smatch) defined? Bob ----- Original Message ----- From: "Bob Foster" <bob@o...> To: <xml-dev@l...> Sent: Monday, May 12, 2003 6:15 PM Subject: XQuery/XPath Formal Semantics - smatch? > 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 > > > ----------------------------------------------------------------- > The xml-dev list is sponsored by XML.org <http://www.xml.org>, an > initiative of OASIS <http://www.oasis-open.org> > > The list archives are at http://lists.xml.org/archives/xml-dev/ > > To subscribe or unsubscribe from this list use the subscription > manager: <http://lists.xml.org/ob/adm.pl> > >
|
