4521 2007-05-02 13:25:29 +0000 K2-Axes-32 2007-06-13 09:38:29 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.2 PC Windows NT CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 14976 0 tim 2007-05-02 13:25:29 +0000 Having started to look at optimization of queries, I believe this query can be reduced to "true" avoiding the expected error. Since (/) introduces a "treat as document", the static type of the argument to fn:root can be deduced as empty-sequence, because we know that the parent of a document node is empty-sequence. fn:root therefore returns empty-sequence, then empty() returns true. I believe this to be similar to the case pointed out by Mike Kay in bug report 4277 (in which static type analysis means that a cast which would fail need not be evaluated). (:*******************************************************:) (: Test: K2-Axes-32 :) (: Written by: Frans Englich :) (: Date: 2007-01-22T21:16:10+01:00 :) (: Purpose: Apply axis '..' to the return value of fn:root(). :) (:*******************************************************:) declare variable $myVar := <e/>; empty(fn:root($myVar/(/)/..)) 15384 1 andrew.eisenberg 2007-06-12 19:48:33 +0000 You've raised an interesting issue, Tim. The WGs discussed this at our June 5 meeting and we agreed that if static analysis can be used to determine the result of a query, then dynamic evaluation need not occur. 15409 2 frans.englich 2007-06-13 08:53:03 +0000 And XQTS_current.zip has been updated in CVS to reflect that, hopefully. K2-Axes-32 now has the baselines XPST0005, XPDY0002, and "true". 15410 3 tim 2007-06-13 09:38:29 +0000 Thanks.