[Bug 19425] [XP30] Substitution group membership is non-transitive

https://www.w3.org/Bugs/Public/show_bug.cgi?id=19425

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
My preferred solution would be to change the rule from:

<old>[Ai is a subtype of Bi if: ] Bi is schema-element(Bn), the expanded QName
of An equals the expanded QName of Bn, Ai is schema-element(An), and either the
expanded QName of An equals the expanded QName of Bn, or the element
declaration named An is in the substitution group of the element declaration
named Bn.</old>

(in which, incidentally, the first occurrence of <quote>the expanded QName of
An equals the expanded QName of Bn</quote> appears to be a copy/paste typo)

to

<new>[Ai is a subtype of Bi if: ] Bi is schema-element(Bn), Ai is
schema-element(An), and every element declaration that is an actual member of
the substitution group of An is also an actual member of the substitution group
of Bn</new>

with a note:

<note>Note that the fact that P is a member of the substitution group of Q does
not mean that every element declaration in the substitution group of P is also
in the substitution group of Q. For example, Q might block substitution of
elements whose type is derived by extension, while P does not.</note>

-- 
You are receiving this mail because:
You are the QA Contact for the bug.