Re: theory and practice: ying and yang

mountain man wrote:

>>>>>Date ignores the proofs of Godel and Chaitin.
>>>>
>>>>This is plain nonsensical.

this is from the above link:

> Relational Theory has a Godel-like incompleteness
> that may be simply specified:
>
> The Relational Model of the data is incomplete
> because it cannot adequately address
> RDBMS stored procedure object data.

This may be an incompleteness of the relational model, but I don't think it's right to call it a "Godel-like" incompleteness. That has a very specific theoretical logical meaning, whereas the use of stored procedures is more of a software engineering issue.

I guess you're thinking of a situation where you want to, say, do an UPDATE and a DELETE in one transaction? Classic example being the transferral of money between accounts. I suppose this issue only arises with things that change the contents of the database.

Now some existing DBMSs certainly store the definitions of stored procedures in tables, but I guess this isn't what you're meaning.

Do you have a concrete example of a simple stored procedure, and how you'd want this to be handled by your ideal DBMS?

Paul. Received on Mon May 30 2005 - 12:40:54 CEST