[Bug 2947] Datatypes 2006-02-17 WD: what makes an order trivial?

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

           Summary: Datatypes 2006-02-17 WD: what makes an order trivial?
           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: xan.gregg@jmp.com
         QAContact: www-xml-schema-comments@w3.org


minInclusive and other facets are said to only apply to "ordered" datatypes, and a datatype is said to be 
ordered if it has a non-trivial order. What makes an order "trivial"? Is it when no values A and B exist in the 
value space, where A < B?  Or is it when, for all A and B, A <> B? 

Section 4.2.1 suggests that a order can become trivial via derivation. Must a schema processor detect, for 
instance, that a subtype of decimal derived with minExclusive=INF now has a trivial order because its only 
member is NaN?

Why not just say a datatype is ordered if the order fundamental facet is 'total' or 'partial'?

Received on Tuesday, 28 February 2006 04:07:45 UTC