2199 2005-09-14 19:05:47 +0000 R-207: Question about wildcard restriction 2009-04-21 19:21:36 +0000 1 1 1 Unclassified XML Schema Structures: XSD Part 1 1.1 only All All CLOSED FIXED important, easy, restriction cluster resolved P4 normal --- 1 sandygao cmsmcq www-xml-schema-comments oldest_to_newest 6216 0 sandygao 2005-09-14 19:05:47 +0000 Is the following restriction valid: BASE: <xs:sequence minOccurs="0" maxOccurs="1"> <xs:any namespace="##any" processContents="skip" minOccurs="1" maxOccurs="unbounded"/> <xs:sequence> DERIVED: <xs:sequence minOccurs="0" maxOccurs="1"> <xs:element name="A" minOccurs="1" maxOccurs="unbounded" /> <xs:element name="B" minOccurs="1" maxOccurs="unbounded" /> <xs:sequence> From Schema Component Constraint: Particle Derivation OK (All:All,Sequence:Sequence -- Recurse) 2 There is a complete order-preserving functional mapping from the particles in the {particles} of R to the particles in the {particles} of B such that all of the following must be true: ... [Definition:] A complete functional mapping is order-preserving if each particle r in the domain R maps to a particle b in the range B which follows (not necessarily immediately) the particle in the range B mapped to by the predecessor of r, if any, where "predecessor" and "follows" are defined with respect to the order of the lists which constitute R and B. " See the following for Henry's answer and subsequent thread http://lists.w3.org/Archives/Public/www-xml-schema-comments/2003JanMar/0057.html See also the following related mail: http://lists.w3.org/Archives/Public/www- xml-schema-comments/2003OctDec/0023.html and http://lists.w3.org/Archives/Public/xmlschema-dev/2003Oct/0026.html And, see the following related mail: http://lists.w3.org/Archives/Public/www- xml-schema-comments/2004JanMar/0037.html and http://lists.w3.org/Archives/Public/www-xml-schema-comments/2004JanMar/0044.html 11877 1 cmsmcq 2006-09-19 20:05:14 +0000 This question appears to be answered, now, by the validation rule Content Type Restricts. Every sequence of elements locally valid against the derived type is locally valid against the base, and the mapping Test[ES,Base](E) subsumes the mapping Test[ES,Derived](E) for all elements E in all element sequences ES. Is this issue now ready to be closed without action? 12625 2 cmsmcq 2006-10-27 20:56:41 +0000 At its telcon of 27 October 2006, the Working Group agreed to close this issue for 1.1, and open a parallel issue for 1.0 (bug 3870) which will remain open. The rationale for closing the issue is that it relates to the constructive rules for checking restriction, which are no longer part of 1.1.