W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > July to September 2005

[Bug 2025] R-047: Request for clarification of complex type derivation restriction rules for empty base

From: <bugzilla@wiggum.w3.org>
Date: Wed, 07 Sep 2005 20:29:17 +0000
To: www-xml-schema-comments@w3.org
Cc:
Message-Id: <E1ED6Xl-0005Rt-8F@wiggum.w3.org>

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

           Summary: R-047: Request for clarification of complex type
                    derivation restriction rules for empty base
           Product: XML Schema
           Version: 1.0
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSD Part 1: Structures
        AssignedTo: ht@w3.org
        ReportedBy: sandygao@ca.ibm.com
         QAContact: www-xml-schema-comments@w3.org


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
Received on Wednesday, 7 September 2005 20:29:26 GMT

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