This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 2025 - R-047: Request for clarification of complex type derivation restriction rules for empty base
Summary: R-047: Request for clarification of complex type derivation restriction rules...
Status: CLOSED FIXED
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Structures: XSD Part 1 (show other bugs)
Version: 1.0 only
Hardware: All All
: P2 normal
Target Milestone: ---
Assignee: Henry S. Thompson
QA Contact: XML Schema comments list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-09-07 20:29 UTC by Sandy Gao
Modified: 2009-04-21 19:24 UTC (History)
0 users

See Also:


Attachments

Description Sandy Gao 2005-09-07 20:29:17 UTC
Constraint 5.3 of "Schema Component Constraint: Derivation Valid (Restriction, 
Complex)" states:

"5.3 If the {content type} of the {base type definition} is mixed or the 
{content type} of the complex type definition itself is element-only, then the 
particle of the complex type definition itself must be a valid restriction of 
the particle of the {content type} of the {base type definition} as defined in 
Particle Valid (Restriction)."

Does the use of the definite article in the phrase "the particle of the 
{content type} of the {base type definition}" imply that the {content type} 
must have a particle, and must not be empty? If not, what prohobits the 
following:

  <xs:complexType name="rrr" />
  <xs:complexType name="sss">
    <xs:complexContent>
      <xs:restriction base="rrr">
        <xs:sequence>
          <xs:element name="dummy"/>
        </xs:sequence>
      </xs:restriction>
    </xs:complexContent>
  </xs:complexType>

See
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001JulSep/0081.html
Comment 1 Sandy Gao 2005-09-07 20:29:43 UTC
Tentative resolution:
http://www.w3.org/XML/Group/2001/10/xml-schema-ftf-minutes#ab1b3b3b3b1b3 

Resolution
The WG approved the tentative resolution above. An erratum will be created 
clarifying that the example is in error not because of constraint 5.3, but 
because of failure to match particles in one against the other.

Proposed erratum available at:
http://www.w3.org/XML/Group/2002/09/xmlschema-1/structures-with-
errata.html#derivation-ok-restriction 

Sept. 20: RESOLVED: to accept E1-17 as amended (s/from a/by restricting a/).

Erratum E1-15 added.