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

XQuery/XPath Formal Semantics - smatch?

• To: <xml-dev@l...>
• Subject: XQuery/XPath Formal Semantics - smatch?
• From: "Bob Foster" <bob@o...>
• Date: Mon, 12 May 2003 18:15:06 -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>

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

• Follow-Ups:
  • Re: XQuery/XPath Formal Semantics - smatch?
    • From: "Bob Foster" <bob@o...>

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

• Prev by Date: talk@x...
• Next by Date: Re: OT: Schemas and entities
• Previous by thread: Re: Ten new XQuery, XSLT 2.0 and XPath 2.0 Working Drafts
• Next by thread: Re: XQuery/XPath Formal Semantics - smatch?
• Index(es):
  • Date
  • Thread