Re: circular relationships ok?

From: David Cressey <dcressey_at_verizon.net>
Date: Sat, 04 Mar 2006 13:29:23 GMT
Message-ID: <TCgOf.483$zp2.47@trndny01>

"Jan Hidders" <jan.hidders_at_REMOVETHIS.pandora.be> wrote in message news:cxdOf.293694$Hj5.9315432_at_phobos.telenet-ops.be...
> vc wrote:
> > Brian Selzer wrote:
> >
> >>[...]
> >>if a and b are values
> >>for A and B respectively in a tuple of R, a implies b and b implies a,
> >>therefore, a iff b.
> >
> >
> > That does not make any obvious sense. What do you mean by '[value] a
> > implies [value] b' ? Are you considering only the Boolean domain ?
>
> I think he means with "implies" something like "functionally
> determines", and with "iff" something like "has a one-to-one
> relationship with".

I think "A implies B" is the same as "B or not A".

>
> -- Jan Hidders
Received on Sat Mar 04 2006 - 07:29:23 CST