Re: Storing data and code in a Db with LISP-like interface
Date: Mon, 1 May 2006 12:44:27 +0200
Message-ID: <xtmlf1uvjkpm$.1i3cv3bbiofm5$.dlg_at_40tude.net>
On 30 Apr 2006 18:40:55 -0700, Neo wrote:
> No. The link addresses how to generate no_name2, no_name3, etc but that
> is not the significant problem. When a system requires information that
> is missing (ie an atom requires the name of thing being represented),
> three-valued logic appears which is a major no no. See Chapter 20 of
> Date's Intro to Db Systems, 6th Ed.
Hmm, just to be fair. I saw somewhere an intuitionistic fuzzy extension of Postgres.
[ Intuitionistic fuzzy logic is a continuous extension of Belnap-Dunn four-valued logic. "Uncertain" (and "contradictory") is representable there. IMO RM can be easily extended for this case (as well as OO.) What neither can is to go four- or fuzzy-valued on the meta level. You have to "defuzzify" quite early. That kills much of advantages. ]
-- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.deReceived on Mon May 01 2006 - 12:44:27 CEST