W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > April to June 2001

Spec issue in Particle Derivation OK (All/Choice/Sequence:Any -- NSRecurseCheckCardinality)

From: Yan Leshinsky <yanl@microsoft.com>
Date: Fri, 25 May 2001 10:24:08 -0700
Message-ID: <45359FDEC14E8C4CA23BA1CF2A8004370188E5A2@red-msg-03.redmond.corp.microsoft.com>
To: <www-xml-schema-comments@w3.org>

> <http://www.w3.org/TR/xmlschema-1/#rcase-NSRecurseCheckCardinality>
> Schema Component Constraint: Particle Derivation OK
> (All/Choice/Sequence:Any -- NSRecurseCheckCardinality) 
> For a group particle to be a ·valid restriction· <l > of a wildcard
> particle all of the following must be true: 
> 1 Every member of the {particles} <l > of the group is a ·valid
> restriction· <l > of the wildcard as defined by Particle Valid
> (Restriction) (§3.9.6) <l >. 
> 2 The effective total range of the group, as defined by Effective
> Total Range (all and sequence) (§3.8.6) <l > (if the group is all or
> sequence) or Effective Total Range (choice) (§3.8.6) <l > (if it is
> choice) is a valid restriction of B's occurrence range as defined by
> Occurrence Range OK (§3.9.6) <l >. 
> 
> Bullet 1 inples that occurrence range for every member in group
> particle should ve a restriction of occurance range of any.
> That will make following shema incorrect:
> 
> <xsd:complexType name="B">
>     <xsd:sequence>
>         <xsd:element name="foo" minOccurs="1" maxOccurs="1"/>
>         <xsd:any namespace="##any"  minOccurs="4" maxOccurs="8"/>
>     </xsd:sequence>
> </xsd:complexType>
> 
> <xsd:complexType name="R">
>     <xsd:complexContent>
>         <xsd:restriction base="x:B">
>             <xsd:sequence>
>                 <xsd:element name="foo" minOccurs="1" maxOccurs="1"/>
>                 <xsd:sequence minOccurs="1" maxOccurs="2">
>                    <xsd:element name="e1" minOccurs="2"
> maxOccurs="2"/>
>                    <xsd:element name="e2" minOccurs="2"
> maxOccurs="2"/>
>                 </xsd:sequence>
>             </xsd:sequence>
>         </xsd:restriction>
>     </xsd:complexContent>
> </xsd:complexType>
> 
> Thanks, Yan
Received on Friday, 25 May 2001 13:25:27 GMT

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