W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2009

[Bug 6871] [FO] Erronneous value comparison operator mapping for xs:time?

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 May 2009 12:00:19 +0000
To: public-qt-comments@w3.org
Message-Id: <E1M4D8F-0004z5-Ce@wiggum.w3.org>

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
             Status|NEW                         |ASSIGNED

--- Comment #1 from Michael Kay <mike@saxonica.com>  2009-05-13 12:00:19 ---
>The mapping would suggest that op:time-equal backs up "eq" and "ne";
op:time-greater-than backs up "gt" and "le"; and op:time-less-than backs up
"lt" and "ge".

Yes, I think that's correct, and the "backs up" statements should be corrected.

>However I'm not sure the mapping in the XQuery spec is what is intended: Using
that mapping, two xs:time values that should be incomparable

All xs:time values are comparable using these operators. Timezone differences
are handled by applying the implicit timezone.

I'm not absolutely sure whether the two possible definitions of the operators
are equivalent, for example whether not($s lt $t) is always equivalent to ($s
eq $t or $s gt $t), but to avoid depending on this we should be consistent in
how it's defined.

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 13 May 2009 12:00:29 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:27 UTC