ComplexType constraints

Section 3.4.6 of ComplexTypes, under the heading "Schema Component
Constraint: Derivation Valid (Extension)", states:
"If the {derivation method} is extension, the appropriate case among the
following must be true: 
1 If the {base type definition} is a complex type definition, then all of
the following must be true: 
...
1.2[The base type definition's] {attribute uses} must be a subset of the
{attribute uses} of the complex type definition itself, that is, for every
attribute use in the {attribute uses} of the {base type definition}, there
must be an attribute use in the {attribute uses} of the complex type
definition itself whose {attribute declaration} has the same {name}, {target
namespace} and {type definition} as its attribute declaration."

The Schema of Schemas, however, violates this in that the "attribute"
complexType doesn't have an "id" attribute defined, even though it is an
extension of annotated, which is a complexType that defines an attribute
named "id".

Which is correct, the constraint or the schema (or am I missing something
again)?

John P. A. Verhaeg
JVerhaeg@MetaMatrix.Com <mailto:JVerhaeg@MetaMatrix.Com>

 <<...OLE_Obj...>> 
11477 Olde Cabin Road Suite 400
Creve Coeur, MO 63141
(314) 739-3190 x150

Received on Thursday, 6 June 2002 13:47:25 UTC