Thread: LATERAL quals revisited

LATERAL quals revisited

From
Tom Lane
Date:
I've been studying the bug reported at
http://www.postgresql.org/message-id/20130617235236.GA1636@jeremyevans.local
that the planner can do the wrong thing with queries like

SELECT * FROM i LEFT JOIN LATERAL (SELECT * FROM j WHERE i.n = j.n) j ON true;

I think the fundamental problem is that, because the "i.n = j.n" clause
appears syntactically in WHERE, the planner is treating it as if it were
an inner-join clause; but really it ought to be considered a clause of
the upper LEFT JOIN.  That is, semantically this query ought to be
equivalent to

SELECT * FROM i LEFT JOIN LATERAL (SELECT * FROM j) j ON i.n = j.n;

However, because distribute_qual_to_rels doesn't see the clause as being
attached to the outer join, it's not marked with the correct properties
and ends up getting evaluated in the wrong place (as a "filter" clause
not a "join filter" clause).  The bug is masked in the test cases we've
used so far because those cases are designed to let the clause get
pushed down into the scan of the inner relation --- but if it doesn't
get pushed down, it's evaluated the wrong way.

After some contemplation, I think that the most practical way to fix
this is for deconstruct_recurse and distribute_qual_to_rels to
effectively move such a qual to the place where it logically belongs;
that is, rather than processing it when we look at the lower WHERE
clause, set it aside for a moment and then add it back when looking at
the ON clause of the appropriate outer join.  This should be reasonably
easy to do by keeping a list of "postponed lateral clauses" while we're
scanning the join tree.

For there to *be* a unique "appropriate outer join", we need to require
that a LATERAL-using qual clause that's under an outer join contain
lateral references only to the outer side of the nearest enclosing outer
join.  There's no such restriction in the spec of course, but we can
make it so by refusing to flatten a sub-select if pulling it up would
result in having a clause in the outer query that violates this rule.
There's already some code in prepjointree.c (around line 1300) that
attempts to enforce this, though now that I look at it again I'm not
sure it's covering all the bases.  We may need to extend that check.

I'm inclined to process all LATERAL-using qual clauses this way, ie
postpone them till we recurse back up to a place where they can
logically be evaluated.  That won't make any real difference when no
outer joins are present, but it will eliminate the ugliness that right
now distribute_qual_to_rels is prevented from sanity-checking the scope
of the references in a qual when LATERAL is present.  If we do it like
this, we can resurrect full enforcement of that sanity check, and then
throw an error if any "postponed" quals are left over when we're done
recursing.

Thoughts, better ideas?
        regards, tom lane



Re: LATERAL quals revisited

From
Antonin Houska
Date:
(Please excuse me if my proposal sounds silly, i'm still not too 
advanced in this area...)

On 06/25/2013 10:00 PM, Tom Lane wrote:
> After some contemplation, I think that the most practical way to fix
> this is for deconstruct_recurse and distribute_qual_to_rels to
> effectively move such a qual to the place where it logically belongs;
> that is, rather than processing it when we look at the lower WHERE
> clause, set it aside for a moment and then add it back when looking at
> the ON clause of the appropriate outer join.  This should be reasonably
> easy to do by keeping a list of "postponed lateral clauses" while we're
> scanning the join tree.
>

Instead of setting it aside, can we (mis)use placeholder var (PHV), to 
ensure
that the WHERE clause is evaluated below the OJ; instead of combining it 
with
the ON clause?  That would be a special PHV(s) in that it's not actually
referenced from outside the subquery.

Whether I'm right or not, I seem to have found another problem while
trying to enforce such a PHV:

postgres=# SELECT i.*, j.* FROM i LEFT JOIN LATERAL (SELECT COALESCE(i) 
FROM j WHERE (i.n = j.n)) j ON true;
The connection to the server was lost. Attempting reset: Failed.

TRAP: FailedAssertion("!(!bms_overlap(min_lefthand, min_righthand))", 
File: "initsplan.c", Line: 1043)
LOG:  server process (PID 24938) was terminated by signal 6: Aborted
DETAIL:  Failed process was running: SELECT i.*, j.* FROM i LEFT JOIN 
LATERAL (SELECT COALESCE(i) FROM j WHERE (i.n = j.n)) j ON true;
LOG:  terminating any other active server processes
WARNING:  terminating connection because of crash of another server process
DETAIL:  The postmaster has commanded this server process to roll back 
the current transaction and exit, because another server process exited 
abnormally and possibly corrupted shared memory.
HINT:  In a moment you should be able to reconnect to the database and 
repeat your command.
FATAL:  the database system is in recovery mode

I'm not able to judge right now whether the Assert() statement is the 
problem itself or anything
else. You'll probably know better.

(4f14c86d7434376b95477aeeb07fcc7272f4c47d is the last commit in my 
environment)

Regards,
Antonin Houska (Tony)






Re: LATERAL quals revisited

From
Tom Lane
Date:
Antonin Houska <antonin.houska@gmail.com> writes:
> On 06/25/2013 10:00 PM, Tom Lane wrote:
>> After some contemplation, I think that the most practical way to fix
>> this is for deconstruct_recurse and distribute_qual_to_rels to
>> effectively move such a qual to the place where it logically belongs;
>> that is, rather than processing it when we look at the lower WHERE
>> clause, set it aside for a moment and then add it back when looking at
>> the ON clause of the appropriate outer join.

> Instead of setting it aside, can we (mis)use placeholder var (PHV), to
> ensure that the WHERE clause is evaluated below the OJ; instead of
> combining it with the ON clause?

No, that doesn't help; it has to be part of the joinquals at the join
node, or you don't get the right execution semantics.  Plus you could
lose some optimization opportunities, for example if we fail to see
that there's a strict join clause associated with the outer join
(cf lhs_strict).  Worse, I think wrapping a PHV around an otherwise
indexable clause would prevent using it for an indexscan.

> Whether I'm right or not, I seem to have found another problem while
> trying to enforce such a PHV:

> postgres=# SELECT i.*, j.* FROM i LEFT JOIN LATERAL (SELECT COALESCE(i) 
> FROM j WHERE (i.n = j.n)) j ON true;
> The connection to the server was lost. Attempting reset: Failed.

[ pokes at that ... ]  Hm, right offhand this seems like an independent
issue --- the ph_eval_at for the PHV is wrong AFAICS.  Thanks for
reporting it!
        regards, tom lane



Re: LATERAL quals revisited

From
Antonin Houska
Date:
On 06/26/2013 12:52 AM, Tom Lane wrote:
>> Instead of setting it aside, can we (mis)use placeholder var (PHV), to
>> ensure that the WHERE clause is evaluated below the OJ; instead of
>> combining it with the ON clause?
> No, that doesn't help; it has to be part of the joinquals at the join
> node, or you don't get the right execution semantics.
When I wrote 'below the OJ' I meant to retain something of the original 
semantics (just like the subquery applies the WHERE clause below the OJ).
However that's probably too restrictive and your next arguments
> Plus you could
> lose some optimization opportunities, for example if we fail to see
> that there's a strict join clause associated with the outer join
> (cf lhs_strict).  Worse, I think wrapping a PHV around an otherwise
> indexable clause would prevent using it for an indexscan.
>
also confirm the restrictiveness. So I can forget.

One more concern anyway: doesn't your proposal make subquery pull-up a 
little bit risky in terms of cost of the resulting plan?

IMO the subquery in the original query may filter out many rows and thus 
decrease the number of pairs to be evaluated by the join the ON clause 
belongs to.
If the WHERE clause moves up, then the resulting plan might be less 
efficient than the one we'd get if the subquery hadn't been pulled-up at 
all.

However at the time of cost evaluation there's no way to get back (not 
even to notice the higher cost) because the original subquery has gone 
at earlier stage of the planning.

Regards,
Antonin Houska (Tony)



Re: LATERAL quals revisited

From
Tom Lane
Date:
Antonin Houska <antonin.houska@gmail.com> writes:
> If the WHERE clause moves up, then the resulting plan might be less 
> efficient than the one we'd get if the subquery hadn't been pulled-up at 
> all.

No, because we can push the qual back down again (using a parameterized
path) if that's appropriate.  The problem at this stage is to understand
the semantics of the outer join correctly, not to make a choice of what
the plan will be.

In fact, the reason we'd not noticed this bug before is exactly that
all the test cases in the regression tests do end up pushing the qual
back down.
        regards, tom lane



Re: LATERAL quals revisited

From
Tom Lane
Date:
Antonin Houska <antonin.houska@gmail.com> writes:
> Whether I'm right or not, I seem to have found another problem while
> trying to enforce such a PHV:

> postgres=# SELECT i.*, j.* FROM i LEFT JOIN LATERAL (SELECT COALESCE(i)
> FROM j WHERE (i.n = j.n)) j ON true;
> The connection to the server was lost. Attempting reset: Failed.

I've been poking at this problem, and have found out that there are
several other multi-legged creatures underneath this rock.  LATERAL
references turn out to have many more interactions with PlaceHolderVars
than I'd previously thought.  I think the existing code was okay in
the initial cut at LATERAL, when we never tried to flatten any LATERAL
subqueries into the parent query --- but now that we allow such flattening
to happen, it's possible that a PlaceHolderVar that's been wrapped
around a pulled-up subquery output expression will contain a lateral
reference.  There was a previous report of problems with that sort of
thing, which I tried to fix in a quick-hack way in commit
4da6439bd8553059766011e2a42c6e39df08717f, but that was totally wrong and
in fact caused the Assert you show above.  The right way to think about
it is that a PlaceHolderVar should be evaluated at its syntactic
location, but if it contains a lateral reference then that creates an
outer-reference requirement for the scan or join level at which it gets
evaluated.

So attached is a draft patch for this.  It's not complete yet because
there are various comments that are now wrong and need to be updated;
but I think the code is functioning correctly.  Also the
lateral_vars/lateral_relids stuff seems a bit crude and Rube Goldbergish
now, because it considers *only* lateral references occurring at relation
scan level, which I now see is just part of the problem.  I'm not sure
if there's a good way to generalize that or if it's best left alone.

Note that the original join-qual-misplacement problem reported by Jeremy
Evans is not fixed yet; this is just addressing PlaceHolderVar issues.

Comments?

            regards, tom lane


Attachment

Re: LATERAL quals revisited

From
Tom Lane
Date:
I wrote:
> So attached is a draft patch for this.  It's not complete yet because
> there are various comments that are now wrong and need to be updated;
> but I think the code is functioning correctly.

Hm, spoke too soon :-(.  This query causes an assertion failure, with or
without my draft patch:

select c.*,a.*,ss1.q1,ss2.q1,ss3.* from int8_tbl c left join (   int8_tbl a left join     (select q1, coalesce(q2,f1)
asx from int8_tbl b, int4_tbl b2) ss1     on a.q2 = ss1.q1   cross join   lateral (select q1, coalesce(ss1.x,q2) as y
fromint8_tbl d) ss2 ) on c.q2 = ss2.q1, lateral (select * from int4_tbl i where ss2.y > f1) ss3;
 

TRAP: FailedAssertion("!(bms_is_subset(phinfo->ph_needed, phinfo->ph_may_need))", File: "initsplan.c", Line: 213)

What's happening is that distribute_qual_to_rels concludes (correctly)
that the "ss2.y > f1" clause must be postponed until after the nest of
left joins, since those could null ss2.y.  So the PlaceHolderVar for
ss2.y is marked as being needed at the topmost join level.  However,
find_placeholders_in_jointree had only marked the PHV as being "maybe
needed" to scan the "i" relation, since that's what the syntactic
location of the reference implies.  Since we depend on the assumption
that ph_needed is always a subset of ph_may_need, there's an assertion
that fires if that stops being true, and that's what's crashing.

After some thought about this, I'm coming to the conclusion that lateral
references destroy the ph_maybe_needed optimization altogether: we
cannot derive an accurate estimate of where a placeholder will end up in
the final qual distribution, short of essentially doing all the work in
deconstruct_jointree over again.  I guess in principle we could repeat
deconstruct_jointree until we had stable estimates of the ph_needed
locations, but that would be expensive and probably would induce a lot
of new planner bugs (since the data structure changes performed during
deconstruct_jointree aren't designed to be backed out easily).

The only place where ph_may_need is actually used is in this bit in
make_outerjoininfo():
   /*    * Examine PlaceHolderVars.  If a PHV is supposed to be evaluated within    * this join's nullable side, and it
mayget used above this join, then    * ensure that min_righthand contains the full eval_at set of the PHV.    * This
ensuresthat the PHV actually can be evaluated within the RHS.    * Note that this works only because we should already
havedetermined the    * final eval_at level for any PHV syntactically within this join.    */   foreach(l,
root->placeholder_list)  {       PlaceHolderInfo *phinfo = (PlaceHolderInfo *) lfirst(l);       Relids
ph_syn_level= phinfo->ph_var->phrels;
 
       /* Ignore placeholder if it didn't syntactically come from RHS */       if (!bms_is_subset(ph_syn_level,
right_rels))          continue;
 
       /* We can also ignore it if it's certainly not used above this join */       /* XXX this test is probably overly
conservative*/       if (bms_is_subset(phinfo->ph_may_need, min_righthand))           continue;
 
       /* Else, prevent join from being formed before we eval the PHV */       min_righthand =
bms_add_members(min_righthand,phinfo->ph_eval_at);   }
 

Looking at it again, it's not really clear that skipping placeholders in
this way results in very much optimization --- sometimes we can avoid
constraining join order, but how often?  I tried diking out the check
on ph_may_need from this loop, and saw no changes in the regression test
results (not that that proves a whole lot about optimization of complex
queries).  So I'm pretty tempted to just remove ph_may_need, along with
the machinery that computes it.

Another possibility would be to keep the optimization, but disable it in
queries that use LATERAL.  I don't much care for that though --- seems
too Rube Goldbergish, and in any case I have a lot less faith in the
whole concept now than I had before I started digging into this issue.

Thoughts?
        regards, tom lane



Re: LATERAL quals revisited

From
Antonin Houska
Date:
On 07/03/2013 08:32 PM, Tom Lane wrote:
> Another possibility would be to keep the optimization, but disable it in
> queries that use LATERAL.  I don't much care for that though --- seems
> too Rube Goldbergish, and in any case I have a lot less faith in the
> whole concept now than I had before I started digging into this issue.
>
> Thoughts?
>
I noticed EXPLAIN in some regression tests. So if they all pass after 
removal of this optimization, it might indicate that it was really 
insignificant. But alternatively it may just be a lack of focus on this 
feature in the test queries. Digging for (non-LATERAL) queries or rather 
patterns where the ph_may_need optimization clearly appears to be 
important sounds to me like a good SQL exercise, but I'm afraid I won't 
have time for it in the next few days.


//Antonin Houska (Tony)



Re: LATERAL quals revisited

From
Antonin Houska
Date:
On 07/04/2013 06:11 PM, Antonin Houska wrote:
> On 07/03/2013 08:32 PM, Tom Lane wrote:
>> Another possibility would be to keep the optimization, but disable it in
>> queries that use LATERAL.  I don't much care for that though --- seems
>> too Rube Goldbergish, and in any case I have a lot less faith in the
>> whole concept now than I had before I started digging into this issue.
>>
>> Thoughts?
>>
> I noticed EXPLAIN in some regression tests. So if they all pass after
> removal of this optimization, it might indicate that it was really
> insignificant. But alternatively it may just be a lack of focus on
> this feature in the test queries. Digging for (non-LATERAL) queries or
> rather patterns where the ph_may_need optimization clearly appears to
> be important sounds to me like a good SQL exercise, but I'm afraid I
> won't have time for it in the next few days.
>

I constructed a query that triggers the optimization - see attachment
with comments. (Note that the relid sets are derived from my current
knowledge of the logic. I haven't figured out how to check them easily
in gdb session.)

The intention was that the top-level OJ references LHS of the join below
rather than the RHS. That should increase the likelihood that the PHV
becomes the only obstacle for join commuting. And therefore the
ph_may_need optimization should unblock some combinations that would be
impossible otherwise.

However I could not see the condition

   if (bms_is_subset(phinfo->ph_may_need, min_righthand))
       continue;

met for the top-level join even though the supposed ph_may_need did not
contain tab1. Then it struck me that min_righthand can be the problem.
So I changed the join clause to reference RHS of j1, hoping that it
should make min_righthand bigger. And that really triggered the condition.

EXPLAIN shows the same plan with or without the ph_may_need
optimization, but that might be data problem (my tables are empty).

More important is the fact that I could only avoid addition of the PHV's
eval_at to min_righthand at the cost of adding the whole j1 join (i.e.
more than just eval_at).

Although the idea behind ph_may_need is clever, I can now imagine that
other techniques of the planner can substitute for it. There might be
examples showing the opposite but such are beyond my imagination.

// Antonin Houska (Tony)


Attachment

Re: LATERAL quals revisited

From
Ashutosh Bapat
Date:
I have couple of questions.

On Wed, Jun 26, 2013 at 1:30 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
I've been studying the bug reported at
http://www.postgresql.org/message-id/20130617235236.GA1636@jeremyevans.local
that the planner can do the wrong thing with queries like

SELECT * FROM
  i LEFT JOIN LATERAL (SELECT * FROM j WHERE i.n = j.n) j ON true;

I think the fundamental problem is that, because the "i.n = j.n" clause
appears syntactically in WHERE, the planner is treating it as if it were
an inner-join clause; but really it ought to be considered a clause of
the upper LEFT JOIN.  That is, semantically this query ought to be
equivalent to

SELECT * FROM
  i LEFT JOIN LATERAL (SELECT * FROM j) j ON i.n = j.n;

However, because distribute_qual_to_rels doesn't see the clause as being
attached to the outer join, it's not marked with the correct properties
and ends up getting evaluated in the wrong place (as a "filter" clause
not a "join filter" clause).  The bug is masked in the test cases we've
used so far because those cases are designed to let the clause get
pushed down into the scan of the inner relation --- but if it doesn't
get pushed down, it's evaluated the wrong way.

After some contemplation, I think that the most practical way to fix
this is for deconstruct_recurse and distribute_qual_to_rels to
effectively move such a qual to the place where it logically belongs;
that is, rather than processing it when we look at the lower WHERE
clause, set it aside for a moment and then add it back when looking at
the ON clause of the appropriate outer join.  This should be reasonably
easy to do by keeping a list of "postponed lateral clauses" while we're
scanning the join tree.

For there to *be* a unique "appropriate outer join", we need to require
that a LATERAL-using qual clause that's under an outer join contain
lateral references only to the outer side of the nearest enclosing outer
join.  There's no such restriction in the spec of course, but we can
make it so by refusing to flatten a sub-select if pulling it up would
result in having a clause in the outer query that violates this rule.
There's already some code in prepjointree.c (around line 1300) that
attempts to enforce this, though now that I look at it again I'm not
sure it's covering all the bases.  We may need to extend that check.


Why do we need this restriction? Wouldn't a place (specifically join qual at such a place) in join tree where all the participating relations are present, serve as a place where the clause can be applied. E.g. in the query

select * from tab1 left join tab2 t2 using (val) left join lateral (select val from tab2 where val2 = tab1.val * t2.val) t3 using (val);
 
Can't we apply (as a join qual) the qual val2 = tab1.val * t2.val at a place where we are computing join between tab1, t2 and t3?


I'm inclined to process all LATERAL-using qual clauses this way, ie
postpone them till we recurse back up to a place where they can
logically be evaluated.  That won't make any real difference when no
outer joins are present, but it will eliminate the ugliness that right
now distribute_qual_to_rels is prevented from sanity-checking the scope
of the references in a qual when LATERAL is present.  If we do it like
this, we can resurrect full enforcement of that sanity check, and then
throw an error if any "postponed" quals are left over when we're done
recursing.


Parameterized nested loop join would always be able to evaluate a LATERAL query. Instead of throwing error, why can't we choose that as the default strategy whenever we fail to flatten subquery?

Can we put the clause with lateral references at its appropriate place while flattening the subquery? IMO, that will be cleaner and lesser work than first pulling the clause and then putting it back again? Right, now, we do not have that capability in pull_up_subqueries() but given its recursive structure, it might be easier to do it there.
 
Thoughts, better ideas?

                        regards, tom lane


--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers



--
Best Wishes,
Ashutosh Bapat
EntepriseDB Corporation
The Postgres Database Company

Re: LATERAL quals revisited

From
Tom Lane
Date:
Ashutosh Bapat <ashutosh.bapat@enterprisedb.com> writes:
> On Wed, Jun 26, 2013 at 1:30 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> For there to *be* a unique "appropriate outer join", we need to require
>> that a LATERAL-using qual clause that's under an outer join contain
>> lateral references only to the outer side of the nearest enclosing outer
>> join.  There's no such restriction in the spec of course, but we can
>> make it so by refusing to flatten a sub-select if pulling it up would
>> result in having a clause in the outer query that violates this rule.
>> There's already some code in prepjointree.c (around line 1300) that
>> attempts to enforce this, though now that I look at it again I'm not
>> sure it's covering all the bases.  We may need to extend that check.

> Why do we need this restriction? Wouldn't a place (specifically join qual
> at such a place) in join tree where all the participating relations are
> present, serve as a place where the clause can be applied.

No.  If you hoist a qual that appears below an outer join to above the
outer join, you get wrong results in general: you might eliminate rows
from the outer side of the join, which a qual from within the inner side
should never be able to do.

> select * from tab1 left join tab2 t2 using (val) left join lateral (select
> val from tab2 where val2 = tab1.val * t2.val) t3 using (val);
> Can't we apply (as a join qual) the qual val2 = tab1.val * t2.val at a
> place where we are computing join between tab1, t2 and t3?

This particular example doesn't violate the rule I gave above, since
both tab1 and t2 are on the left side of the join to the lateral
subquery, and the qual doesn't have to get hoisted *past* an outer join,
only to the outer join of {tab1,t2} with {t3}.

>> I'm inclined to process all LATERAL-using qual clauses this way, ie
>> postpone them till we recurse back up to a place where they can
>> logically be evaluated.  That won't make any real difference when no
>> outer joins are present, but it will eliminate the ugliness that right
>> now distribute_qual_to_rels is prevented from sanity-checking the scope
>> of the references in a qual when LATERAL is present.  If we do it like
>> this, we can resurrect full enforcement of that sanity check, and then
>> throw an error if any "postponed" quals are left over when we're done
>> recursing.

> Parameterized nested loop join would always be able to evaluate a LATERAL
> query. Instead of throwing error, why can't we choose that as the default
> strategy whenever we fail to flatten subquery?

I think you misunderstood.  That error would only be a sanity check that
we'd accounted for all qual clauses, it's not something a user should
ever see.
        regards, tom lane



Re: LATERAL quals revisited

From
Tom Lane
Date:
Antonin Houska <antonin.houska@gmail.com> writes:
> On 07/04/2013 06:11 PM, Antonin Houska wrote:
>> On 07/03/2013 08:32 PM, Tom Lane wrote:
>>> Another possibility would be to keep the optimization, but disable it in
>>> queries that use LATERAL.  I don't much care for that though --- seems
>>> too Rube Goldbergish, and in any case I have a lot less faith in the
>>> whole concept now than I had before I started digging into this issue.

> I constructed a query that triggers the optimization - see attachment 
> with comments.

Thanks for poking at this.

> EXPLAIN shows the same plan with or without the ph_may_need 
> optimization, but that might be data problem (my tables are empty).

Yeah, I didn't have much luck getting a different plan even with data in
the tables.  What you'd need for this to be important would be for a join
order that's precluded without the ph_may_need logic to be significantly
better than the join orders that are still allowed.  While that's
certainly within the realm of possibility, the difficulty of triggering
the case at all reinforces my feeling that this optimization isn't worth
bothering with.  For the moment I'm just going to take it out.
        regards, tom lane



Re: LATERAL quals revisited

From
Tom Lane
Date:
Some time ago, I wrote:
> I've been studying the bug reported at
> http://www.postgresql.org/message-id/20130617235236.GA1636@jeremyevans.local
> ...
> After some contemplation, I think that the most practical way to fix
> this is for deconstruct_recurse and distribute_qual_to_rels to
> effectively move such a qual to the place where it logically belongs;
> that is, rather than processing it when we look at the lower WHERE
> clause, set it aside for a moment and then add it back when looking at
> the ON clause of the appropriate outer join.  This should be reasonably
> easy to do by keeping a list of "postponed lateral clauses" while we're
> scanning the join tree.

Here's a draft patch for this.  The comments need a bit more work
probably, but barring objection I want to push this in before this
afternoon's 9.3rc1 wrap.

            regards, tom lane

diff --git a/src/backend/optimizer/plan/initsplan.c b/src/backend/optimizer/plan/initsplan.c
index 98f601c..e055088 100644
*** a/src/backend/optimizer/plan/initsplan.c
--- b/src/backend/optimizer/plan/initsplan.c
*************** int            from_collapse_limit;
*** 36,47 ****
  int            join_collapse_limit;


  static void extract_lateral_references(PlannerInfo *root, RelOptInfo *brel,
                             Index rtindex);
  static void add_lateral_info(PlannerInfo *root, Relids lhs, Relids rhs);
  static List *deconstruct_recurse(PlannerInfo *root, Node *jtnode,
                      bool below_outer_join,
!                     Relids *qualscope, Relids *inner_join_rels);
  static SpecialJoinInfo *make_outerjoininfo(PlannerInfo *root,
                     Relids left_rels, Relids right_rels,
                     Relids inner_join_rels,
--- 36,56 ----
  int            join_collapse_limit;


+ /* Elements of the postponed_qual_list used during deconstruct_recurse */
+ typedef struct PostponedQual
+ {
+     Node       *qual;            /* a qual clause waiting to be processed */
+     Relids        relids;            /* the set of baserels it references */
+ } PostponedQual;
+
+
  static void extract_lateral_references(PlannerInfo *root, RelOptInfo *brel,
                             Index rtindex);
  static void add_lateral_info(PlannerInfo *root, Relids lhs, Relids rhs);
  static List *deconstruct_recurse(PlannerInfo *root, Node *jtnode,
                      bool below_outer_join,
!                     Relids *qualscope, Relids *inner_join_rels,
!                     List **postponed_qual_list);
  static SpecialJoinInfo *make_outerjoininfo(PlannerInfo *root,
                     Relids left_rels, Relids right_rels,
                     Relids inner_join_rels,
*************** static void distribute_qual_to_rels(Plan
*** 53,59 ****
                          Relids qualscope,
                          Relids ojscope,
                          Relids outerjoin_nonnullable,
!                         Relids deduced_nullable_relids);
  static bool check_outerjoin_delay(PlannerInfo *root, Relids *relids_p,
                        Relids *nullable_relids_p, bool is_pushed_down);
  static bool check_equivalence_delay(PlannerInfo *root,
--- 62,69 ----
                          Relids qualscope,
                          Relids ojscope,
                          Relids outerjoin_nonnullable,
!                         Relids deduced_nullable_relids,
!                         List **postponed_qual_list);
  static bool check_outerjoin_delay(PlannerInfo *root, Relids *relids_p,
                        Relids *nullable_relids_p, bool is_pushed_down);
  static bool check_equivalence_delay(PlannerInfo *root,
*************** add_lateral_info(PlannerInfo *root, Reli
*** 630,644 ****
  List *
  deconstruct_jointree(PlannerInfo *root)
  {
      Relids        qualscope;
      Relids        inner_join_rels;

      /* Start recursion at top of jointree */
      Assert(root->parse->jointree != NULL &&
             IsA(root->parse->jointree, FromExpr));

!     return deconstruct_recurse(root, (Node *) root->parse->jointree, false,
!                                &qualscope, &inner_join_rels);
  }

  /*
--- 640,662 ----
  List *
  deconstruct_jointree(PlannerInfo *root)
  {
+     List       *result;
      Relids        qualscope;
      Relids        inner_join_rels;
+     List       *postponed_qual_list = NIL;

      /* Start recursion at top of jointree */
      Assert(root->parse->jointree != NULL &&
             IsA(root->parse->jointree, FromExpr));

!     result = deconstruct_recurse(root, (Node *) root->parse->jointree, false,
!                                  &qualscope, &inner_join_rels,
!                                  &postponed_qual_list);
!
!     /* Shouldn't be any leftover quals */
!     Assert(postponed_qual_list == NIL);
!
!     return result;
  }

  /*
*************** deconstruct_jointree(PlannerInfo *root)
*** 656,668 ****
   *    *inner_join_rels gets the set of base Relids syntactically included in
   *        inner joins appearing at or below this jointree node (do not modify
   *        or free this, either)
   *    Return value is the appropriate joinlist for this jointree node
   *
   * In addition, entries will be added to root->join_info_list for outer joins.
   */
  static List *
  deconstruct_recurse(PlannerInfo *root, Node *jtnode, bool below_outer_join,
!                     Relids *qualscope, Relids *inner_join_rels)
  {
      List       *joinlist;

--- 674,689 ----
   *    *inner_join_rels gets the set of base Relids syntactically included in
   *        inner joins appearing at or below this jointree node (do not modify
   *        or free this, either)
+  *    *postponed_qual_list: list of PostponedQual structs, which we can add
+  *        quals to if they turn out to belong to a higher join level
   *    Return value is the appropriate joinlist for this jointree node
   *
   * In addition, entries will be added to root->join_info_list for outer joins.
   */
  static List *
  deconstruct_recurse(PlannerInfo *root, Node *jtnode, bool below_outer_join,
!                     Relids *qualscope, Relids *inner_join_rels,
!                     List **postponed_qual_list)
  {
      List       *joinlist;

*************** deconstruct_recurse(PlannerInfo *root, N
*** 685,690 ****
--- 706,712 ----
      else if (IsA(jtnode, FromExpr))
      {
          FromExpr   *f = (FromExpr *) jtnode;
+         List       *child_postponed_quals = NIL;
          int            remaining;
          ListCell   *l;

*************** deconstruct_recurse(PlannerInfo *root, N
*** 707,713 ****
              sub_joinlist = deconstruct_recurse(root, lfirst(l),
                                                 below_outer_join,
                                                 &sub_qualscope,
!                                                inner_join_rels);
              *qualscope = bms_add_members(*qualscope, sub_qualscope);
              sub_members = list_length(sub_joinlist);
              remaining--;
--- 729,736 ----
              sub_joinlist = deconstruct_recurse(root, lfirst(l),
                                                 below_outer_join,
                                                 &sub_qualscope,
!                                                inner_join_rels,
!                                                &child_postponed_quals);
              *qualscope = bms_add_members(*qualscope, sub_qualscope);
              sub_members = list_length(sub_joinlist);
              remaining--;
*************** deconstruct_recurse(PlannerInfo *root, N
*** 729,734 ****
--- 752,774 ----
              *inner_join_rels = *qualscope;

          /*
+          * Try to process any quals postponed by children.    If they need
+          * further postponement, add them to my output postponed_qual_list.
+          */
+         foreach(l, child_postponed_quals)
+         {
+             PostponedQual *pq = (PostponedQual *) lfirst(l);
+
+             if (bms_is_subset(pq->relids, *qualscope))
+                 distribute_qual_to_rels(root, pq->qual,
+                                         false, below_outer_join, JOIN_INNER,
+                                         *qualscope, NULL, NULL, NULL,
+                                         NULL);
+             else
+                 *postponed_qual_list = lappend(*postponed_qual_list, pq);
+         }
+
+         /*
           * Now process the top-level quals.
           */
          foreach(l, (List *) f->quals)
*************** deconstruct_recurse(PlannerInfo *root, N
*** 737,748 ****

              distribute_qual_to_rels(root, qual,
                                      false, below_outer_join, JOIN_INNER,
!                                     *qualscope, NULL, NULL, NULL);
          }
      }
      else if (IsA(jtnode, JoinExpr))
      {
          JoinExpr   *j = (JoinExpr *) jtnode;
          Relids        leftids,
                      rightids,
                      left_inners,
--- 777,790 ----

              distribute_qual_to_rels(root, qual,
                                      false, below_outer_join, JOIN_INNER,
!                                     *qualscope, NULL, NULL, NULL,
!                                     postponed_qual_list);
          }
      }
      else if (IsA(jtnode, JoinExpr))
      {
          JoinExpr   *j = (JoinExpr *) jtnode;
+         List       *child_postponed_quals = NIL;
          Relids        leftids,
                      rightids,
                      left_inners,
*************** deconstruct_recurse(PlannerInfo *root, N
*** 771,780 ****
              case JOIN_INNER:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     below_outer_join,
!                                                    &leftids, &left_inners);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      below_outer_join,
!                                                     &rightids, &right_inners);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = *qualscope;
                  /* Inner join adds no restrictions for quals */
--- 813,824 ----
              case JOIN_INNER:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     below_outer_join,
!                                                    &leftids, &left_inners,
!                                                    &child_postponed_quals);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      below_outer_join,
!                                                     &rightids, &right_inners,
!                                                     &child_postponed_quals);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = *qualscope;
                  /* Inner join adds no restrictions for quals */
*************** deconstruct_recurse(PlannerInfo *root, N
*** 784,793 ****
              case JOIN_ANTI:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     below_outer_join,
!                                                    &leftids, &left_inners);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      true,
!                                                     &rightids, &right_inners);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = bms_union(left_inners, right_inners);
                  nonnullable_rels = leftids;
--- 828,839 ----
              case JOIN_ANTI:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     below_outer_join,
!                                                    &leftids, &left_inners,
!                                                    &child_postponed_quals);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      true,
!                                                     &rightids, &right_inners,
!                                                     &child_postponed_quals);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = bms_union(left_inners, right_inners);
                  nonnullable_rels = leftids;
*************** deconstruct_recurse(PlannerInfo *root, N
*** 795,804 ****
              case JOIN_SEMI:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     below_outer_join,
!                                                    &leftids, &left_inners);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      below_outer_join,
!                                                     &rightids, &right_inners);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = bms_union(left_inners, right_inners);
                  /* Semi join adds no restrictions for quals */
--- 841,852 ----
              case JOIN_SEMI:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     below_outer_join,
!                                                    &leftids, &left_inners,
!                                                    &child_postponed_quals);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      below_outer_join,
!                                                     &rightids, &right_inners,
!                                                     &child_postponed_quals);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = bms_union(left_inners, right_inners);
                  /* Semi join adds no restrictions for quals */
*************** deconstruct_recurse(PlannerInfo *root, N
*** 807,816 ****
              case JOIN_FULL:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     true,
!                                                    &leftids, &left_inners);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      true,
!                                                     &rightids, &right_inners);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = bms_union(left_inners, right_inners);
                  /* each side is both outer and inner */
--- 855,866 ----
              case JOIN_FULL:
                  leftjoinlist = deconstruct_recurse(root, j->larg,
                                                     true,
!                                                    &leftids, &left_inners,
!                                                    &child_postponed_quals);
                  rightjoinlist = deconstruct_recurse(root, j->rarg,
                                                      true,
!                                                     &rightids, &right_inners,
!                                                     &child_postponed_quals);
                  *qualscope = bms_union(leftids, rightids);
                  *inner_join_rels = bms_union(left_inners, right_inners);
                  /* each side is both outer and inner */
*************** deconstruct_recurse(PlannerInfo *root, N
*** 853,859 ****
              ojscope = NULL;
          }

!         /* Process the qual clauses */
          foreach(l, (List *) j->quals)
          {
              Node       *qual = (Node *) lfirst(l);
--- 903,934 ----
              ojscope = NULL;
          }

!         /*
!          * Try to process any quals postponed by children.    If they need
!          * further postponement, add them to my output postponed_qual_list.
!          */
!         foreach(l, child_postponed_quals)
!         {
!             PostponedQual *pq = (PostponedQual *) lfirst(l);
!
!             if (bms_is_subset(pq->relids, *qualscope))
!                 distribute_qual_to_rels(root, pq->qual,
!                                         false, below_outer_join, j->jointype,
!                                         *qualscope,
!                                         ojscope, nonnullable_rels, NULL,
!                                         NULL);
!             else
!             {
!                 /*
!                  * We should not be postponing any quals past an outer join.
!                  * If this Assert fires, pull_up_subqueries() messed up.
!                  */
!                 Assert(j->jointype == JOIN_INNER);
!                 *postponed_qual_list = lappend(*postponed_qual_list, pq);
!             }
!         }
!
!         /* Process the JOIN's qual clauses */
          foreach(l, (List *) j->quals)
          {
              Node       *qual = (Node *) lfirst(l);
*************** deconstruct_recurse(PlannerInfo *root, N
*** 861,867 ****
              distribute_qual_to_rels(root, qual,
                                      false, below_outer_join, j->jointype,
                                      *qualscope,
!                                     ojscope, nonnullable_rels, NULL);
          }

          /* Now we can add the SpecialJoinInfo to join_info_list */
--- 936,943 ----
              distribute_qual_to_rels(root, qual,
                                      false, below_outer_join, j->jointype,
                                      *qualscope,
!                                     ojscope, nonnullable_rels, NULL,
!                                     postponed_qual_list);
          }

          /* Now we can add the SpecialJoinInfo to join_info_list */
*************** make_outerjoininfo(PlannerInfo *root,
*** 1154,1160 ****
   *      the appropriate list for each rel.  Alternatively, if the clause uses a
   *      mergejoinable operator and is not delayed by outer-join rules, enter
   *      the left- and right-side expressions into the query's list of
!  *      EquivalenceClasses.
   *
   * 'clause': the qual clause to be distributed
   * 'is_deduced': TRUE if the qual came from implied-equality deduction
--- 1230,1237 ----
   *      the appropriate list for each rel.  Alternatively, if the clause uses a
   *      mergejoinable operator and is not delayed by outer-join rules, enter
   *      the left- and right-side expressions into the query's list of
!  *      EquivalenceClasses.  Alternatively, if the clause needs to be treated
!  *      as belonging to a higher join level, just add it to postponed_qual_list.
   *
   * 'clause': the qual clause to be distributed
   * 'is_deduced': TRUE if the qual came from implied-equality deduction
*************** make_outerjoininfo(PlannerInfo *root,
*** 1170,1175 ****
--- 1247,1254 ----
   *        equal qualscope)
   * 'deduced_nullable_relids': if is_deduced is TRUE, the nullable relids to
   *        impute to the clause; otherwise NULL
+  * 'postponed_qual_list': list of PostponedQual structs, which we can add
+  *        this qual to if it turns out to belong to a higher join level
   *
   * 'qualscope' identifies what level of JOIN the qual came from syntactically.
   * 'ojscope' is needed if we decide to force the qual up to the outer-join
*************** distribute_qual_to_rels(PlannerInfo *roo
*** 1190,1196 ****
                          Relids qualscope,
                          Relids ojscope,
                          Relids outerjoin_nonnullable,
!                         Relids deduced_nullable_relids)
  {
      Relids        relids;
      bool        is_pushed_down;
--- 1269,1276 ----
                          Relids qualscope,
                          Relids ojscope,
                          Relids outerjoin_nonnullable,
!                         Relids deduced_nullable_relids,
!                         List **postponed_qual_list)
  {
      Relids        relids;
      bool        is_pushed_down;
*************** distribute_qual_to_rels(PlannerInfo *roo
*** 1207,1226 ****
      relids = pull_varnos(clause);

      /*
!      * Normally relids is a subset of qualscope, and we like to check that
!      * here as a crosscheck on the parser and rewriter.  That need not be the
!      * case when there are LATERAL RTEs, however: the clause could contain
!      * references to rels outside its syntactic scope as a consequence of
!      * pull-up of such references from a LATERAL subquery below it.  So, only
!      * check if the query contains no LATERAL RTEs.
!      *
!      * However, if it's an outer-join clause, we always insist that relids be
!      * a subset of ojscope.  This is safe because is_simple_subquery()
!      * disallows pullup of LATERAL subqueries that could cause the restriction
!      * to be violated.
       */
-     if (!root->hasLateralRTEs && !bms_is_subset(relids, qualscope))
-         elog(ERROR, "JOIN qualification cannot refer to other relations");
      if (ojscope && !bms_is_subset(relids, ojscope))
          elog(ERROR, "JOIN qualification cannot refer to other relations");

--- 1287,1322 ----
      relids = pull_varnos(clause);

      /*
!      * In ordinary SQL, a WHERE or JOIN/ON clause can't reference any rels
!      * that aren't within its syntactic scope; however, if we pulled up a
!      * LATERAL subquery then we might find such references in quals that have
!      * been pulled up.    We need to treat such quals as belonging to the join
!      * level that includes every rel they reference.  Although we could make
!      * pull_up_subqueries() place such quals correctly to begin with, it's
!      * easier to handle it here.  When we find a clause that contains Vars
!      * outside its syntactic scope, we add it to the postponed_clauses list,
!      * and process it once we've recursed back up to the appropriate join
!      * level.
!      */
!     if (!bms_is_subset(relids, qualscope))
!     {
!         PostponedQual *pq = (PostponedQual *) palloc(sizeof(PostponedQual));
!
!         Assert(root->hasLateralRTEs);    /* shouldn't happen otherwise */
!         Assert(jointype == JOIN_INNER); /* mustn't postpone past outer join */
!         Assert(!is_deduced);    /* shouldn't be deduced, either */
!         pq->qual = clause;
!         pq->relids = relids;
!         *postponed_qual_list = lappend(*postponed_qual_list, pq);
!         return;
!     }
!
!     /*
!      * In any case, if it's an outer-join clause, we insist that relids be a
!      * subset of ojscope.  (It's pull_up_subqueries()'s responsibility to not
!      * pull up a LATERAL subquery if that would cause this to fail; the
!      * semantics that would result from such a situation are unclear.)
       */
      if (ojscope && !bms_is_subset(relids, ojscope))
          elog(ERROR, "JOIN qualification cannot refer to other relations");

*************** process_implied_equality(PlannerInfo *ro
*** 1874,1880 ****
       */
      distribute_qual_to_rels(root, (Node *) clause,
                              true, below_outer_join, JOIN_INNER,
!                             qualscope, NULL, NULL, nullable_relids);
  }

  /*
--- 1970,1977 ----
       */
      distribute_qual_to_rels(root, (Node *) clause,
                              true, below_outer_join, JOIN_INNER,
!                             qualscope, NULL, NULL, nullable_relids,
!                             NULL);
  }

  /*
diff --git a/src/backend/optimizer/prep/prepjointree.c b/src/backend/optimizer/prep/prepjointree.c
index 875baef..bb6d983 100644
*** a/src/backend/optimizer/prep/prepjointree.c
--- b/src/backend/optimizer/prep/prepjointree.c
*************** static bool is_simple_union_all(Query *s
*** 84,89 ****
--- 84,91 ----
  static bool is_simple_union_all_recurse(Node *setOp, Query *setOpQuery,
                              List *colTypes);
  static bool is_safe_append_member(Query *subquery);
+ static bool jointree_contains_lateral_outer_refs(Node *jtnode, bool restricted,
+                                      Relids safe_upper_varnos);
  static void replace_vars_in_jointree(Node *jtnode,
                           pullup_replace_vars_context *context,
                           JoinExpr *lowest_nulling_outer_join);
*************** is_simple_subquery(Query *subquery, Rang
*** 1303,1322 ****
          return false;

      /*
!      * If the subquery is LATERAL, and we're below any outer join, and the
!      * subquery contains lateral references to rels outside the outer join,
!      * don't pull up.  Doing so would risk creating outer-join quals that
!      * contain references to rels outside the outer join, which is a semantic
!      * mess that doesn't seem worth addressing at the moment.
       */
!     if (rte->lateral && lowest_outer_join != NULL)
      {
!         Relids        lvarnos = pull_varnos_of_level((Node *) subquery, 1);
!         Relids        jvarnos = get_relids_in_jointree((Node *) lowest_outer_join,
!                                                      true);

!         if (!bms_is_subset(lvarnos, jvarnos))
              return false;
      }

      /*
--- 1305,1351 ----
          return false;

      /*
!      * If the subquery is LATERAL, check to see if its WHERE or JOIN/ON quals
!      * contain any lateral references to rels outside an upper outer join
!      * (including the case where the outer join is within the subquery
!      * itself).  If so, don't pull up.  Doing so would result in a situation
!      * where we need to postpone quals from below an outer join to above it,
!      * which is probably completely wrong and in any case is a complication
!      * that doesn't seem worth addressing at the moment.
       */
!     if (rte->lateral)
      {
!         bool        restricted;
!         Relids        safe_upper_varnos;

!         if (lowest_outer_join != NULL)
!         {
!             restricted = true;
!             safe_upper_varnos = get_relids_in_jointree((Node *) lowest_outer_join,
!                                                        true);
!         }
!         else
!         {
!             restricted = false;
!             safe_upper_varnos = NULL;    /* doesn't matter */
!         }
!
!         if (jointree_contains_lateral_outer_refs((Node *) subquery->jointree,
!                                               restricted, safe_upper_varnos))
              return false;
+
+         /*
+          * If there's an upper outer join, also disallow any targetlist
+          * references outside it, since these might get pulled into quals
+          * above this subquery.
+          */
+         if (lowest_outer_join != NULL)
+         {
+             Relids        lvarnos = pull_varnos_of_level((Node *) subquery->targetList, 1);
+
+             if (!bms_is_subset(lvarnos, safe_upper_varnos))
+                 return false;
+         }
      }

      /*
*************** is_simple_subquery(Query *subquery, Rang
*** 1344,1355 ****
       * correctly generate a Result plan for a jointree that's totally empty,
       * but we can't cope with an empty FromExpr appearing lower down in a
       * jointree: we identify join rels via baserelid sets, so we couldn't
!      * distinguish a join containing such a FromExpr from one without it.
!      * This would for example break the PlaceHolderVar mechanism, since we'd
!      * have no way to identify where to evaluate a PHV coming out of the
!      * subquery.  Not worth working hard on this, just to collapse
!      * SubqueryScan/Result into Result; especially since the SubqueryScan can
!      * often be optimized away by setrefs.c anyway.
       */
      if (subquery->jointree->fromlist == NIL)
          return false;
--- 1373,1384 ----
       * correctly generate a Result plan for a jointree that's totally empty,
       * but we can't cope with an empty FromExpr appearing lower down in a
       * jointree: we identify join rels via baserelid sets, so we couldn't
!      * distinguish a join containing such a FromExpr from one without it. This
!      * would for example break the PlaceHolderVar mechanism, since we'd have
!      * no way to identify where to evaluate a PHV coming out of the subquery.
!      * Not worth working hard on this, just to collapse SubqueryScan/Result
!      * into Result; especially since the SubqueryScan can often be optimized
!      * away by setrefs.c anyway.
       */
      if (subquery->jointree->fromlist == NIL)
          return false;
*************** is_safe_append_member(Query *subquery)
*** 1467,1472 ****
--- 1496,1575 ----
  }

  /*
+  * jointree_contains_lateral_outer_refs
+  *        Check for disallowed lateral references in a jointree's quals
+  *
+  * If restricted is false, all level-1 Vars are allowed (but we still must
+  * search the jointree, since it might contain outer joins below which there
+  * will be restrictions).  If restricted is true, return TRUE when any qual
+  * in the jointree contains level-1 Vars coming from outside the rels listed
+  * in safe_upper_varnos.
+  */
+ static bool
+ jointree_contains_lateral_outer_refs(Node *jtnode, bool restricted,
+                                      Relids safe_upper_varnos)
+ {
+     if (jtnode == NULL)
+         return false;
+     if (IsA(jtnode, RangeTblRef))
+         return false;
+     else if (IsA(jtnode, FromExpr))
+     {
+         FromExpr   *f = (FromExpr *) jtnode;
+         ListCell   *l;
+
+         /* First, recurse to check child joins */
+         foreach(l, f->fromlist)
+         {
+             if (jointree_contains_lateral_outer_refs(lfirst(l),
+                                                      restricted,
+                                                      safe_upper_varnos))
+                 return true;
+         }
+
+         /* Then check the top-level quals */
+         if (restricted &&
+             !bms_is_subset(pull_varnos_of_level(f->quals, 1),
+                            safe_upper_varnos))
+             return true;
+     }
+     else if (IsA(jtnode, JoinExpr))
+     {
+         JoinExpr   *j = (JoinExpr *) jtnode;
+
+         /*
+          * If this is an outer join, we mustn't allow any upper lateral
+          * references in or below it.
+          */
+         if (j->jointype != JOIN_INNER)
+         {
+             restricted = true;
+             safe_upper_varnos = NULL;
+         }
+
+         /* Check the child joins */
+         if (jointree_contains_lateral_outer_refs(j->larg,
+                                                  restricted,
+                                                  safe_upper_varnos))
+             return true;
+         if (jointree_contains_lateral_outer_refs(j->rarg,
+                                                  restricted,
+                                                  safe_upper_varnos))
+             return true;
+
+         /* Check the JOIN's qual clauses */
+         if (restricted &&
+             !bms_is_subset(pull_varnos_of_level(j->quals, 1),
+                            safe_upper_varnos))
+             return true;
+     }
+     else
+         elog(ERROR, "unrecognized node type: %d",
+              (int) nodeTag(jtnode));
+     return false;
+ }
+
+ /*
   * Helper routine for pull_up_subqueries: do pullup_replace_vars on every
   * expression in the jointree, without changing the jointree structure itself.
   * Ugly, but there's no other way...
diff --git a/src/test/regress/expected/join.out b/src/test/regress/expected/join.out
index fc3e168..98aacd3 100644
*** a/src/test/regress/expected/join.out
--- b/src/test/regress/expected/join.out
*************** explain (costs off)
*** 3161,3167 ****
   Nested Loop Left Join
     ->  Seq Scan on int4_tbl x
     ->  Index Scan using tenk1_unique1 on tenk1
!          Index Cond: (unique1 = x.f1)
  (4 rows)

  -- check scoping of lateral versus parent references
--- 3161,3167 ----
   Nested Loop Left Join
     ->  Seq Scan on int4_tbl x
     ->  Index Scan using tenk1_unique1 on tenk1
!          Index Cond: (x.f1 = unique1)
  (4 rows)

  -- check scoping of lateral versus parent references
*************** select * from int4_tbl i left join
*** 3648,3659 ****
    lateral (select * from int2_tbl j where i.f1 = j.f1) k on true;
                  QUERY PLAN
  -------------------------------------------
!  Nested Loop Left Join
     Output: i.f1, j.f1
!    Filter: (i.f1 = j.f1)
     ->  Seq Scan on public.int4_tbl i
           Output: i.f1
!    ->  Materialize
           Output: j.f1
           ->  Seq Scan on public.int2_tbl j
                 Output: j.f1
--- 3648,3659 ----
    lateral (select * from int2_tbl j where i.f1 = j.f1) k on true;
                  QUERY PLAN
  -------------------------------------------
!  Hash Left Join
     Output: i.f1, j.f1
!    Hash Cond: (i.f1 = j.f1)
     ->  Seq Scan on public.int4_tbl i
           Output: i.f1
!    ->  Hash
           Output: j.f1
           ->  Seq Scan on public.int2_tbl j
                 Output: j.f1
*************** select * from int4_tbl i left join
*** 3661,3670 ****

  select * from int4_tbl i left join
    lateral (select * from int2_tbl j where i.f1 = j.f1) k on true;
!  f1 | f1
! ----+----
!   0 |  0
! (1 row)

  explain (verbose, costs off)
  select * from int4_tbl i left join
--- 3661,3674 ----

  select * from int4_tbl i left join
    lateral (select * from int2_tbl j where i.f1 = j.f1) k on true;
!      f1      | f1
! -------------+----
!            0 |  0
!       123456 |
!      -123456 |
!   2147483647 |
!  -2147483647 |
! (5 rows)

  explain (verbose, costs off)
  select * from int4_tbl i left join
*************** select * from int4_tbl i left join
*** 3691,3696 ****
--- 3695,3723 ----
   -2147483647 |
  (5 rows)

+ explain (verbose, costs off)
+ select * from int4_tbl a,
+   lateral (
+     select * from int4_tbl b left join int8_tbl c on (b.f1 = q1 and a.f1 = q2)
+   ) ss;
+                    QUERY PLAN
+ -------------------------------------------------
+  Nested Loop
+    Output: a.f1, b.f1, c.q1, c.q2
+    ->  Seq Scan on public.int4_tbl a
+          Output: a.f1
+    ->  Hash Left Join
+          Output: b.f1, c.q1, c.q2
+          Hash Cond: (b.f1 = c.q1)
+          ->  Seq Scan on public.int4_tbl b
+                Output: b.f1
+          ->  Hash
+                Output: c.q1, c.q2
+                ->  Seq Scan on public.int8_tbl c
+                      Output: c.q1, c.q2
+                      Filter: (a.f1 = c.q2)
+ (14 rows)
+
  -- lateral reference in a PlaceHolderVar evaluated at join level
  explain (verbose, costs off)
  select * from
diff --git a/src/test/regress/sql/join.sql b/src/test/regress/sql/join.sql
index 36853dd..c0ed8b0 100644
*** a/src/test/regress/sql/join.sql
--- b/src/test/regress/sql/join.sql
*************** select * from int4_tbl i left join
*** 1022,1027 ****
--- 1022,1032 ----
    lateral (select coalesce(i) from int2_tbl j where i.f1 = j.f1) k on true;
  select * from int4_tbl i left join
    lateral (select coalesce(i) from int2_tbl j where i.f1 = j.f1) k on true;
+ explain (verbose, costs off)
+ select * from int4_tbl a,
+   lateral (
+     select * from int4_tbl b left join int8_tbl c on (b.f1 = q1 and a.f1 = q2)
+   ) ss;

  -- lateral reference in a PlaceHolderVar evaluated at join level
  explain (verbose, costs off)