Re: A good book
From: paul c <toledobythesea_at_oohay.ac>
Date: Sat, 08 Jul 2006 03:20:13 GMT
Message-ID: <NvFrg.133272$IK3.31649_at_pd7tw1no>
> to deliver the proof, and it is up to the dbms to deliver the program.
> ...
Date: Sat, 08 Jul 2006 03:20:13 GMT
Message-ID: <NvFrg.133272$IK3.31649_at_pd7tw1no>
Bob Badour wrote:
> paul c wrote:
>
>> Chris Smith wrote: >> >>> Bob Badour <bbadour_at_pei.sympatico.ca> wrote: >>>... When using the RM, it is up to the 'programmer'
> to deliver the proof, and it is up to the dbms to deliver the program.
> ...
I think that deserves to be repeated, which is why I replied.
p Received on Sat Jul 08 2006 - 05:20:13 CEST