Re: Box query

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Sat, 22 Apr 2006 03:07:52 +0200
Message-ID: <444981a8$0$31645$e4fe514c@news.xs4all.nl>

Bob Badour wrote:
> Yes, there is something special about this query. Assume some queries
> are not special. We can then divide all queries into two sets: special
> queries and nonspecial queries. Membership in the latter set would be a
> special property of those queries leading to a contradiction. Therefore,
> all queries are special.

The benefits of formal reasoning in a nutshell. Wow.

> Other reasons are: it depends heavily on inequality, negation and the
> existential quantifier.

And on structural changes. But that's beyond you, I fear. Received on Fri Apr 21 2006 - 20:07:52 CDT