Part 1 - Clause 5.2

Dear XML Schema editor,

Comment:
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
derivation
        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.



Sincerely,

Mike McCaleb

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