mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-15 02:46:59 +08:00
ae4569161a
When optimizer generates bitmap paths, it considers breaking OR-clause arguments one-by-one. But now, a group of similar OR-clauses can be transformed into SAOP during index matching. So, bitmap paths should keep up. This commit teaches bitmap paths generation machinery to group similar OR-clauses into dedicated RestrictInfos. Those RestrictInfos are considered both to match index as a whole (as SAOP), or to match as a set of individual OR-clause argument one-by-one (the old way). Therefore, bitmap path generation will takes advantage of OR-clauses to SAOP's transformation. The old way of handling them is also considered. So, there shouldn't be planning regression. Discussion: https://postgr.es/m/CAPpHfdu5iQOjF93vGbjidsQkhHvY2NSm29duENYH_cbhC6x%2BMg%40mail.gmail.com Author: Alexander Korotkov, Andrey Lepikhov Reviewed-by: Alena Rybakina, Andrei Lepikhov, Jian he, Robert Haas Reviewed-by: Peter Geoghegan
94 lines
3.2 KiB
C
94 lines
3.2 KiB
C
/*-------------------------------------------------------------------------
|
|
*
|
|
* restrictinfo.h
|
|
* prototypes for restrictinfo.c.
|
|
*
|
|
*
|
|
* Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
|
|
* Portions Copyright (c) 1994, Regents of the University of California
|
|
*
|
|
* src/include/optimizer/restrictinfo.h
|
|
*
|
|
*-------------------------------------------------------------------------
|
|
*/
|
|
#ifndef RESTRICTINFO_H
|
|
#define RESTRICTINFO_H
|
|
|
|
#include "nodes/pathnodes.h"
|
|
|
|
|
|
/* Convenience macro for the common case of a valid-everywhere qual */
|
|
#define make_simple_restrictinfo(root, clause) \
|
|
make_restrictinfo(root, clause, true, false, false, false, 0, \
|
|
NULL, NULL, NULL)
|
|
|
|
extern RestrictInfo *make_plain_restrictinfo(PlannerInfo *root,
|
|
Expr *clause,
|
|
Expr *orclause,
|
|
bool is_pushed_down,
|
|
bool has_clone,
|
|
bool is_clone,
|
|
bool pseudoconstant,
|
|
Index security_level,
|
|
Relids required_relids,
|
|
Relids incompatible_relids,
|
|
Relids outer_relids);
|
|
extern RestrictInfo *make_restrictinfo(PlannerInfo *root,
|
|
Expr *clause,
|
|
bool is_pushed_down,
|
|
bool has_clone,
|
|
bool is_clone,
|
|
bool pseudoconstant,
|
|
Index security_level,
|
|
Relids required_relids,
|
|
Relids incompatible_relids,
|
|
Relids outer_relids);
|
|
extern RestrictInfo *commute_restrictinfo(RestrictInfo *rinfo, Oid comm_op);
|
|
extern bool restriction_is_or_clause(RestrictInfo *restrictinfo);
|
|
extern bool restriction_is_securely_promotable(RestrictInfo *restrictinfo,
|
|
RelOptInfo *rel);
|
|
extern List *get_actual_clauses(List *restrictinfo_list);
|
|
extern List *extract_actual_clauses(List *restrictinfo_list,
|
|
bool pseudoconstant);
|
|
extern void extract_actual_join_clauses(List *restrictinfo_list,
|
|
Relids joinrelids,
|
|
List **joinquals,
|
|
List **otherquals);
|
|
extern bool join_clause_is_movable_to(RestrictInfo *rinfo, RelOptInfo *baserel);
|
|
extern bool join_clause_is_movable_into(RestrictInfo *rinfo,
|
|
Relids currentrelids,
|
|
Relids current_and_outer);
|
|
|
|
/*
|
|
* clause_sides_match_join
|
|
* Determine whether a join clause is of the right form to use in this join.
|
|
*
|
|
* We already know that the clause is a binary opclause referencing only the
|
|
* rels in the current join. The point here is to check whether it has the
|
|
* form "outerrel_expr op innerrel_expr" or "innerrel_expr op outerrel_expr",
|
|
* rather than mixing outer and inner vars on either side. If it matches,
|
|
* we set the transient flag outer_is_left to identify which side is which.
|
|
*/
|
|
static inline bool
|
|
clause_sides_match_join(RestrictInfo *rinfo, Relids outerrelids,
|
|
Relids innerrelids)
|
|
{
|
|
if (bms_is_subset(rinfo->left_relids, outerrelids) &&
|
|
bms_is_subset(rinfo->right_relids, innerrelids))
|
|
{
|
|
/* lefthand side is outer */
|
|
rinfo->outer_is_left = true;
|
|
return true;
|
|
}
|
|
else if (bms_is_subset(rinfo->left_relids, innerrelids) &&
|
|
bms_is_subset(rinfo->right_relids, outerrelids))
|
|
{
|
|
/* righthand side is outer */
|
|
rinfo->outer_is_left = false;
|
|
return true;
|
|
}
|
|
return false; /* no good for these input relations */
|
|
}
|
|
|
|
#endif /* RESTRICTINFO_H */
|