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

Part 1 - Clause 5.2

From: Michael McCaleb <mccaleb@eeel.nist.gov>
Date: Fri, 15 Dec 2000 17:08:49 -0500
Message-Id: <v02130508b66046d6de45@[]>
To: www-xml-schema-comments@w3.org
Dear XML Schema editor,

A paragraph in Clause 5.2 of Part 1 states:

  Constraint on Schemas: Substitution Group OK (Transitive)
                An element declaration (call it D) together with a blocking
    constraint (a subset of {substitution, extension, restriction}, the
    value of a {disallowed substitutions}) is validly substitutable for

                another element declaration (call it C) if
                1.1 the blocking constraint does not contain substitution;

                1.2 There is a chain of {substitution group affiliation}s
from D to
        C, that is, either D's {substitution group affiliation} is C,
        or D's {substitution group affiliation}'s {substitution group
                                affiliation} is C, or . . .;

                1.3 The set of all {derivation method}s involved in the
        of D's {type definition} from C's {type definition} does
                                not intersect with the union of the
blocking constraint, C's
                                {prohibited substitutions} and the
{prohibited substitutions}
                                of any intermediate {type definition}s in
the derivation of D's
                                {type definition} from C's {type definition}.

Subclause 1.2 seems to be incomplete.

Proposed solution:
Complete subclause 1.2.


Mike McCaleb
Received on Friday, 15 December 2000 17:07:29 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:08:50 UTC