[XQuery] MS-XQ-LC1-080

• From: Michael Rys <mrys@microsoft.com>
• Date: Mon, 16 Feb 2004 03:11:03 -0800
• To: <public-qt-comments@w3.org>
• Message-ID: <EB0A327048144442AFB15FCE18DC96C7020A31E7@RED-MSG-31.redmond.corp.microsoft.com>

Section 3.6	Logical Expressions (and 2.3.3 Effective Boolean Value)
Technical

We should simplify the rules for the implicit effective Boolean values
to allow dispatch of most checks based on static information:

EBV(X) should be true if:

X is a non-empty sequence of nodes
X is the atomic value xs:boolean(true)

EBV(x) should be false if:

X is an empty sequence
X is the atomic value xs:boolean(false)

EBV(x) should be a type error if:
X contains an atomic value other than Boolean
X is a sequence of Boolean values

Note that this means that:
A zero-length value of type xs:string or xdt:untypedAtomic
A numeric value that is equal to zero
The xs:double or xs:float value NaN

All return a type error.

Received on Monday, 16 February 2004 06:11:13 UTC