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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:10 GMT