Reduce semijoins with unique inner relations to plain inner joins. If the inner relation can be proven unique, that is it can have no more than one matching row for any row of the outer query, then we might as well implement the semijoin as a plain inner join, allowing substantially more freedom to the planner. This is a form of outer join strength reduction, but it can't be implemented in reduce_outer_joins() because we don't have enough info about the individual relations at that stage. Instead do it much like remove_useless_joins(): once we've built base relations, we can make another pass over the SpecialJoinInfo list and get rid of any entries representing reducible semijoins.
This is essentially a followon to the inner-unique patch (commit 9c7f5229a) and makes use of the proof machinery that that patch created. We need only minor refactoring of innerrel_is_unique's API to support this usage. Per performance complaint from Teodor Sigaev. Discussion: https://postgr.es/m/f994fc98-389f-4a46-d1bc-c42e05cb4...@sigaev.ru Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/92a43e4857d9682b93c9f755f453cc8fd7c66c81 Modified Files -------------- src/backend/optimizer/path/joinpath.c | 32 ++++--- src/backend/optimizer/plan/analyzejoins.c | 121 +++++++++++++++++++++++--- src/backend/optimizer/plan/planmain.c | 6 ++ src/include/optimizer/planmain.h | 5 +- src/test/regress/expected/join.out | 28 ++++++ src/test/regress/expected/updatable_views.out | 2 +- src/test/regress/sql/join.sql | 14 +++ 7 files changed, 181 insertions(+), 27 deletions(-) -- Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers
