Re: Testing relational databases
From: Laurent Bossavit <laurent_at_dontspambossavit.com>
Date: Sat, 15 Jul 2006 22:01:24 +0200
Message-ID: <MPG.1f2367fc745f41b8989a38_at_news.noos.fr>
Date: Sat, 15 Jul 2006 22:01:24 +0200
Message-ID: <MPG.1f2367fc745f41b8989a38_at_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 - 22:01:24 CEST