Re: Optimization rules for semi and anti joins

On Tue, Feb 10, 2009 at 3:10 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:

I wrote (in response to Kevin Grittner's recent issues):
> Reflecting on this further, I suspect there are also some bugs in the
> planner's rules about when semi/antijoins can commute with other joins;

After doing some math I've concluded this is in fact the case.  Anyone
want to check my work?

FWIW, the logic looks correct to me.