Tests for expressions : boolean effective values

Today, some of us were puzzling over boolean expressions in XQuery/Xpath and how 
they affect SPARQL.  We think that the "boolean effective values" rules apply in 
constraints and I have checked in some tests into tests/data/Expr2 for this.

"boolean effective values" reference:
http://www.w3.org/TR/xquery/#dt-ebv

and it means that:

"AND ?x" is legal.

?x is true if the value of ?x is:

* boolean and the value of the boolean is true
* a string and length(string) > 0
* a numeric: number != NaN && number != 0

Anything else is "type error" which means the whole solution is rejected.

 Andy

Received on Thursday, 17 February 2005 19:14:23 UTC