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: Testing relational databases

Re: Testing relational databases

From: Laurent Bossavit <laurent_at_dontspambossavit.com>
Date: Sat, 15 Jul 2006 22:01:24 +0200
Message-ID: <MPG.1f2367fc745f41b8989a38@news.noos.fr>


Marshall,

> Of course, we run in to problems if we begin to claim that
> we can use existential quantification to demonstrate
> universal quantification; this is of course unsound.

Ah, you must be the gentleman who once remarked "There is at least one sheep in Scotland, one side of which is black."

Laurent Received on Sat Jul 15 2006 - 15:01:24 CDT

Original text of this message

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