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

[Bug 6163] 3.10.6.3 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>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6163





--- 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 3.4.2.5 rule 2.2.2.4, 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 3.4.6.2 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:16 GMT