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, algrebra and incompleteness

Re: The RM, Newtonian mechanics, algrebra and incompleteness

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Wed, 02 Jun 2004 15:50:00 +0200
Message-ID: <40bddafe$0$49150$e4fe514c@news.xs4all.nl>


mountain man wrote:

> mAsterdam wrote:

>>mountain man wrote:
>>>Paul 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.

[snip]

> ... There will
> necessarily exist example truths such as those defined above
> that exist independent of the relational model, and which are
> not addressable by the model.

Indeed. And you even go on looking for such truths. Chapeau.

> I believe that an example of this is:
>
> The intelligence (ie: data) that is encoded in (application level)
> SQL code captured in RDBMS stored procedures exists right
> alongside the data, and the constraints, etc. While the RM and
> theory address the data and constraints, etc, the intelligence
> (which is data) of the application level processes cannot be
> formally addressed by it, even though it consists of valid SQL
> statements expressing manipulations of perfectly valid data
> objects known to the model and theory.

Some of it may be capturable in the model by redefining the model - but this does not invalidate your statement. Here is another example:
http://www.essentialstrategies.com/documents/brules.pdf Received on Wed Jun 02 2004 - 08:50:00 CDT

Original text of this message

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