[Bug 11062] The [inherited attributes] property

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

Mukul Gandhi <gandhi.mukul@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gandhi.mukul@gmail.com

--- Comment #2 from Mukul Gandhi <gandhi.mukul@gmail.com> 2010-10-16 01:14:14 UTC ---
(In reply to comment #1)
> This rule also reveals an apparent intent by the WG that inherited attributes
> should be available for use in Conditional Type Assignment but not in
> assertions or in so-called identity constraints. Again this seems curious: why
> the asymmetry?

I don't know why the WG defined the nature of inherited attributes as such (i.e
they're available in Conditional Type Assignment but not in assertions). I'm
curious to know the answer.

If we look at assertions spec at,
http://www.w3.org/TR/xmlschema11-1/#assertion-validation (section "3.13.4.1
Assertion Satisfied" -> 1.3) it says:

"It is a consequence of this construction that attempts to refer, in an
assertion, to the siblings or ancestors of E, or to any part of the input
document outside of E  itself, will be unsuccessful. Such attempted references
are not in themselves errors, but the data model instance used to evaluate them
does not include any representation of any parts of the document outside of E,
so they cannot be referred to." <1>

Since inheritable attributes are (lexically?) outside of the element "E" here
<1>, therefore they are not available in an XDM tree on which assertions
operate.

Personally speaking, I find the assertions spec here OK. I would imagine that,
users would'nt appreciate (I too find this pretty hard to envisage) to think
about attributes outside of the (lexical) real XDM tree of "E" (ref, <1>). This
make the schema language a little simpler, but it does satisfy large classes of
assertions use-cases.

Though, I find inheritable attributes available to CTA XPath evaluations to be
OK.

-- 
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 Saturday, 16 October 2010 01:14:16 UTC