[Bug 11681] New: semantics of non-deterministic expressions

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11681

           Summary: semantics of non-deterministic expressions
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Platform: Macintosh
        OS/Version: Mac System 9.x
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3.0
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: dflorescu@mac.com
         QAContact: public-qt-comments@w3.org


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.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 6 January 2011 17:14:05 UTC