> > -- If I have interpreted SQL92 correctly UNKNOWN IS TRUE should return
> > FALSE, and UNKNOWN IS NOT TRUE is equivalent to NOT (UNKNOWN IS TRUE) ==>
> > TRUE. Is this correct?
>
> No, I do not think it is valid to say "should return true|false"
> I think they should return UNKNOWN. Only when it comes to evaluating the
> "... WHERE UNKNOWN;" can you translate it to "... WHERE FALSE;", or in the
> output function.
Forget it, sorry. I am confusing the "IS" with "=" :-(
I am not used to the new SQL99 syntax yet.
I think your interpretation is correct.
Andreas