W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > April to June 2000

[Help Me Understand] Part 1 Structures, Section 5.11 Complex Type Definition Constraints - Type Derivation OK

From: Asir S Vedamuthu <asirv@webmethods.com>
Date: Thu, 4 May 2000 09:59:09 -0400
To: "Henry S. Thompson" <ht@cogsci.ed.ac.uk>, <www-xml-schema-comments@w3.org>
Message-ID: <NDBBIAKBICMNDPDGIKPPKEAPCEAA.asirv@webmethods.com>
I am having a hard time to understand - how to evaluate 'The item type
definition is validly derived from the {type definition}'. And, here is the
text from the spec, http://www.w3.org/TR/xmlschema-1/#coss-ct

<Snip>
Constraint on Schemas: Type Derivation OK (Complex)

A complex type definition (call it D, for derived) is validly derived from a
type definition (call this B, for base) given a subset of {extension,
restriction} if: 1.1  The {derivation method} of D is not in the subset, or
in the {final} of its {base type definition};
1.2  Either 1.2.1  They are the same type definition;
or 1.2.2  B is the {base type definition}
or 1.2.3  the {base type definition} is not the ur-type definition and is
validly derived from B given the subset as defined by this constraint (if
the {base type definition} is complex) or validly derived from B given the
subset unioned with {list} as defined in Type Derivation OK (Simple) (?5.12)
(if the {base type definition} is simple). </Snip>


Please help me understand (may be an example) & I greatly appreciate your
help.

All the best,

Asir S Vedamuthu
webMethods, Inc.
(Phone) 703-460-2513 (Fax) 703-460-2513 (E-mail) asirv@webmethods.com
URL: http://www.webmethods.com
Received on Thursday, 4 May 2000 09:57:48 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:49:52 UTC