[xquery-talk] Random number generation : requirements

Michael Kay mike at saxonica.com
Tue May 6 13:42:29 PDT 2014

> Similar to Zorba, most functions are non-deterministic. Is there any
> particular reason why the official random functions need to be
> deterministic?

Yes, we don't have any machinery in the language semantics for declaring something as nondeterministic (easy to solve) or defining the semantics of how it should behave if thus annotated (much harder).

For example, if f() and g() are non-deterministic functions, how do we say in the spec that in the expression (f(), g()), f should be executed before g?

Michael Kay

More information about the talk mailing list