[
Lists Home |
Date Index |
Thread Index
]
-----Original Message-----
From: Simon St.Laurent [mailto:simonstl@simonstl.com]
Sent: Wed 7/3/2002 8:18 AM
To: xml-dev@lists.xml.org
Cc:
Subject: RE: [xml-dev] XQuery and DTD/Schema?
>RELAX NG has definitely been discussed by the working group; at one point I
>understood the formal model had much more in common with RELAX NG than with
>W3C XML Schema.
The XQuery "type system" was originally based on that of XDuce which bears similarity to RELAX NG since they both primarily use pattern matching to establish types. The problem with this is that it is incompatible with XML Schema's notion of named types and type derivation which unfortunately it seems the W3C XML Query working group is refusing to accept given the last draft of the XQuery formal semantics I laid my eyes on.
>Intriguingly, the W3C "XML Schema Formal Model" hasn't seen any new drafts
>since 25 September 2001,
The XQuery formal model and algebra have been superceded by the XQuery Formal Semantics[0]
[0] http://www.w3.org/TR/query-semantics/
|
