Dennis Haney <davh(at)diku(dot)dk> writes:
>> Joining {b,c} to {a} does not meet any of those four allowed cases.
>>
> Exactly my point... So why ever bother creating the {b,c} node which is
> legal by the above definition?
We don't, because there is no such join clause.
regards, tom lane