> 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?
I see; so it seems to be related to questions (like the execution order) that have also been discussed on the File Module Thanks for the info, Christian _______________________________________________ [email protected] http://x-query.com/mailman/listinfo/talk
