[Bug 5233] K2-OrderbyExprWithout-19

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

           Summary: K2-OrderbyExprWithout-19
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


This test K2-OrderbyExprWithout-19 reads:

let $i := (1, 3, 2)
order by $i
return $i

and is supposedly invalid because the sort key is not a singleton. However, I
think an optimizer is allowed to avoid evaluating the sort key when there is
only one tuple in the tuple stream. I'm not sure I can find an explicit
statement to that effect, but it's very much in the spirit of the rule that you
never need to do extra work at runtime whose only purpose is to detect errors.

Received on Sunday, 28 October 2007 09:35:40 UTC