3086 2006-04-05 12:58:53 +0000 fn:boolean and ordering mode unordered 2006-04-21 23:27:56 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 1.0 Candidate Recommendation All All CLOSED FIXED P2 normal --- 1 jens.teubner chamberl public-qt-comments oldest_to_newest 9041 0 jens.teubner 2006-04-05 12:58:53 +0000 The XQuery Candidate Recommendation states (Sect. 2.4.3): "The effective boolean value of a sequence that contains at least one node and at least one atomic value is nondeterministic in regions of a query where 'ordering mode' is unordered." Most probably, this statement is based on the semantics of fn:boolean() to only look into the *first* item of a heterogeneous sequence. However, my understanding is that, even in a context where 'ordering mode' is unordered, the order among items in a sequence (sequence order) is still well-defined. The expression (<a/>, 42) for example, will have the node as its first result item and an integer as its second, regardless of the setting of 'ordering mode'. The above quote, IMHO, is not compatible with the semantics of 'ordering mode'. 'Ordering mode' does affect sequence order at other occasions, e.g., when the result sequence is formed from an XPath location step. Once the order of a sequence is fixed, however, it is unaffected by 'ordering mode'. 9400 1 chamberl 2006-04-21 23:27:41 +0000 Jens, Thank you for your comment. The Query Working Group considered your comment on April 3, 2006 and agreed to change "is nondeterministic" to "may be nondeterministic" in the second Note in XQuery Section 2.4.3. We believe the conditions under which EBV is nondeterministic are adequately specified in the section on Ordered and Unordered Expressions. Since this is a minor change to a non-normative Note, I have marked this Bugzilla entry as Fixed and Closed. If you have any objections to this resolution, you may re-open this Bugzilla entry. Regards, Don Chamberlin (for the Query Working Group)