Re: more on delete from join

Joe Thurbon wrote:
> On Wed, 02 Sep 2009 15:54:21 +1000, Marshall <marshall.spight_at_gmail.com>
> wrote:
...

>> I also disagree with the notion that the database state before
>> an update is a "premise" and the state after is a "conclusion."

Relation values are both formed by the same operators. Or is it just relvars, pointers to values, that are of two kinds, not relations? If that is the case, then maybe the subject should be renamed 'relvar theory' or 'relvar model'. What makes one different from the other? Less "true"? The fact that one references other relations even though every constraint is a reference to a relation? Because some people think one's extension is stored and the other isn't, so one is optimized and the other isn't, even though both are recorded? How is storing different from recording? Why does a physical language even need a "base" or "virtual" keyword? Or is it just that the logic of "base" updating was fumbled in the first place (eg., the physical optimization of delete has become confused with the logic of delete) and when the optimization was found to not seem to work with views people concluded that views are different kinds of relations, if so how does type/typist theory react? If nobody can say what is the material difference, the difference must be mystical. It would be better to ask what is the difference between physical and logical. Received on Wed Sep 02 2009 - 16:48:11 CEST