Fix an oversight in checking whether a join with LATERAL refs is legal.
Tom Lane <tgl@sss.pgh.pa.us>
Fix an oversight in checking whether a join with LATERAL refs is legal. In many cases, we can implement a semijoin as a plain innerjoin by first passing the righthand-side relation through a unique-ification step. However, one of the cases where this does NOT work is where the RHS has a LATERAL reference to the LHS; that makes the RHS dependent on the LHS so that unique-ification is meaningless. joinpath.c understood this, and so would not generate any join paths of this kind ... but join_is_legal neglected to check for the case, so it would think that we could do it. The upshot would be a "could not devise a query plan for the given query" failure once we had failed to generate any join paths at all for the bogus join pair. Back-patch to 9.3 where LATERAL was added.
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/optimizer/path/joinrels.c | modified | +6 −2 |
| src/test/regress/expected/join.out | modified | +35 −0 |
| src/test/regress/sql/join.sql | modified | +13 −0 |