Re: So let me get this right: (Was: NFNF vs 1NF ...)

From: Paul <paul_at_test.com>
Date: Sat, 12 Feb 2005 20:30:57 +0000
Message-ID: <420e6781$0$42976$ed2619ec@ptn-nntp-reader02.plus.net>

Jan Hidders wrote:
> There are no theoretical problems with RVA's. Usually they are typed,
> which prevent's Russel's paradox, but even if you don't like that, then
> you can prevent it by restricting yourself to non-recursive values, and
> even if that is too strict for you you can use non-well-founded sets and
> still not have any problems with paradoxes.

What would an untyped RVA be, and how could they lead to Russell's paradox?

I thought that you could only get Russell's paradox if you allowed RVAs to be relation variables rather than relation values?

Paul. Received on Sat Feb 12 2005 - 14:30:57 CST