W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > July to September 2005

[Bug 2129] R-140: dateTime order relation and leap seconds

From: <bugzilla@wiggum.w3.org>
Date: Fri, 09 Sep 2005 16:23:33 +0000
To: www-xml-schema-comments@w3.org
Message-Id: <E1EDlf3-0000JR-Gn@wiggum.w3.org>


           Summary: R-140: dateTime order relation and leap seconds
           Product: XML Schema
           Version: 1.0
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSD Part 2: Datatypes
        AssignedTo: cmsmcq@w3.org
        ReportedBy: sandygao@ca.ibm.com
         QAContact: www-xml-schema-comments@w3.org

Consider the dateTime of the last leap second:

1998-12-31T23:59:60Z (P)

This instant in time can also have the lexical representation of, for example,

1998-12-31T22:59:60-01:00 (Q)

Section defines the algoritm for comparing two dateTimes as follows:

"A.Normalize P and Q. That is, if there is a timezone present, but it is not Z, 
convert it to Z using the addition operation defined in Adding durations to 
dateTimes (E)"

Now in our example P has a Z timezone, but Q doesn't, so we need to normalize Q 
to Z using Appendix E. But E.1 says:

"Leap seconds are handled by the computation by treating them as overflows. 
Essentially, a value of 60 seconds in S is treated as if it were a duration of 
60 seconds added to S (with a zero seconds field). All calculations thereafter 
use 60 seconds per minute."

This implies that Q is first mapped into:


Then following the rest of algorithm in Appendix E, this will map into: 


Now comparing: 




we find that 

P < Q 

But P and Q represent the same value. So we have a contradiction: two lexical 
representations represent the same value, but the value represented by one 
lexical representation is less than the value represented by the other lexical 

Received on Friday, 9 September 2005 16:23:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:50:04 UTC