[dtb] ACTION-x: two data values that are equal, but not identical

As I mentioned at some point, there is a distinction in XML schema
between identity and equality. Besides the numeric equality, I found at
least one other datatype where there is a difference, namely in dateTime.
In the semantics, datetimes are mapped to tuples of numbers, e.g.,
2009-01-01T00:00:00+01:00 is mapped to (2009,1,1,0,0,0,1)
and
2009-01-01T01:00:00+02:00 is mapped to (2009,1,1,1,0,0,2)

And thus the values are not identical.  However, they do denote the same
point in time, and XML schema says that they are equal, and thus F&O
says that
op:dateTime-equal(2009-01-01T00:00:00+01:00,2009-01-01T01:00:00+02:00)= true


Best, Jos
-- 
+43 1 58801 18470        debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
Many would be cowards if they had courage
enough.
  - Thomas Fuller

Received on Tuesday, 3 March 2009 16:35:41 UTC