Re: godel-like incompleteness of relational model
Date: Thu, 20 May 2004 02:11:49 GMT
Message-ID: <FtUqc.49043$TT.45616_at_news-server.bigpond.net.au>
"Todd B" <toddkennethbenson_at_yahoo.com> wrote in message
news:ef8e4d1e.0405191337.bdf68e6_at_posting.google.com...
> "mountain man" <hobbit_at_southern_seaweed.com.op> wrote in message
news:<LXIqc.47648$TT.3115_at_news-server.bigpond.net.au>...
> > "Alfredo Novoa" <alfredo_at_ncs.es> wrote :
> > >
> > > And what is the problem with The Relational Model?
> >
> > It has a Godel-like incompleteness:
> >
http://www.mountainman.com.au/software/history/relational_model_incomplete.htm
> >
>
> I'm no mathematician, but didn't Godel prove that 'any' formal system
> is incomplete?
Yes, he did. But I am being specific about provision of one specific
instance
in which the incompleness of the RM is comprehendable.
> Also, the interpretation in the 'real' world of the symbols of any
> formal system seems to be pretty much up in the air.
In a database, relational or otherwise, the interpretations are usually sorted out in advance with respect to the data elements. They are interpretted with respect to the organisation (IMO)
Pete Brown
Falls Creek
Oz
Received on Thu May 20 2004 - 04:11:49 CEST