[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: XQuery/XPath Formal Semantics - smatch?

• To: <xml-dev@l...>
• Subject: Re: XQuery/XPath Formal Semantics - smatch?
• From: "Bob Foster" <bob@o...>
• Date: Thu, 15 May 2003 11:57:07 -0500
• References: < <5.2.0.9.0.20030509094303.064decc0@n...> <oproptiyy1ezizxn@s...> <oproptiyy1ezizxn@s...> <7643555.1052150699228.JavaMail.nobody@k...> <200305051929.h45JTd905242@d...> <5.2.0.9.0.20030509094303.064decc0@n...> <5.2.0.9.0.20030509104322.024d99d8@n...> <5.2.0.9.0.20030512104026.03c35940@n...> <2c8c01c318d4$1498fdd0$1401a8c0@snobird> <2ca601c318dc$54970140$1401a8c0@snobird>

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>
>
>

• References:
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: Jonathan Robie <jonathan.robie@d...>
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: Mike Champion <mc@x...>
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: Linda Grimaldi <grimlinda@e...>
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: Joe English <jenglish@f...>
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: Jonathan Robie <jonathan.robie@d...>
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: Jonathan Robie <jonathan.robie@d...>
  • Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
    • From: "Bob Foster" <bob@o...>
  • XQuery/XPath Formal Semantics - smatch?
    • From: "Bob Foster" <bob@o...>

• Prev by Date: RE: XML-SCHEMA Q: Adding an xsd:attribute to an xsd:element
• Next by Date: Re: nostalgia
• Previous by thread: XQuery/XPath Formal Semantics - smatch?
• Next by thread: Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
• Index(es):
  • Date
  • Thread