W3C home > Mailing lists > Public > xmlschema-dev@w3.org > October 2012

"Unsafe" union?

From: Costello, Roger L. <costello@mitre.org>
Date: Tue, 16 Oct 2012 11:08:07 +0000
To: "xmlschema-dev@w3.org" <xmlschema-dev@w3.org>
Message-ID: <B5FEE00B53CF054AA8439027E8FE17751E67F406@IMCMBX04.MITRE.ORG>
Hi Folks,

The XPath 3.0 specification has this statement:

    The current (second) edition of
    XML Schema 1.0 contains an error
    in respect of the substitutability of
    a union type by one of its members:
    it fails to recognize that this is unsafe
    if the union is derived by restriction
   from another union.


What is "unsafe"?

What is that saying please?

The XPath 3.0 specification then says:
    This problem is fixed in XSD 1.1, but
    the effect of the resolution is that an
    atomic value labeled with an atomic type
    cannot be treated as being substitutable
    for a union type without explicit validation.

Again, what is that saying please?

Received on Tuesday, 16 October 2012 11:08:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:16:02 UTC