Re: Optimisation of INTERSECT expressions - Mailing list pgsql-performance

From Stephan Szabo
Subject Re: Optimisation of INTERSECT expressions
Date
Msg-id 20040323071350.Y86816@megazone.bigpanda.com
Whole thread Raw
In response to Re: Optimisation of INTERSECT expressions  (Stephan Szabo <sszabo@megazone.bigpanda.com>)
Responses Re: Optimisation of INTERSECT expressions
List pgsql-performance
On Tue, 23 Mar 2004, Stephan Szabo wrote:

> On Tue, 23 Mar 2004, Phil Endecott wrote:
>
> > Dear PostgresQL Experts,
> >
> > I am trying to get to the bottom of some efficiency problems and hope that
> > you can help.  The difficulty seems to be with INTERSECT expressions.
> >
> > I have a query of the form
> >      select A from T where C1 intersect select A from T where C2;
> > It runs in about 100 ms.
> >
> > But it is equivalent to this query
> >      select A from T where C1 and C2;
> > which runs in less than 10 ms.
> >
> > Looking at the output of "explain analyse" on the first query, it seems
> > that PostgresQL always computes the two sub-expressions and then computes
> > an explicit intersection on the results.  I had hoped that it would notice
> > that both subexpressions are scanning the same input table T and convert
> > the expression to the second form.
> >
> > Is there a reason why it can't do this transformation?
>
> Probably because noone's bothered to try to prove under what conditions
> it's the same.
>
> For example, given a non-unique A, the two queries can give different
> answers (if say the same two A values match both C1 and C2 in different
> rows how many output rows does each give? *), also given a non-stable A
> (for example random) the two queries are not necessarily equivalent.

Ugh, the example got trimmed out for the *

Given a non-unique A, C1 as B>5, c2 as C>5 and the data:
A | B | C
1 | 6 | 1
1 | 1 | 6

The intersect gives 1 row, the and query gives 0 AFAICS.


pgsql-performance by date:

Previous
From: Stephan Szabo
Date:
Subject: Re: Optimisation of INTERSECT expressions
Next
From: Tom Lane
Date:
Subject: Re: Optimisation of INTERSECT expressions