Re: Box query

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 Sat Apr 22 2006 - 03:07:52 CEST