Re: Does Codd's view of a relational database differ from that of Date & Darwin? [M.Gittens]
From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 10 Jun 2005 14:38:53 -0700
Message-ID: <1118439533.845148.66910_at_o13g2000cwo.googlegroups.com>
Date: 10 Jun 2005 14:38:53 -0700
Message-ID: <1118439533.845148.66910_at_o13g2000cwo.googlegroups.com>
> Sometimes you *can* say something, even though some of the variables are
> unknown. Suppose I told you x is a natural number, could you then tell
> me whether the following statements are true:
>
> (x > 5) or (x <= 5)
> (x - x) = 0
>
> I bet you could. :-)
That sort of makes it seem like arguing for UNKNOWN values
is like arguing for universally quantified logic variables, which in
the
absence of unification are neither interesting nor useful. Or am I
wrong?
Marshall Received on Fri Jun 10 2005 - 23:38:53 CEST