Deriving complexTypes by restriction.

[bclark76]

I am getting a strange error, maybe someone knows why it is occurring..

I get the following error when I try to validate Untitled8.xml in
Altova XMLSPY:

Validation error in another file: Untitled3.xsd

The message in XMLSPY in Untitled3.xsd is: The file is not valid: The
content model of complex type { no name } is not a valid restriction
of the content model of complex type 'Condiment_Type '

http://www.w3.org/TR/xmlschema-1/#cos-ct-derived-ok is pretty hairy
looking, but nothing jumps out at me as a reason why this might be so..
It's also wierd ( at least to me ) that when I open just Untitled3.xsd
and hit 'F8' to Validate that file that it validates fine, but when I
try to use Untitled3.xsd to validate Untitled8.xml the xsd is suddenly
not valid anymore..

Any thoughts would be appreciated. Thanks.

Here is my xml file that I am trying to validate ( Untitled8.xml ) :

<?xml version="1.0" encoding="UTF-8"?>
<PeanutButterSa ndwich
xmlns:xsi="http ://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespace SchemaLocation= "Untitled3.xsd" >
<Bread>wheat</Bread>
<Condiment>
<PeanutButter>J iffy</PeanutButter>
</Condiment>
</PeanutButterSan dwich>
Here is my xsd ( Untitled3.xsd ) :

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
elementFormDefa ult="qualified" attributeFormDe fault="unqualif ied">
<xs:complexTy pe name="Condiment _Type">
<xs:choice>
<xs:element name="Jelly"/>
<xs:element name="PeanutBut ter"/>
<xs:element name="Ketchup"/>
<xs:element name="Mustard"/>
<xs:element name="Mayo"/>
</xs:choice>
</xs:complexType>
<xs:complexTy pe name="FoodSlice _Type">
<xs:choice>
<xs:element name="Balogna"/>
<xs:element name="Cheese"/>
<xs:element name="Onions"/>
<xs:element name="Tomatos"/>
</xs:choice>
</xs:complexType>
<xs:complexTy pe name="Sandwich_ Type">
<xs:sequence>
<xs:element name="Bread">
<xs:simpleTyp e>
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment " type="Condiment _Type"/>
<xs:element name="FoodSlice " type="FoodSlice _Type"/>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:complexType>
<xs:complexTy pe name="Condiment _Sandwich_Type" >
<xs:complexCont ent>
<xs:restricti on base="Sandwich_ Type">
<xs:sequence>
<xs:element name="Bread">
<xs:simpleTyp e>
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment " type="Condiment _Type"/>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:complexTy pe name="PeanutBut ter_Sandwich_Ty pe">
<xs:complexCont ent>
<xs:restricti on base="Condiment _Sandwich_Type" >
<xs:sequence>
<xs:element name="Bread">
<xs:simpleTyp e>
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment ">
<xs:complexType >
<xs:complexCont ent>
<xs:restricti on base="Condiment _Type">
<xs:choice>
<xs:element name="PeanutBut ter"/>
</xs:choice>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
</xs:element>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:element name="PeanutBut terSandwich"
type="PeanutBut ter_Sandwich_Ty pe"/>
</xs:schema>

[Stan Kitsis [MSFT]]

Element <Bread> in your derived types has to be either of the same type or
of a type derived from <Bread> element's type in the base type. In your
case, however, both elements define their own anonymous types. Even though
the types look the same, they are treated as distinct and independent types.
This makes your derivations invalid. You need to define a global simple
type for this element and reference it from all types (base and derived):

<xs:simpleTyp e name="breadType ">
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>

<xs:element Bread type="breadType "/>

--
Stan Kitsis
Program Manager, XML Technologies
Microsoft Corporation

This posting is provided "AS IS" with no warranties, and confers no rights.
Use of included script samples are subject to the terms specified at
http://www.microsoft.com/info/cpyright.htm
<bc******@gmail .com> wrote in message
news:11******** **************@ g47g2000cwa.goo glegroups.com.. .

I am getting a strange error, maybe someone knows why it is occurring..

I get the following error when I try to validate Untitled8.xml in
Altova XMLSPY:

Validation error in another file: Untitled3.xsd

The message in XMLSPY in Untitled3.xsd is: The file is not valid: The
content model of complex type { no name } is not a valid restriction
of the content model of complex type 'Condiment_Type '

http://www.w3.org/TR/xmlschema-1/#cos-ct-derived-ok is pretty hairy
looking, but nothing jumps out at me as a reason why this might be so..
It's also wierd ( at least to me ) that when I open just Untitled3.xsd
and hit 'F8' to Validate that file that it validates fine, but when I
try to use Untitled3.xsd to validate Untitled8.xml the xsd is suddenly
not valid anymore..

Any thoughts would be appreciated. Thanks.

Here is my xml file that I am trying to validate ( Untitled8.xml ) :

<?xml version="1.0" encoding="UTF-8"?>
<PeanutButterSa ndwich
xmlns:xsi="http ://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespace SchemaLocation= "Untitled3.xsd" >
<Bread>wheat</Bread>
<Condiment>
<PeanutButter>J iffy</PeanutButter>
</Condiment>
</PeanutButterSan dwich>
Here is my xsd ( Untitled3.xsd ) :

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
elementFormDefa ult="qualified" attributeFormDe fault="unqualif ied">
<xs:complexTy pe name="Condiment _Type">
<xs:choice>
<xs:element name="Jelly"/>
<xs:element name="PeanutBut ter"/>
<xs:element name="Ketchup"/>
<xs:element name="Mustard"/>
<xs:element name="Mayo"/>
</xs:choice>
</xs:complexType>
<xs:complexTy pe name="FoodSlice _Type">
<xs:choice>
<xs:element name="Balogna"/>
<xs:element name="Cheese"/>
<xs:element name="Onions"/>
<xs:element name="Tomatos"/>
</xs:choice>
</xs:complexType>
<xs:complexTy pe name="Sandwich_ Type">
<xs:sequence>
<xs:element name="Bread">
<xs:simpleTyp e>
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment " type="Condiment _Type"/>
<xs:element name="FoodSlice " type="FoodSlice _Type"/>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:complexType>
<xs:complexTy pe name="Condiment _Sandwich_Type" >
<xs:complexCont ent>
<xs:restricti on base="Sandwich_ Type">
<xs:sequence>
<xs:element name="Bread">
<xs:simpleTyp e>
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment " type="Condiment _Type"/>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:complexTy pe name="PeanutBut ter_Sandwich_Ty pe">
<xs:complexCont ent>
<xs:restricti on base="Condiment _Sandwich_Type" >
<xs:sequence>
<xs:element name="Bread">
<xs:simpleTyp e>
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
</xs:element>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment ">
<xs:complexType >
<xs:complexCont ent>
<xs:restricti on base="Condiment _Type">
<xs:choice>
<xs:element name="PeanutBut ter"/>
</xs:choice>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
</xs:element>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:element name="PeanutBut terSandwich"
type="PeanutBut ter_Sandwich_Ty pe"/>
</xs:schema>

[bclark76]

Stan Kitsis [MSFT] wrote:

Element <Bread> in your derived types has to be either of the same type or
of a type derived from <Bread> element's type in the base type. In your
case, however, both elements define their own anonymous types. Even though
the types look the same, they are treated as distinct and independent types.
This makes your derivations invalid. You need to define a global simple
type for this element and reference it from all types (base and derived):

<xs:simpleTyp e name="breadType ">
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>

<xs:element Bread type="breadType "/>

--
Stan Kitsis
Program Manager, XML Technologies
Microsoft Corporation

This posting is provided "AS IS" with no warranties, and confers no rights.
Use of included script samples are subject to the terms specified at
http://www.microsoft.com/info/cpyright.htm

Thanks for the reply. I did not know that types that were defined the
same but not explicitly given the same name were considered different
types. With that in mind. I re-did the xsd so that all my types (
hopefully ) were explicitly named and all my elements explicitly
referenced a named type (except for the Condiment element in
PeanutButter_Sa ndwich_Type ).

My new Untitled3.xsd is posted below.

But I still get the error that Untitled3.xsd is invalid when used to
validate Untitled8.xml, only now it says: "The content model of complex
type PeanutButter_Co ndiment_Type is not a valid restriction of the
content model of complex type Condiment_Type. "

Some background:

I am trying to model the fact that every PeanutButterSan dwich isa valid
Sandwich. I would like for any element that validates as a
PeanutButterSan dwich to also validate as a Sandwich.

So PeanutButter_Sa ndwich_Type is a restriction of Sandwich_Type.
Because PeanutButter is a condiment in this example, I define a
PeanutButter_Co ndiment_Type to be a restriction of Condiment_Type where
the only valid choice is PeanutButter. As a restriction of
Sandwich_Type, PeanutButter_Sa ndwich_Type will only allow Condiments
and no FoodSlices. This is why PeanutButter_Sa ndwich_Type is a
restriction of Condiment_Sandw ich_Type. But PeanutButter_Sa ndwich_Type
has the further restriction that the Condiment element must conform not
to the general definition of Condiment_Type which allows
Ketchup/Mustard/etc, but to PeanutButter_Co ndiment_Type which only
allows PeanutButter as a choice. This means that a new 'Condiment'
element of PeanutButter_Co ndiment_Type that does not reference the
previously defined Condiment element of Condiment_Type is defined
within the definition of PeanutButter_Sa ndwich_Type.

This, maybe, is the heart of my problem: PeanutButter_Sa ndwiches are a
subset of Condiment_Sandw iches. Both may have a Condiment element, but
they are of different types ( Condiment_Type for Sandwiches of type
Condiment_Sandw ich_Type, and PeanutButter_Co ndiment_Type for
PeanutButter_Sa ndwiches ) However, PeanutButter_Co ndiment_Type is a
restriction of Condiment_Type, so the Condiment element of any valid
PeanutButter_Sa ndwich is guaranteed to be a valid Condiment element for
a sandwich of type Condiment_Sandw ich_Type. But the error message
says that PeanutButter_Co ndiment_Type is not a valid restriction of
Condiment_Type. It is odd that the error seems to be with the
Condiment_Type and PeanutButter_Co ndiment_Type definitions rather than
with the Condiment_Sandw ich_Type and PeanutButter_Sa ndwich_Types..

Here is Untitled8.xml again:

<?xml version="1.0" encoding="UTF-8"?>
<PeanutButterSa ndwich
xmlns:xsi="http ://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespace SchemaLocation= "Untitled3.xsd" >
<Bread>wheat</Bread>
<Condiment>
<PeanutButter>J iffy</PeanutButter>
</Condiment>
</PeanutButterSan dwich>
And here is the new Untitled3.xsd:

<?xml version="1.0" encoding="UTF-8"?>
<!-- edited with XMLSpy v2006 sp1 U (http://www.altova.com) by Bonehead
Mcgee (TDBanknorth) -->
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
elementFormDefa ult="qualified" attributeFormDe fault="unqualif ied">
<xs:simpleTyp e name="Bread_Typ e">
<xs:restricti on base="xs:normal izedString">
<xs:enumerati on value="white"/>
<xs:enumerati on value="wheat"/>
</xs:restriction>
</xs:simpleType>
<xs:element name="Bread" type="Bread_Typ e"/>
<xs:complexTy pe name="Condiment _Type">
<xs:choice>
<xs:element ref="Jelly"/>
<xs:element ref="PeanutButt er"/>
<xs:element ref="Ketchup"/>
<xs:element ref="Mustard"/>
<xs:element ref="Mayo"/>
</xs:choice>
</xs:complexType>
<xs:element name="Condiment " type="Condiment _Type"/>
<xs:complexTy pe name="PeanutBut ter_Condiment_T ype">
<xs:complexCont ent>
<xs:restricti on base="Condiment _Type">
<xs:choice>
<xs:element ref="PeanutButt er"/>
</xs:choice>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:element name="PeanutBut ter_Condiment">
<xs:complexType >
<xs:complexCont ent>
<xs:restricti on base="PeanutBut ter_Condiment_T ype">
<xs:choice>
<xs:element ref="PeanutButt er"/>
</xs:choice>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
</xs:element>
<xs:complexTy pe name="FoodSlice _Type">
<xs:choice>
<xs:element name="Balogna"/>
<xs:element name="Cheese"/>
<xs:element name="Onions"/>
<xs:element name="Tomatos"/>
</xs:choice>
</xs:complexType>
<xs:element name="FoodSlice " type="FoodSlice _Type"/>
<xs:complexTy pe name="Sandwich_ Type">
<xs:sequence>
<xs:element ref="Bread"/>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element ref="Condiment"/>
<xs:element ref="FoodSlice"/>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:complexType>
<xs:element name="Sandwich" type="Sandwich_ Type"/>
<xs:complexTy pe name="Condiment _Sandwich_Type" >
<xs:complexCont ent>
<xs:restricti on base="Sandwich_ Type">
<xs:sequence>
<xs:element ref="Bread"/>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element ref="Condiment"/>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:complexTy pe name="PeanutBut ter_Sandwich_Ty pe">
<xs:complexCont ent>
<xs:restricti on base="Condiment _Sandwich_Type" >
<xs:sequence>
<xs:element ref="Bread"/>
<xs:sequence maxOccurs="unbo unded">
<xs:choice>
<xs:element name="Condiment ">
<xs:complexType >
<xs:complexCont ent>
<xs:restricti on base="PeanutBut ter_Condiment_T ype">
<xs:choice>
<xs:element ref="PeanutButt er"/>
</xs:choice>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
</xs:element>
</xs:choice>
</xs:sequence>
</xs:sequence>
</xs:restriction>
</xs:complexConte nt>
</xs:complexType>
<xs:element name="PeanutBut terSandwich"
type="PeanutBut ter_Sandwich_Ty pe"/>
<xs:element name="PeanutBut ter"/>
<xs:element name="Jelly"/>
<xs:element name="Ketchup"/>
<xs:element name="Mustard"/>
<xs:element name="Mayo"/>
</xs:schema>

[Henry S. Thompson]

XSV is happy with your revised schema document, and it looks OK to me
by eye, so I suggest you file a bug report with your tool vendor.

ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
Half-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: [phone], e-mail: [e-mail]
URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]

[Stan Kitsis [MSFT]]

System.xml (.NET 2.0) also has no problems with the schema (or the
instance).

--
Stan Kitsis
Program Manager, XML Technologies
Microsoft Corporation

This posting is provided "AS IS" with no warranties, and confers no rights.

"Henry S. Thompson" <[e-mail].u k> wrote in message
news:f5******** *****@erasmus.i nf.ed.ac.uk...

XSV is happy with your revised schema document, and it looks OK to me
by eye, so I suggest you file a bug report with your tool vendor.

ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
Half-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: [phone], e-mail: [e-mail]
URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged
spam]

[bclark76]

Thanks to both of you who replied. I sent a bug report to Altova
referencing this post.

Henry S. Thompson wrote:

XSV is happy with your revised schema document, and it looks OK to me
by eye, so I suggest you file a bug report with your tool vendor.

ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
Half-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: [phone], e-mail: [e-mail]
URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]