Re: Identity-constraints, attributes and lax/skip wildcards

Kasimier Buchcik writes:

> It might be that I found an answer for my question:
>
> In "3.2.5 Attribute Declaration Information Set Contributions" we
> have the following:
>
> "If the attribute information item was not ·strictly assessed·, then
> instead of the values specified above, 
> 1 The item's [schema normalized value] property has the ·initial value·
>   of the item as its value;
> 2 The [type definition] and [member type definition] properties, or
>   their alternatives, are based on the ·simple ur-type definition·."

You may be right -- I think in implementing XSV I took the parallel
with elements seriously, and interpreted the prolog to this whole
constraint, namely Schema Information Set Contribution: Attribute
Validated by Type [1], which says at the beginning

 "If clause 3 of Attribute Locally Valid (3.2.4) applies with respect
  to an attribute information item, in the post-schema-validation
  infoset the attribute information item has a property:"

together with the element case to mean that when a 'skip' wildcard was
involved there should be _no_ [type definition].

I think that's a bug in the spec, which should be corrected if I'm
right, or clarified if I'm wrong.

ht

[1] http://www.w3.org/TR/xmlschema-1/#sic-attrType
-- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]