W3C home > Mailing lists > Public > public-rdf-dawg-comments@w3.org > February 2006

Re: Bug: "A value disjunction that encounters a type error on only one branch will return the result of evaluating the other branch."

From: Dan Connolly <connolly@w3.org>
Date: Fri, 17 Feb 2006 14:59:30 -0600
To: Tim Berners-Lee <timbl@w3.org>
Cc: public-rdf-dawg-comments@w3.org
Message-Id: <1140209970.26363.284.camel@dirk.w3.org>

Tim, if you thought that was a bug, you might want
to take a look at the XQuery formal semantics, where
I just discovered:

[[
The dynamic semantics of logical expressions is non-deterministic. This
non-determinism permits implementations to use short-circuit evaluation
strategies when evaluating logical expressions. In the expression, Expr1
and Expr2, if either expression raises an error or evaluates to false,
the entire expression may raise an error or evaluate to false.
]]
 -- http://www.w3.org/TR/xquery-semantics/#id-logical-expressions


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Friday, 17 February 2006 20:59:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:50 GMT