W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2008

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

From: <bugzilla@farnsworth.w3.org>
Date: Mon, 28 Apr 2008 19:29:40 +0000
To: public-qt-comments@w3.org
Message-Id: <E1JqZ2i-000872-Pn@farnsworth.w3.org>


           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

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