W3C home > Mailing lists > Public > xmlschema-dev@w3.org > November 2003

Validation of an element restriction whose base type has the variety union

From: Michael Marchegay <mmarcheg@optonline.net>
Date: Thu, 06 Nov 2003 11:35:17 -0500
Message-ID: <3FAA7845.2080904@optonline.net>
To: xmlschema-dev@w3.org


It seems to me that the the following schema should be invalid because
the value space of the base type definition of the element "e" in the
type "ct-base" is not a super set of the value space of the base type
definition of the element "e" in "ct-deriv"; but I cannot find any
Schema Component Constraint invalidating it.

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">

  <xs:simpleType name="base">
    <xs:union memberTypes="xs:boolean xs:integer"/>

  <xs:simpleType name="deriv">
    <xs:restriction base="base">
      <xs:enumeration value="1"/>
      <xs:enumeration value="2"/>

  <xs:complexType name="ct-base">
      <xs:element name="e" type="deriv"/>

  <xs:complexType name="ct-deriv">
      <xs:restriction base="ct-base">
          <xs:element name="e" type="xs:integer"/>


Using cos-st-derived-ok [1], xs:integer seems to be validly derived
given {extension, list, union} from deriv (because the member type
definitions property of deriv is the the member type definitions of base).
Therefore, rcase_NameAntTypeOK [2] is not violated, and the restriction
seems to be valid.

Have I missed something?

[1] http://www.w3.org/TR/xmlschema-1/#cos-ct-derived-ok
[2] http://www.w3.org/TR/xmlschema-1/#rcase-NameAndTypeOK


Michael Marchegay
Received on Thursday, 6 November 2003 11:37:08 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:56:03 UTC