I wrote:
> David Rowley <dgrowleyml(at)gmail(dot)com> writes:
>> Parent RT indexes are guaranteed to be lower than their children RT
>> indexes,
> I was intentionally avoiding that assumption ;-). Maybe it buys enough
> to be worth the loss of generality, but ...
Oh, it's too late at night. I now remember that the real problem
I had with that representation was that it cannot work for joinrels.
Currently we only apply this logic to partitioned baserels, but
don't you think it might someday be called on to optimize
partitionwise joins?
regards, tom lane