"Robins Tharakan" <tharakan(at)gmail(dot)com> writes:
> Besides, I did a simple test and although you are right about the optimizer
> deducing implied equality conditions, this holds true only for a direct
> join. In the second query, the optimizer recommends a table scan even for a
> simple IN() condition.
An IN is not an equivalence condition.
regards, tom lane