mirror of
https://github.com/postgres/postgres.git
synced 2026-07-12 11:05:31 -04:00
383eb21ebf
The planner has historically been unable to convert "x NOT IN (SELECT y ...)" sublinks into anti-joins. This is because standard SQL semantics for NOT IN require that if the comparison "x = y" returns NULL, the "NOT IN" expression evaluates to NULL (effectively false), causing the row to be discarded. In contrast, an anti-join preserves the row if no match is found. Due to this semantic mismatch regarding NULL handling, the conversion was previously considered unsafe. However, if we can prove that neither side of the comparison can yield NULL values, and further that the operator itself cannot return NULL for non-null inputs, the behavior of NOT IN and anti-join becomes identical. Enabling this conversion allows the planner to treat the sublink as a first-class relation rather than an opaque SubPlan filter. This unlocks global join ordering optimization and permits the selection of the most efficient join algorithm based on cost, often yielding significant performance improvements for large datasets. This patch verifies that neither side of the comparison can be NULL and that the operator is safe regarding NULL results before performing the conversion. To verify operator safety, we require that the operator be a member of a B-tree or Hash operator family. This serves as a proxy for standard boolean behavior, ensuring the operator does not return NULL on valid non-null inputs, as doing so would break index integrity. For operand non-nullability, this patch makes use of several existing mechanisms. It leverages the outer-join-aware-Var infrastructure to verify that a Var does not come from the nullable side of an outer join, and consults the NOT-NULL-attnums hash table to efficiently verify schema-level NOT NULL constraints. Additionally, it employs find_nonnullable_vars to identify Vars forced non-nullable by qual clauses, and expr_is_nonnullable to deduce non-nullability for other expression types. The logic for verifying the non-nullability of the subquery outputs was adapted from prior work by David Rowley and Tom Lane. Author: Richard Guo <guofenglinux@gmail.com> Reviewed-by: wenhui qiu <qiuwenhuifx@gmail.com> Reviewed-by: Zhang Mingli <zmlpostgres@gmail.com> Reviewed-by: Japin Li <japinli@hotmail.com> Discussion: https://postgr.es/m/CAMbWs495eF=-fSa5CwJS6B-BaEi3ARp0UNb4Lt3EkgUGZJwkAQ@mail.gmail.com
47 lines
1.8 KiB
C
47 lines
1.8 KiB
C
/*-------------------------------------------------------------------------
|
|
*
|
|
* subselect.h
|
|
* Planning routines for subselects.
|
|
*
|
|
* Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
|
|
* Portions Copyright (c) 1994, Regents of the University of California
|
|
*
|
|
* src/include/optimizer/subselect.h
|
|
*
|
|
*-------------------------------------------------------------------------
|
|
*/
|
|
#ifndef SUBSELECT_H
|
|
#define SUBSELECT_H
|
|
|
|
#include "nodes/pathnodes.h"
|
|
#include "nodes/plannodes.h"
|
|
|
|
extern void SS_process_ctes(PlannerInfo *root);
|
|
extern ScalarArrayOpExpr *convert_VALUES_to_ANY(PlannerInfo *root,
|
|
Node *testexpr,
|
|
Query *values);
|
|
extern JoinExpr *convert_ANY_sublink_to_join(PlannerInfo *root,
|
|
SubLink *sublink,
|
|
bool under_not,
|
|
Relids available_rels);
|
|
extern JoinExpr *convert_EXISTS_sublink_to_join(PlannerInfo *root,
|
|
SubLink *sublink,
|
|
bool under_not,
|
|
Relids available_rels);
|
|
extern Node *SS_replace_correlation_vars(PlannerInfo *root, Node *expr);
|
|
extern Node *SS_process_sublinks(PlannerInfo *root, Node *expr, bool isQual);
|
|
extern void SS_identify_outer_params(PlannerInfo *root);
|
|
extern void SS_charge_for_initplans(PlannerInfo *root, RelOptInfo *final_rel);
|
|
extern void SS_compute_initplan_cost(List *init_plans,
|
|
Cost *initplan_cost_p,
|
|
bool *unsafe_initplans_p);
|
|
extern void SS_attach_initplans(PlannerInfo *root, Plan *plan);
|
|
extern void SS_finalize_plan(PlannerInfo *root, Plan *plan);
|
|
extern Param *SS_make_initplan_output_param(PlannerInfo *root,
|
|
Oid resulttype, int32 resulttypmod,
|
|
Oid resultcollation);
|
|
extern void SS_make_initplan_from_plan(PlannerInfo *root,
|
|
PlannerInfo *subroot, Plan *plan,
|
|
Param *prm);
|
|
|
|
#endif /* SUBSELECT_H */
|