[
Lists Home |
Date Index |
Thread Index
]
I'll ask again. Where in XQuery/XPath Formal Semantics is structural match
(smatch) defined?
Bob
----- Original Message -----
From: "Bob Foster" <bob@objfac.com>
To: <xml-dev@lists.xml.org>
Sent: Monday, May 12, 2003 6:15 PM
Subject: [xml-dev] 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>
>
>
|
