[Bug 5666] use of fs:item-sequence-to-node-sequence in XQuery Update FS

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

           Summary: use of fs:item-sequence-to-node-sequence in XQuery
                    Update FS
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Update Facility
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


In the XQuery Update CR, normalization introduces calls to
fs:item-sequence-to-node-sequence in three places:
     4.4.1 Insert:    the source expr
     4.4.3 Replace:   the replacement when replacing a node
     4.4.5 Transform: the initializer for each variable binding

In 4.4.5 Transform, the uses are left over from an earlier draft, and are no
longer correct. To fix, simply take each call to
fs:item-sequence-to-node-sequence and replace it with its argument.

In 4.4.1 Insert and 4.4.3 Replace, the calls lead to to unsound static type
inference (as in Bug 3771 comment #6) and also don't convey quite the right
dynamic semantics.  The changes to FS proposed in Bug 3771 comment #8 would
allow solutions for static & dynamic problems, involving edits to 4.4.1 and
4.4.3. However, a slightly different version of the Bug 3771 changes would
cause 4.4.1 and 4.4.3 to become correct without any edits.

[For more details, see members-only
http://lists.w3.org/Archives/Member/w3c-xml-query-wg/2008Mar/0127.html .]

Received on Monday, 28 April 2008 19:30:16 UTC