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 2057 - R-068: Contradiction in Structures re: base for complexTypes with simpleContent
Summary: R-068: Contradiction in Structures re: base for complexTypes with simpleContent
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-09 02:33 UTC by Sandy Gao
Modified: 2009-04-21 19:24 UTC (History)
0 users

See Also:


Attachments

Description Sandy Gao 2005-09-09 02:33:55 UTC
There appears to be a contradiction in Structures as to whether a complexType 
with simpleContent is allowed to be derived by restriction from a mixed type.

The property mapping rules for complex type with simple content state the 
following for content type when restriction is chosen:

"1 if the type definition resolved to by the actual value of the base 
[attribute] is a complex type definition (whose own {content type} must be a 
simple type definition, see below) and the restriction alternative is 
chosen ...".

In addition, Schema Representation Constraint: Complex Type Definition 
Representation OK states:

"If the <simpleContent> alternative is chosen, the type definition resolved to 
by the actual value of the base [attribute] must be either a complex type 
definition whose {content type} is a simple type definition or, only if the 
<extension> alternative is also chosen, a simple type definition; "

However, "Schema Component Constraint: Derivation Valid (Restriction, Complex)" 
states:

"5.1 If the {content type} of the complex type definition is a simple type 
definition, then one of the following must be true:

5.1.1 The {content type} of the {base type definition} must be a simple type 
definition of which the {content type} is a valid restriction as defined in 
Derivation Valid (Restriction, Simple).

5.1.2 The {base type definition} must be mixed and have a particle which is 
emptiable as defined in Particle Emptiable). "

See: http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2001Jun/0047.html
Comment 1 Sandy Gao 2005-09-09 02:34:50 UTC
Henry's response
http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2001Jun/0050.html 

Further discussion at the Dec f2f:
http://www.w3.org/XML/Group/2001/12/xml-schema-ftf-minutes.html#ab1b3b3c11b2 

Status 01/2002: Discussion to be postponed until after R-54 is resolved. See 
minutes:
http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2002Jan/0080.html 

Discussion resumed on April 16:
http://lists.w3.org/Archives/Member/w3c-xml-schema-wg/2002Apr/0022.html 

Resolution:
Resolved at the May f2f. The WG decided to instruct the editor to draft 
erratum, correcting any text which conflicts with 5.1.2 above.

Draft errata posted at:
http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2002Oct/0201.html 

Discussed and approved at Oct. f2f. See:
http://www.w3.org/XML/2002/10/xml-schema-ftf-minutes 

Erratum E1-27 added.