]> granicus.if.org Git - postgresql/commit
Fix qual-clause-misplacement issues with pulled-up LATERAL subqueries.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 19 Aug 2013 17:19:28 +0000 (13:19 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 19 Aug 2013 17:19:51 +0000 (13:19 -0400)
commitb19e5a696ab28be5d55949048194922152091aa1
tree58b3da299a1b582d2c3272625cf4dcb563bbd58e
parentb3c55ae0daf230555cb1932ac2c903c3fe7643db
Fix qual-clause-misplacement issues with pulled-up LATERAL subqueries.

In an example such as
SELECT * FROM
  i LEFT JOIN LATERAL (SELECT * FROM j WHERE i.n = j.n) j ON true;
it is safe to pull up the LATERAL subquery into its parent, but we must
then treat the "i.n = j.n" clause as a qual clause of the LEFT JOIN.  The
previous coding in deconstruct_recurse mistakenly labeled the clause as
"is_pushed_down", resulting in wrong semantics if the clause were applied
at the join node, as per an example submitted awhile ago by Jeremy Evans.
To fix, postpone processing of such clauses until we return back up to
the appropriate recursion depth in deconstruct_recurse.

In addition, tighten the is-safe-to-pull-up checks in is_simple_subquery;
we previously missed the possibility that the LATERAL subquery might itself
contain an outer join that makes lateral references in lower quals unsafe.

A regression test case equivalent to Jeremy's example was already in my
commit of yesterday, but was giving the wrong results because of this
bug.  This patch fixes the expected output for that, and also adds a
test case for the second problem.
src/backend/optimizer/README
src/backend/optimizer/plan/initsplan.c
src/backend/optimizer/prep/prepjointree.c
src/test/regress/expected/join.out
src/test/regress/sql/join.sql