Quoting Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>:
> Yeah, the whole thing is only a heuristic anyway. I've been coming
> around to the view that relation membership shouldn't matter, because
> of cases like
>
> WHERE a.x > b.y AND a.x < 42
>
> which surely should be taken as a range constraint.
Out of curiosity, will the planner induce "b.y < 42" out of this?
--
"Dreams come true, not free."