[Bug 27175] subtype-itemtype

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

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
I think Benito is correct in the sense that rule 14 is incomplete. However, I
think the missing case is covered by rule 16:

16. Bi is element(Bn, Bt?), the expanded QName of An equals the expanded QName
of Bn, Ai is either element(An, At) or element(An, At?), and derives-from(At,
Bt) returns true.

If we set Bt = xs:anyType, then for any type T we know that derives-from(At,
Bt) is true, so rule 16 becomes

16a. Bi is element(Bn, xs:anyType?), the expanded QName of An equals the
expanded QName of Bn, Ai is either element(An, T) or element(An, T?) for any
type T

which is identical to the amended rule 14 proposed by Benito. Except that rule
14 also covers the case where there is no type name.

I think therefore that rule 14 could be replaced with the rule

14. Bi is element(N), and Ai is either element(N) or element (N, T) or
element(N, T?), where N is any QName and T is any schema type.

leaving rule 16 to take care of the case element(Bn, xs:anyType?).

Note, I've simplifed the rule by assuming that we can take it as read that the
QName N can be written in different ways and still be the same QName - but
perhaps we shouldn't do that here unless we do it throughout all the rules.

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

Received on Thursday, 20 November 2014 11:51:07 UTC