11681 2011-01-06 17:14:03 +0000 semantics of non-deterministic expressions 2011-02-05 22:28:31 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.0 Member-only Editors Drafts Macintosh Mac System 9.x CLOSED FIXED P2 normal --- 1 dflorescu jonathan.robie andrew.eisenberg chillery-w3cbugs jim.melton public-qt-comments oldest_to_newest 43864 0 dflorescu 2011-01-06 17:14:03 +0000 While discussing bug http://www.w3.org/Bugs/Public/show_bug.cgi?id=11352 during the discussion the following question was raised. What is the semantics in XQuery 3.0 of the following program: == declare %nondeterministic function read-line() as xs:string external; (read-line(), read-line(), read-line) == Are we guaranteed to read the lines in order, or not ? In other words, does XQuery 3.0 impose an order of execution of subexpressions ? I think determining the answer to this question is a pre-requisite to solving bug #11352. 44056 1 andrew.eisenberg 2011-01-10 23:38:18 +0000 In XQuery 3.0, 2.3.4 Errors and Optimization, we say: "An implementation is always free to evaluate the operands of an operator in any order." 45150 2 jim.melton 2011-02-05 22:28:08 +0000 This bug was resolved by the action taken in Bugzilla Bug #11352. As a result, I have marked it RESOLVED/FIXED. Because you were present for the discussion and agreed, I'm also marking it CLOSED.