Re: Date and McGoveran comments on view updating 'problem'

From: paul c <>
Date: Tue, 09 Dec 2008 18:33:51 GMT
Message-ID: <jSy%k.3770$si6.2856_at_edtnps83> wrote:
> 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

Original text of this message