Re: Is relational theory irrelevant?

Paul Vernon wrote:

> "Serge Rielau" <[EMAIL PROTECTED]> wrote in message
> news:[EMAIL PROTECTED]
...
> > INSERT INTO log SELECT user,
> >                        sendmail('Beware of virus x', user) as success
> >                   FROM inventory
> >                   WHERE os = 'W2K';
>
>
> Your example is flawed. The above log cannot prove you did your job, because
> the table itself is not tied to the success (or otherwise) of the external
> action. It is trivial to spoof a successful mail send. I.e.
>
> INSERT INTO log SELECT user,
>                          'EMAIL SUCCESS' as success
>                     FROM inventory
>                     WHERE os = 'W2K';
This is turning into a legal argument.
First the writer of the query doesn'thave to be the one executing it 
(through some interface).
Maybe I should have used "document" rather than "prove".
Documents can be forged, so can most socalled proof.

Cheers
Serge
--
Serge Rielau
DB2 SQL Compiler Development
IBM Toronto Lab