Re: more on delete from join
Date: Wed, 02 Sep 2009 22:51:30 GMT
On Thu, 03 Sep 2009 04:26:46 +1000, Walter Mitty <wamitty_at_verizon.net> wrote:
> "Marshall" <marshall.spight_at_gmail.com> wrote in message
> On Sep 2, 2:44 am, "Joe Thurbon" <use..._at_thurbon.com> wrote:
>> So, to update a view, rather than update the conclusion directly, one
>> update (one of) the base relvars that are used to derive the
>> conclusion/view. That is abductive.
> I guess I see what you mean, but strictly speaking it doesn't seem
> to fit the definition. In abductive reasoning, one knows a -> b, and
> b, but one doesn't know that it was in fact a that implied b. Whereas
> with a view, we do know.
> I think I see what joe is saying, perhaps by analogy. When we give an
> imperative to update a view or assign an after update state to a view,
> is like knowing the conclusion (b). The rule that defines the view is
> knowing the implication (a -> b). And what has to be derived (by the
> is the update required to the base relvars in order to adhere to both the
> rule in the view definition and the conclusion we have supplied. That's
> like abducting a from b and a -> b.
Yep, that's what I was trying to say - thanks for putting it more clearly.
> This might be only an anlogy, or it might be more than an analogy. I'm
I had intended it only as an analogy.
There may be a formal relationship, of course, but I won't pretend that I have figured one out.
Joe Received on Wed Sep 02 2009 - 17:51:30 CDT