

Substitution groups: Is the "or" in "restriction or extension" ex clusive?

From: Mark Feblowitz <mfeblowitz@frictionless.com>
Date: Thu, 10 Jan 2002 16:18:07 -0500
Message-ID: <4DBDB4044ABED31183C000508BA0E97F024D56D2@fcpostal.frictionless.com>
To: "Xmlschema-Dev (E-mail)" <xmlschema-dev@w3.org>
I understand that the type of a substitution element must be derived from
the type of the substitution group's head element. And that "derived from,"
as mentioned in the Primer, is elaborated to mean "the same as the head's
type definition or restrictions or extensions of it." Element Substitution Group
		All such members must have type definitions which are either
the same as the head's type definition or restrictions or extensions of it.

My question is, is that "or" in "restrictions or extensions" an exclusive
or, for all subsequent derivations down the chain?

For example, if I use the common practice of performing derivation by
extension and derivation by restriction in separate steps, can the result of
such a two-step derivation be the legal type of a substitution group member?

Would the following be legal?

	SH  of type A (substitution group head)
	type B is derived by restriction from A
		type C is derived by extension from B
	SM of type  C is a member of substitution group SH 



Mark Feblowitz                                   [t] 617.715.7231
Frictionless Commerce Incorporated     [f] 617.495.0188 
XML Architect                                     [e]
400 Technology Square, 9th Floor 
Cambridge, MA 02139 
Received on Thursday, 10 January 2002 16:18:40 GMT
