Re: Proposal: 6NF

On 8 Oct 2006 10:35:43 -0700, Cimode wrote:

>
>Frank Hamersley wrote:
>> Cimode wrote:
>> > Frank Hamersley wrote:
>> >> Cimode wrote:
(snip)
>> >>> --it turns out it return 3 out of 4 records --therefore we could
>> >>> conclude that the system considers that NULL <> NULL Right? (opposite
>> >>> of = should be <> right?)
>> >> This is wacky - trying to rationalise 3VL by clutching at 2VL thinking
>> >> is very trippy.
>> > Trippy? I say Bullshit...Facts are NOT 3 VL. Logically anything that
>> > is not = is necessarily different
>>
>> That is 2VL logic - it is fallacious and it does not apply to a 3VL
>> logic domain - period.
>Either something equals a value either it differes from it...Are you
>saying that 3VL makes the previous statement false? Could you answer
>that precise question...

Hi Cimode,

Yes, 3VL does indeed make the previous statement false. In 3VL, two things can be equal or unequal, but it can also be unknown if they are equal or not. That's the third value in three-valued logic.

Best, Hugo Received on Tue Oct 10 2006 - 01:26:34 CEST