Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Transactions: good or bad?

Re: Transactions: good or bad?

From: Marshall Spight <mspight_at_dnai.com>
Date: Mon, 09 Jun 2003 15:47:06 GMT
Message-ID: <_Z1Fa.79058$d51.147876@sccrnsc01> 





"Todd Bandrowsky" <anakin_at_unitedsoftworks.com> wrote in message news:af3d9224.0306081935.7a35edfa_at_posting.google.com...

>




> And what is a formal proof but test cases based on internal

> consistency?




A set of testcases is a demonstration that an algorithm works
for a specific set of inputs. A proof is an explanation of why
an algorithm works for all possible inputs. They may be related
as far as intention, but they are not the same thing.




Marshall
Received on Mon Jun 09 2003 - 10:47:06 CDT












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US