]> granicus.if.org Git - postgresql/commit
Further fixes for degenerate outer join clauses.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 6 Aug 2015 19:35:27 +0000 (15:35 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 6 Aug 2015 19:35:46 +0000 (15:35 -0400)
commit8703059c6b55c427100e00a09f66534b6ccbfaa1
tree171889caa00d4ca41eea5cf4085eed61c73d533c
parentdf0a67f754c2c45c99237765f30856c5dd95949d
Further fixes for degenerate outer join clauses.

Further testing revealed that commit f69b4b9495269cc4 was still a few
bricks shy of a load: minor tweaking of the previous test cases resulted
in the same wrong-outer-join-order problem coming back.  After study
I concluded that my previous changes in make_outerjoininfo() were just
accidentally masking the problem, and should be reverted in favor of
forcing syntactic join order whenever an upper outer join's predicate
doesn't mention a lower outer join's LHS.  This still allows the
chained-outer-joins style that is the normally optimizable case.

I also tightened things up some more in join_is_legal().  It seems to me
on review that what's really happening in the exception case where we
ignore a mismatched special join is that we're allowing the proposed join
to associate into the RHS of the outer join we're comparing it to.  As
such, we should *always* insist that the proposed join be a left join,
which eliminates a bunch of rather dubious argumentation.  The case where
we weren't enforcing that was the one that was already known buggy anyway
(it had a violatable Assert before the aforesaid commit) so it hardly
deserves a lot of deference.

Back-patch to all active branches, like the previous patch.  The added
regression test case failed in all branches back to 9.1, and I think it's
only an unrelated change in costing calculations that kept 9.0 from
choosing a broken plan.
src/backend/optimizer/README
src/backend/optimizer/path/joinrels.c
src/backend/optimizer/plan/initsplan.c
src/test/regress/expected/join.out
src/test/regress/sql/join.sql