Re: foundations of relational theory?
From: Mikito Harakiri <mikharakiri_at_iahu.com>
Date: Wed, 29 Oct 2003 09:14:23 -0800
Message-ID: <8JSnb.37$P16.115_at_news.oracle.com>
Date: Wed, 29 Oct 2003 09:14:23 -0800
Message-ID: <8JSnb.37$P16.115_at_news.oracle.com>
"Christopher Browne" <cbbrowne_at_acm.org> wrote in message
news:bnog6s$134iv8$2_at_ID-125932.news.uni-berlin.de...
> > Also in the OO canon is Eiffel, which has Design By Contract. I
> > think DBC would be an excellent fit for a RDBMS-oriented language.
>
> Interesting thought. It certainly fits with the notion of declaring
> constraints.
I beg to disagree. DBC is a concept that you need for low level languages. The contract in relational is the query itself. Unlike low level languages the contract specs in relational world is written without low level constructs like "while" loop. It is guranted to be sideeffect free. Received on Wed Oct 29 2003 - 18:14:23 CET