Re: godel-like incompleteness of relational model

"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 Wed May 19 2004 - 21:11:49 CDT