W3C home > Mailing lists > Public > www-xml-infoset-comments@w3.org > January to March 2004

Re: Call for Review: XML Information Set Second Edition is a Proposed Edited Recommendation

From: Richard Tobin <richard@cogsci.ed.ac.uk>
Date: Fri, 16 Jan 2004 14:14:13 GMT
Message-Id: <200401161414.OAA08650@mcpherson.cogsci.ed.ac.uk>
To: Michael Rys <mrys@microsoft.com>
Cc: <w3c-xsl-query@w3.org>, <www-xml-infoset-comments@w3.org>

>One of the changes in the Infoset PER has added the last sentence in
>the following:
>   [...]
>   The value of this property is not affected by the validity of
>   the attribute value.

>This last sentence is a major type safety problem for
>XQuery implementations that plan on supporting DTDs based on the
>optional DTD validated infoset mapping of the XQuery Data Model.

This is not a change to the Infoset.  It just makes more explicit what
was already true.  The first sentence of the section described the
property as

  An indication of the type declared for this attribute in the DTD.

without any suggestion that it depended on the attribute being valid
according to that type.  So unlike the PSVI [type definition] property
it gives the declared type, not a validated type.

Note also that attlist declarations (if they are read) are processed
even by non-validating parsers: attributes are normalized according to
their declared type regardless of whether they are validated.

>I therefore would like to recommend changing the last sentence to:
>"The value of this property is affected by the validity of the
>attribute value in that it is only set if the value has passed
>validation."

That *would* be an incompatible change to the Infoset, and we did not
intend to make any such changes in the second edition.  All the
changes are intended to be clarifications or extensions for XML and
Namespaces 1.1.

I suggest instead that the XQuery data model only use the infoset's
[attribute type] value if the attribute is valid.

-- Richard
Received on Friday, 16 January 2004 09:15:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:08:05 UTC