W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > October to December 2008

[Bug 6163] Attribute Wildcard Union

From: <bugzilla@wiggum.w3.org>
Date: Thu, 30 Oct 2008 17:01:45 +0000
To: www-xml-schema-comments@w3.org
Message-Id: <E1Kvau1-0005qn-2K@farnsworth.w3.org>


--- Comment #4 from Michael Kay <mike@saxonica.com>  2008-10-30 17:01:44 ---
A further observation (which doesn't directly affect the resolution in comment
#3). In comment #2 I observed that when type E extends type B, and the wildcard
union is inexpressible, then under rule, the {attribute
wildcard} of the extended type is that defined in the xs:extension. However,
this will almost certainly mean that the resulting type does not meet
Derivation Valid: Extension, under rule 1.3. So although the rules
apparently recover from an inexpressible union wildcard, it seems that the
attempt to recover will generally fail. Under the proposal of comment #3, the
union will not only be expressible, but will also satisfy rule 1.3 which
requires that the wildcard of the base type is a wildcard subset of the union.

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 30 October 2008 17:02:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:09:12 UTC