[Bug 24125] New: [xslt 3.0] intrinsically unstreamable functions

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24125

            Bug ID: 24125
           Summary: [xslt 3.0] intrinsically unstreamable functions
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

Certain functions including reverse, innermost, and fold-right are marked with
an operand usage of "N", which makes the function non-streamable unless the
argument is grounded. The same applies to some instructions such as
perform-sort.

However, these functions are not truly streamable in the case of an argument
that is consuming and grounded, for example //emp/copy-of().

Currently we allow operations such as reverse(//emp/copy-of()) within streamed
templates. This might be what we want to do, but it is not truly streamable. In
fact we don't distinguish in any way between copy-of(//emp) (a copy of a
sequence), and //emp/copy-of() (a sequence of copies). 

So perhaps we should make no change here other than a note to make it clear
that using copy-of() in this way does not guarantee "windowed streaming" when
such functions are used.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 17 December 2013 11:04:38 UTC