Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: The RM, Newtonian mechanics, algebra and incompleteness

Re: The RM, Newtonian mechanics, algebra and incompleteness

From: Paul <paul_at_test.com>
Date: Wed, 02 Jun 2004 09:37:44 +0100
Message-ID: <glgvc.9876$NK4.1354196@stones.force9.net>


mountain man wrote:
>>No, I think in this analogy Newton's model does correspond to a specific
>>database design. The possibility that the relational theory itself is
>>wrong corresponds to the possibility that algebra is wrong.

> 
> Or incomplete, as has been formally demonstrated
> at least 30 years prior to the emergence of the RM.

Do you mean that algebra as in:
http://en.wikipedia.org/wiki/Universal_algebra is incomplete?

I've never come across this, what does it mean, do you have a link?

A confusion here is that our analogy is comparing things from different levels. Algebra is usually thought of as a model, so it comes above logic in "reality". In our analogy, we are comparing it to logic, which is fine as it's only an analogy. But I don't think the analogy extends to having a completeness theorem for algebra.

Paul. Received on Wed Jun 02 2004 - 03:37:44 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US