[Bug 6561] Type Substitutable in Restriction

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6561





--- Comment #6 from Hans-Juergen Rennau <hrennau@yahoo.de>  2009-02-27 00:13:11 ---
Intuitively, I share Sandy Gao's unease concerning the situation that a) a skip
wildcard may play a role in determining the context-determined type table; b)
xs:anyType is a possible source of a context-determined type table.

The stated contradiction, however -

"EDC doesn't guarantee consistency for type tables when skip wildcards are
involved, but CDTT definition depends on that."

does not exist in my opinion, because the CDTT definition does not at all
depend on EDC's second part, the part dealing with wildcards. This follows from
CDTT's wording of clause 1:

"Let D be an Element Declaration matched by E, given by the first case among
the following which applies."

"given by the first case" means: 
a) if there is at least one matching element declaration, clause 1.2 becomes
irrelevant and wildcard matches are ignored
b) if there are only wildcard matches, there can be only one matching top level
element declaration

So the EDC is only relevant if clause 1.1 applies, and it is only used to
exclude inconsistencies between matching element declarations.

In conclusion, I suggest a microscopic modification of 3.4.4.1/note#1:

<actual>
Note: The constraint Element Declarations Consistent (§3.8.6.3) ensures that
even if E ·matches· more than one such declaration D,
there will be just one ·context-determined type table·.
</actual>

<proposed>
Note: The constraint Element Declarations Consistent (§3.8.6.3) ensures that
even if clause 1.1 applies and E ·matches· more than one such declaration D,
there will be just one ·context-determined type table·.
</proposed>

With kind regards -
Hans-Juergen Rennau


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 27 February 2009 00:13:21 UTC