Re: A good book
From: Chris Smith <cdsmith_at_twu.net>
Date: Fri, 7 Jul 2006 21:37:29 -0600
Message-ID: <MPG.1f18d664d62f31c9989761_at_news.altopia.net>
Date: Fri, 7 Jul 2006 21:37:29 -0600
Message-ID: <MPG.1f18d664d62f31c9989761_at_news.altopia.net>
Bob Badour <bbadour_at_pei.sympatico.ca> wrote:
> What's particularly astounding about his repeat of the question is
> predicate calculus is exactly the tool one uses to prove correctness of
> program transformations. 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.
-- Chris Smith - Lead Software Developer / Technical Trainer MindIQ CorporationReceived on Sat Jul 08 2006 - 05:37:29 CEST