[Bug 5549] datatypes not ?ordered?, but ordered {value} is partial

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

           Summary: datatypes not ·ordered·, but ordered {value} is partial
           Product: XML Schema
           Version: 1.1 only
          Platform: Macintosh
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: davep@iit.edu
         QAContact: www-xml-schema-comments@w3.org


The definition of ·ordered· in 4.2.1 requires that all values in the value
space of the datatype inquestion must be from the same primitive datatype.  The
algorithm for calculating the {value} of the ordered schema component give the
value partial for a union some of whose basic members are ordered but whose
value space is not a subset of that of a single primitive datatype.  E.g., if A
is the union of decimal and string, and B is the union of dateTime and decimal,
neither A nor B are ·ordered·, but for both the {value} of the ordered facet is
partial.  The definitions should be harmonized one way or the other.

Received on Sunday, 9 March 2008 16:38:08 UTC