[Bug 28795] [F+O] 3.1 Non-transitive equality for numerics in maps

https://www.w3.org/Bugs/Public/show_bug.cgi?id=28795

--- Comment #6 from Michael Kay <mike@saxonica.com> ---
In the data model, change the text in 17.1 starting with the definition of
"same key" and ending with the Note as follows:

[Definition] Within a map, no two entries have the same key. Two atomic values
K1 and K2 are the same key for this purpose if the relation op:same-key(K1, K2)
holds. This relationship is defined in [F+O].

Note:
The definition of op:same-key is chosen with the following objectives:
(a) the relationship is transitive (this applies particularly to the way
numeric values of different types are compared).
(b) the relationship has no dependencies on the static or dynamic context. (For
example, it does not depend on collations or on the implicit timezone).
(c) the function is error-free: any two atomic values can be compared, giving a
true or false result.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Thursday, 16 July 2015 19:30:10 UTC