On Tue, Sep 15, 2009 at 10:10 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>> * I'm not sure about this, because surely you would have tested it,
>> but isn't it looking at the wrong side of the join clauses? I thought
>> the idea is to prove the nullable (inner) side of the join unique.
>
> Grr. I think it's more broken than that. Wow, this is really embarassing.
Well, you're definitely right that it's looking at the wrong side of
the join clauses. Still trying to figure out if there is another bug,
too.
...Robert