W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2007

[Bug 5233] K2-OrderbyExprWithout-19

From: <bugzilla@wiggum.w3.org>
Date: Sun, 28 Oct 2007 09:35:30 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Im4YM-0004yA-VH@wiggum.w3.org>


           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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:20 UTC