W3C home > Mailing lists > Public > www-webdav-dasl@w3.org > July to September 1998

Re: Three Valued Logic and Elimination Defined

From: John Stracke <francis@netscape.com>
Date: Tue, 07 Jul 1998 10:59:00 -0700
Message-ID: <35A261E3.E94C1883@netscape.com>
To: "'DASL'" <www-webdav-dasl@w3.org>
Babich, Alan wrote:

> (1) For numbers: If a column in the arithmetic expression
> is NULL, its value is treated as undefined. If any undefined
> operation occurs (e.g., division by zero), the value of
> that operation is treated as undefined.

[...]

> (3) For the relational operators >, >=, <, <=, =, !=,
> if either or both operands are undefined, the result is
> the truth value UNKNOWN.

Um.  Math geek time.  This says that the result of "1=2/0" is
UNKNOWN.  I say it should be FALSE, because 1!=2/0, because
0*1!=2.

--
/====================================================================\
|John (Francis) Stracke    |My opinions are my own.|S/MIME supported |
|Software Retrophrenologist|=========================================|
|Netscape Comm. Corp.      | Cogito ergo Spud.  (I think, therefore  |
|francis@netscape.com      |  I yam.)                                |
\====================================================================/
New area code for work number: 650
Received on Tuesday, 7 July 1998 13:58:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:04 GMT