| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
 |
 | |||
| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
|
| |||
Home -> Community -> Usenet -> comp.databases.theory -> Re: Testing relational databases
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
 |
 |