godel-like incompleteness of relational model

From: Todd B <toddkennethbenson_at_yahoo.com>
Date: 19 May 2004 14:37:04 -0700
Message-ID: <ef8e4d1e.0405191337.bdf68e6@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?

Also, the interpretation in the 'real' world of the symbols of any formal system seems to be pretty much up in the air.

Todd Received on Wed May 19 2004 - 16:37:04 CDT