Re: Date and McGoveran comments on view updating 'problem'
Date: Tue, 09 Dec 2008 18:33:51 GMT
> As for deletion here is my worksheet. The first two assertions stay
> the same:
> (SP ^ S') v R00 = R00.
> (SP ^ S) ^ R00 = D ^ R00.
Thanks. (I'm not ignoring this, but can't reply until I refresh my memory about RL and see if I can adapt my version of the problem to it. I'm assuming that the papers at arxiv reflect the present version of RL.) Received on Tue Dec 09 2008 - 19:33:51 CET