Re: Storing data and code in a Db with LISP-like interface

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.de