Comments on the File Module

Thank you for your work on this specification.

The introduction of non-deterministic functions is a worry (although 
inevitable given the purpose of the specification).  Is your statement

"Some function are marked as ·nondeterministic·, which means they are 
not guaranteed to perform the same operations and produce identical 
results from repeated calls. A query processor must ensure that these 
functions are not relocated or pre-evaluated and that its results are 
not cached when compiling and evaluating the query and serializing its 
results."

enough?  If I understand XQuery correctly, the specification doesn't 
mandate an order of evaluation.  For interoperability with 
non-deterministic functions, isn't such an ordering required?

I'm also concerned by the use of functions which return a signature of 
empty-sequence(). since XQuery/XPath permits an implementation to raise 
error XPST0005 in such cases.

Regards,
    Tim Mills

Received on Friday, 6 December 2013 19:03:26 UTC