29058 2015-08-17 05:14:34 +0000 [FO31] determinism of function calls with arrays and maps 2016-12-16 19:55:17 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Functions and Operators 3.1 Candidate Recommendation PC Windows NT CLOSED FIXED P2 normal --- 1 abel.braaksma mike andrew_coleman public-qt-comments oldest_to_newest 122627 0 abel.braaksma 2015-08-17 05:14:34 +0000 During the XSLWG we discussed the determinism of function calls under https://www.w3.org/XML/Group/qtspecs/specifications/xpath-functions-31/html/Overview.html#dt-deterministic as it was implemented internally (we shared screen with Michael Kay, I don't see the same text in the internal draft yet). The list of items that determine whether two calls can return the same (cached) result omits array and map arguments (function items are mentioned, but don't special-case arrays or maps, for which identity exists). Also: under fn:collection, the link to "deterministic" does not lead to the term deterministic. Other links seem to work, but I didn't check all of them. 122781 1 abel.braaksma 2015-08-26 20:18:14 +0000 The link in comment#0 should be: https://www.w3.org/XML/Group/qtspecs/specifications/xpath-functions-31/html/Overview.html#dt-identical, under section 1.7.4. Properties of functions, notably the numbered list. 123047 2 mike 2015-09-02 17:05:27 +0000 I was actioned to produce a proposal. I propose to add to the list of conditions in 1.7.4 (Two values are defined to be *identical* if any of the following....) 3. Both items are maps, both maps have the same number of entries, and for every entry E1 in the first map there is an entry E2 in the second map such that the keys of E1 and E2 are *the same key*, and the corresponding values V1 and V2 are *identical*. 4. Both items are arrays, both arrays have the same number of members, and the members are pairwise *identical* 5 (was 3). Both items are function items, <add>neither is a map or an array</add>, and... 123048 3 mike 2015-09-02 17:10:29 +0000 Although not yet approved by the WG, the proposed wording has been added to the specification. 123133 4 andrew_coleman 2015-09-08 16:29:43 +0000 The WG accepted the proposal and wording