mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-20 08:53:22 +02:00
One of the things canonicalize_qual() does is to remove constant-NULL subexpressions of top-level AND/OR clauses. It does that on the assumption that what it's given is a top-level WHERE clause, so that NULL can be treated like FALSE. Although this is documented down inside a subroutine of canonicalize_qual(), it wasn't mentioned in the documentation of that function itself, and some callers hadn't gotten that memo. Notably, commitd007a9505
caused get_relation_constraints() to apply canonicalize_qual() to CHECK constraints. That allowed constraint exclusion to misoptimize situations in which a CHECK constraint had a provably-NULL subclause, as seen in the regression test case added here, in which a child table that should be scanned is not. (Although this thinko is ancient, the test case doesn't fail before 9.2, for reasons I've not bothered to track down in detail. There may be related cases that do fail before that.) More recently, commitf0e44751d
added an independent bug by applying canonicalize_qual() to index expressions, which is even sillier since those might not even be boolean. If they are, though, I think this could lead to making incorrect index entries for affected index expressions in v10. I haven't attempted to prove that though. To fix, add an "is_check" parameter to canonicalize_qual() to specify whether it should assume WHERE or CHECK semantics, and make it perform NULL-elimination accordingly. Adjust the callers to apply the right semantics, or remove the call entirely in cases where it's not known that the expression has one or the other semantics. I also removed the call in some cases involving partition expressions, where it should be a no-op because such expressions should be canonical already ... and was a no-op, independently of whether it could in principle have done something, because it was being handed the qual in implicit-AND format which isn't what it expects. In HEAD, add an Assert to catch that type of mistake in future. This represents an API break for external callers of canonicalize_qual(). While that's intentional in HEAD to make such callers think about which case applies to them, it seems like something we probably wouldn't be thanked for in released branches. Hence, in released branches, the extra parameter is added to a new function canonicalize_qual_ext(), and canonicalize_qual() is a wrapper that retains its old behavior. Patch by me with suggestions from Dean Rasheed. Back-patch to all supported branches. Discussion: https://postgr.es/m/24475.1520635069@sss.pgh.pa.us
69 lines
2.0 KiB
C
69 lines
2.0 KiB
C
/*-------------------------------------------------------------------------
|
|
*
|
|
* prep.h
|
|
* prototypes for files in optimizer/prep/
|
|
*
|
|
*
|
|
* Portions Copyright (c) 1996-2018, PostgreSQL Global Development Group
|
|
* Portions Copyright (c) 1994, Regents of the University of California
|
|
*
|
|
* src/include/optimizer/prep.h
|
|
*
|
|
*-------------------------------------------------------------------------
|
|
*/
|
|
#ifndef PREP_H
|
|
#define PREP_H
|
|
|
|
#include "nodes/plannodes.h"
|
|
#include "nodes/relation.h"
|
|
|
|
|
|
/*
|
|
* prototypes for prepjointree.c
|
|
*/
|
|
extern void pull_up_sublinks(PlannerInfo *root);
|
|
extern void inline_set_returning_functions(PlannerInfo *root);
|
|
extern void pull_up_subqueries(PlannerInfo *root);
|
|
extern void flatten_simple_union_all(PlannerInfo *root);
|
|
extern void reduce_outer_joins(PlannerInfo *root);
|
|
extern Relids get_relids_in_jointree(Node *jtnode, bool include_joins);
|
|
extern Relids get_relids_for_join(PlannerInfo *root, int joinrelid);
|
|
|
|
/*
|
|
* prototypes for prepqual.c
|
|
*/
|
|
extern Node *negate_clause(Node *node);
|
|
extern Expr *canonicalize_qual(Expr *qual, bool is_check);
|
|
|
|
/*
|
|
* prototypes for preptlist.c
|
|
*/
|
|
extern List *preprocess_targetlist(PlannerInfo *root);
|
|
|
|
extern PlanRowMark *get_plan_rowmark(List *rowmarks, Index rtindex);
|
|
|
|
/*
|
|
* prototypes for prepunion.c
|
|
*/
|
|
extern RelOptInfo *plan_set_operations(PlannerInfo *root);
|
|
|
|
extern void expand_inherited_tables(PlannerInfo *root);
|
|
|
|
extern Node *adjust_appendrel_attrs(PlannerInfo *root, Node *node,
|
|
int nappinfos, AppendRelInfo **appinfos);
|
|
|
|
extern Node *adjust_appendrel_attrs_multilevel(PlannerInfo *root, Node *node,
|
|
Relids child_relids,
|
|
Relids top_parent_relids);
|
|
|
|
extern AppendRelInfo **find_appinfos_by_relids(PlannerInfo *root,
|
|
Relids relids, int *nappinfos);
|
|
|
|
extern SpecialJoinInfo *build_child_join_sjinfo(PlannerInfo *root,
|
|
SpecialJoinInfo *parent_sjinfo,
|
|
Relids left_relids, Relids right_relids);
|
|
extern Relids adjust_child_relids_multilevel(PlannerInfo *root, Relids relids,
|
|
Relids child_relids, Relids top_parent_relids);
|
|
|
|
#endif /* PREP_H */
|