Stephan Szabo <sszabo@megazone23.bigpanda.com> writes:
> Basically, as I understand it,
> select * from a,b where a.a=b.a and a.a=3;
> isn't going to realize that b.a=3 and act as if
> you typed that.
We have talked about adding code to make that deduction. The issue is
how to do so without expending a lot of cycles (that will be wasted in
every query where no improvement results, which is most of them). There
are also some ticklish issues about side-effects of adding such clauses.
in the above example, if we did filter b with b.a=3, then the join
clause a.a=b.a becomes a no-op and does not reduce the number of rows;
if we fail to account for that fact we will underestimate the number of
rows out of the join, possibly pessimizing higher levels of plan. Also,
we might as well implement the join as a nestloop; no percentage in
fooling with hash or merge overhead.
I have some thoughts about this, but it's not happening for 7.3 ...
regards, tom lane
