[Bug 13027] New: [XQUF] copying behaviour

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

           Summary: [XQUF] copying behaviour
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
               URL: http://www.w3.org/TR/xquery-update-10/#id-transform
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Update Facility
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


In section 2.4.5 Transform, the specification states that

v. All other properties of the copied nodes are preserved.

The copied node may be a document node.  This means that the document-uri
property will be copied.

However, in section 2.1.2 Dynamic Context of XQuery 1.0 it is stated that

"This means that given a document node $N, the result of
fn:doc(fn:document-uri($N)) is $N will always be True, unless
fn:document-uri($N) is an empty sequence."

The query

  copy $N := doc('data.xml')
   modify ()
   return fn:doc(document-uri($N)) is $N

demonstrates that this is violated.

I would expect that the document-uri property should not be copied, and that
document-uri($N) should be the empty sequence.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 23 June 2011 12:53:32 UTC