80#define EXPRKIND_QUAL 0
81#define EXPRKIND_TARGET 1
82#define EXPRKIND_RTFUNC 2
83#define EXPRKIND_RTFUNC_LATERAL 3
84#define EXPRKIND_VALUES 4
85#define EXPRKIND_VALUES_LATERAL 5
86#define EXPRKIND_LIMIT 6
87#define EXPRKIND_APPINFO 7
89#define EXPRKIND_TABLESAMPLE 9
90#define EXPRKIND_ARBITER_ELEM 10
91#define EXPRKIND_TABLEFUNC 11
92#define EXPRKIND_TABLEFUNC_LATERAL 12
93#define EXPRKIND_GROUPEXPR 13
137 int *tleref_to_colnum_map);
140 double tuple_fraction,
153 bool target_parallel_safe,
160 PathTarget *target,
bool target_parallel_safe,
181 bool output_target_parallel_safe,
183 List *activeWindows);
190 List *activeWindows);
202 List *needed_pathkeys,
203 List *path_pathkeys);
207 bool target_parallel_safe,
208 double limit_tuples);
221 List *activeWindows);
226 bool *have_postponed_srfs);
228 List *targets,
List *targets_contain_srfs);
241 bool force_rel_creation);
247 double limit_tuples);
252 List *scanjoin_targets,
253 List *scanjoin_targets_contain_srfs,
254 bool scanjoin_target_parallel_safe,
292 result = (*planner_hook) (
parse, query_string, cursorOptions, boundParams);
307 double tuple_fraction;
323 glob->boundParams = boundParams;
326 glob->subroots =
NIL;
366 !
parse->hasModifyingCTE &&
418 if (tuple_fraction >= 1.0)
419 tuple_fraction = 0.0;
420 else if (tuple_fraction <= 0.0)
421 tuple_fraction = 1
e-10;
426 tuple_fraction = 0.0;
467 bool unsafe_initplans;
505 &initplan_cost, &unsafe_initplans);
510 root->glob->parallelModeNeeded =
true;
512 top_plan = &gather->
plan;
607 if (glob->partition_directory != NULL)
648 bool hasRecursion,
double tuple_fraction,
652 List *newWithCheckOptions;
664 root->parent_root = parent_root;
666 root->outer_params = NULL;
673 root->ec_merging_done =
false;
674 root->last_rinfo_serial = 0;
675 root->all_result_relids =
677 root->leaf_result_relids = NULL;
681 memset(
root->upper_rels, 0,
sizeof(
root->upper_rels));
682 memset(
root->upper_targets, 0,
sizeof(
root->upper_targets));
683 root->processed_groupClause =
NIL;
684 root->processed_distinctClause =
NIL;
687 root->grouping_map = NULL;
689 root->qual_security_level = 0;
690 root->hasPseudoConstantQuals =
false;
691 root->hasAlternativeSubPlans =
false;
692 root->placeholdersFrozen =
false;
693 root->hasRecursion = hasRecursion;
697 root->wt_param_id = -1;
698 root->non_recursive_path = NULL;
699 root->partColsUpdated =
false;
732 if (
parse->hasSubLinks)
763 if (
parse->setOperations)
776 root->hasJoinRTEs =
false;
777 root->hasLateralRTEs =
false;
778 root->group_rtindex = 0;
779 hasOuterJoins =
false;
780 hasResultRTEs =
false;
781 foreach(l,
parse->rtable)
805 root->hasJoinRTEs =
true;
807 hasOuterJoins =
true;
810 hasResultRTEs =
true;
822 root->hasLateralRTEs =
true;
830 if (rte->securityQuals)
831 root->qual_security_level =
Max(
root->qual_security_level,
839 if (
parse->resultRelation)
844 root->leaf_result_relids =
859 root->hasHavingQual = (
parse->havingQual != NULL);
871 newWithCheckOptions =
NIL;
872 foreach(l,
parse->withCheckOptions)
878 if (wco->
qual != NULL)
879 newWithCheckOptions =
lappend(newWithCheckOptions, wco);
881 parse->withCheckOptions = newWithCheckOptions;
892 foreach(l,
parse->windowClause)
908 if (
parse->onConflict)
910 parse->onConflict->arbiterElems = (
List *)
912 (
Node *)
parse->onConflict->arbiterElems,
914 parse->onConflict->arbiterWhere =
916 parse->onConflict->arbiterWhere,
918 parse->onConflict->onConflictSet = (
List *)
920 (
Node *)
parse->onConflict->onConflictSet,
922 parse->onConflict->onConflictWhere =
924 parse->onConflict->onConflictWhere,
929 foreach(l,
parse->mergeActionList)
943 parse->mergeJoinCondition =
951 foreach(l,
parse->rtable)
974 if (rte->lateral &&
root->hasJoinRTEs)
1003 rte->groupexprs = (
List *)
1014 foreach(lcsq, rte->securityQuals)
1033 if (
root->hasJoinRTEs)
1035 foreach(l,
parse->rtable)
1039 rte->joinaliasvars =
NIL;
1052 if (
parse->hasGroupRTE)
1061 if (
parse->hasTargetSRFs)
1113 (
parse->groupClause &&
parse->groupingSets &&
1117 newHaving =
lappend(newHaving, havingclause);
1119 else if (
parse->groupClause)
1129 (
List *) whereclause);
1141 (
List *) whereclause);
1143 newHaving =
lappend(newHaving, havingclause);
1162 if (hasResultRTEs || hasOuterJoins)
1221 if (
root->hasJoinRTEs &&
1257#ifdef OPTIMIZER_DEBUG
1258 printf(
"After canonicalize_qual()\n");
1274 if (
root->parse->hasSubLinks)
1283 if (
root->query_level > 1)
1332 elog(
ERROR,
"unrecognized node type: %d",
1385 int64 offset_est = 0;
1386 int64 count_est = 0;
1387 double limit_tuples = -1.0;
1388 bool have_postponed_srfs =
false;
1390 List *final_targets;
1391 List *final_targets_contain_srfs;
1392 bool final_target_parallel_safe;
1402 &offset_est, &count_est);
1408 if (count_est > 0 && offset_est >= 0)
1409 limit_tuples = (double) count_est + (
double) offset_est;
1413 root->tuple_fraction = tuple_fraction;
1415 if (
parse->setOperations)
1435 root->processed_tlist =
1443 final_target_parallel_safe =
1448 final_targets = final_targets_contain_srfs =
NIL;
1454 if (
parse->rowMarks)
1456 (
errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
1459 errmsg(
"%s is not allowed with UNION/INTERSECT/EXCEPT",
1461 parse->rowMarks)->strength))));
1469 root->processed_tlist);
1475 List *sort_input_targets;
1476 List *sort_input_targets_contain_srfs;
1477 bool sort_input_target_parallel_safe;
1479 List *grouping_targets;
1480 List *grouping_targets_contain_srfs;
1481 bool grouping_target_parallel_safe;
1483 List *scanjoin_targets;
1484 List *scanjoin_targets_contain_srfs;
1485 bool scanjoin_target_parallel_safe;
1486 bool scanjoin_target_same_exprs;
1497 if (
parse->groupingSets)
1501 else if (
parse->groupClause)
1535 if (
parse->hasWindowFuncs)
1555 parse->hasWindowFuncs =
false;
1573 if (
parse->groupClause ||
1574 parse->groupingSets ||
1575 parse->distinctClause ||
1577 parse->hasWindowFuncs ||
1578 parse->hasTargetSRFs ||
1579 root->hasHavingQual)
1580 root->limit_tuples = -1.0;
1582 root->limit_tuples = limit_tuples;
1592 qp_extra.
setop = setops;
1613 final_target_parallel_safe =
1621 if (
parse->sortClause)
1625 &have_postponed_srfs);
1626 sort_input_target_parallel_safe =
1631 sort_input_target = final_target;
1632 sort_input_target_parallel_safe = final_target_parallel_safe;
1645 grouping_target_parallel_safe =
1650 grouping_target = sort_input_target;
1651 grouping_target_parallel_safe = sort_input_target_parallel_safe;
1659 have_grouping = (
parse->groupClause ||
parse->groupingSets ||
1664 scanjoin_target_parallel_safe =
1669 scanjoin_target = grouping_target;
1670 scanjoin_target_parallel_safe = grouping_target_parallel_safe;
1679 if (
parse->hasTargetSRFs)
1684 &final_targets_contain_srfs);
1689 &sort_input_targets,
1690 &sort_input_targets_contain_srfs);
1696 &grouping_targets_contain_srfs);
1702 &scanjoin_targets_contain_srfs);
1709 final_targets = final_targets_contain_srfs =
NIL;
1710 sort_input_targets = sort_input_targets_contain_srfs =
NIL;
1711 grouping_targets = grouping_targets_contain_srfs =
NIL;
1712 scanjoin_targets =
list_make1(scanjoin_target);
1713 scanjoin_targets_contain_srfs =
NIL;
1717 scanjoin_target_same_exprs =
list_length(scanjoin_targets) == 1
1720 scanjoin_targets_contain_srfs,
1721 scanjoin_target_parallel_safe,
1722 scanjoin_target_same_exprs);
1748 grouping_target_parallel_safe,
1751 if (
parse->hasTargetSRFs)
1754 grouping_targets_contain_srfs);
1767 sort_input_target_parallel_safe,
1771 if (
parse->hasTargetSRFs)
1774 sort_input_targets_contain_srfs);
1781 if (
parse->distinctClause)
1796 if (
parse->sortClause)
1801 final_target_parallel_safe,
1802 have_postponed_srfs ? -1.0 :
1805 if (
parse->hasTargetSRFs)
1808 final_targets_contain_srfs);
1834 final_rel->fdwroutine = current_rel->fdwroutine;
1851 if (
parse->rowMarks)
1867 offset_est, count_est);
1877 List *updateColnosLists =
NIL;
1878 List *withCheckOptionLists =
NIL;
1881 List *mergeJoinConditions =
NIL;
1888 parse->resultRelation);
1889 int resultRelation = -1;
1892 rootRelation =
parse->resultRelation;
1896 resultRelation)) >= 0)
1914 List *update_colnos =
root->update_colnos;
1916 if (this_result_rel != top_result_rel)
1920 this_result_rel->
relid,
1921 top_result_rel->
relid);
1922 updateColnosLists =
lappend(updateColnosLists,
1925 if (
parse->withCheckOptions)
1927 List *withCheckOptions =
parse->withCheckOptions;
1929 if (this_result_rel != top_result_rel)
1930 withCheckOptions = (
List *)
1932 (
Node *) withCheckOptions,
1935 withCheckOptionLists =
lappend(withCheckOptionLists,
1938 if (
parse->returningList)
1940 List *returningList =
parse->returningList;
1942 if (this_result_rel != top_result_rel)
1943 returningList = (
List *)
1945 (
Node *) returningList,
1948 returningLists =
lappend(returningLists,
1951 if (
parse->mergeActionList)
1960 foreach(l,
parse->mergeActionList)
1970 leaf_action->targetList = (
List *)
1976 leaf_action->updateColnos =
1979 this_result_rel->
relid,
1980 top_result_rel->
relid);
1981 mergeActionList =
lappend(mergeActionList,
1985 mergeActionLists =
lappend(mergeActionLists,
1990 Node *mergeJoinCondition =
parse->mergeJoinCondition;
1992 if (this_result_rel != top_result_rel)
1993 mergeJoinCondition =
1998 mergeJoinConditions =
lappend(mergeJoinConditions,
1999 mergeJoinCondition);
2003 if (resultRelations ==
NIL)
2019 if (
parse->withCheckOptions)
2021 if (
parse->returningList)
2023 if (
parse->mergeActionList)
2036 if (
parse->withCheckOptions)
2038 if (
parse->returningList)
2040 if (
parse->mergeActionList)
2051 if (
parse->rowMarks)
2054 rowMarks =
root->rowMarks;
2061 parse->resultRelation,
2063 root->partColsUpdated,
2066 withCheckOptionLists,
2071 mergeJoinConditions,
2104 if (final_rel->fdwroutine &&
2105 final_rel->fdwroutine->GetForeignUpperPaths)
2107 current_rel, final_rel,
2113 current_rel, final_rel, &extra);
2144 root->processed_groupClause =
parse->groupClause;
2146 if (
parse->groupClause)
2150 foreach(lc,
parse->groupClause)
2180 foreach(lc,
parse->groupingSets)
2201 (
errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
2202 errmsg(
"could not implement GROUP BY"),
2203 errdetail(
"Some of the datatypes only support hashing, while others only support sorting.")));
2206 sortable_sets =
lappend(sortable_sets, gset);
2217 foreach(lc_set, sets)
2308 int *tleref_to_colnum_map)
2314 foreach(lc, groupClause)
2327 foreach(lc2, gs->
set)
2332 result =
lappend(result, set);
2351 if (
parse->rowMarks)
2360 parse->rowMarks)->strength);
2380 if (
parse->resultRelation)
2387 foreach(l,
parse->rowMarks)
2420 prowmarks =
lappend(prowmarks, newrc);
2427 foreach(l,
parse->rtable)
2445 prowmarks =
lappend(prowmarks, newrc);
2448 root->rowMarks = prowmarks;
2462 else if (rte->relkind == RELKIND_FOREIGN_TABLE)
2498 elog(
ERROR,
"unrecognized LockClauseStrength %d", (
int) strength);
2526 double limit_fraction;
2535 if (
parse->limitCount)
2540 if (((
Const *) est)->constisnull)
2548 if (*count_est <= 0)
2558 if (
parse->limitOffset)
2563 if (((
Const *) est)->constisnull)
2571 if (*offset_est < 0)
2581 if (*count_est != 0)
2588 if (*count_est < 0 || *offset_est < 0)
2591 limit_fraction = 0.10;
2596 limit_fraction = (double) *count_est + (
double) *offset_est;
2606 if (tuple_fraction >= 1.0)
2608 if (limit_fraction >= 1.0)
2611 tuple_fraction =
Min(tuple_fraction, limit_fraction);
2618 else if (tuple_fraction > 0.0)
2620 if (limit_fraction >= 1.0)
2623 tuple_fraction = limit_fraction;
2628 tuple_fraction =
Min(tuple_fraction, limit_fraction);
2634 tuple_fraction = limit_fraction;
2637 else if (*offset_est != 0 && tuple_fraction > 0.0)
2648 if (*offset_est < 0)
2649 limit_fraction = 0.10;
2651 limit_fraction = (double) *offset_est;
2659 if (tuple_fraction >= 1.0)
2661 if (limit_fraction >= 1.0)
2664 tuple_fraction += limit_fraction;
2669 tuple_fraction = limit_fraction;
2674 if (limit_fraction >= 1.0)
2681 tuple_fraction += limit_fraction;
2682 if (tuple_fraction >= 1.0)
2683 tuple_fraction = 0.0;
2688 return tuple_fraction;
2710 node =
parse->limitCount;
2716 if (!((
Const *) node)->constisnull)
2723 node =
parse->limitOffset;
2729 if (!((
Const *) node)->constisnull)
2787 new_groupclause =
lappend(new_groupclause, cl);
2790 return new_groupclause;
2803 foreach(sl,
parse->sortClause)
2807 foreach(gl,
parse->groupClause)
2813 new_groupclause =
lappend(new_groupclause, gc);
2823 if (new_groupclause ==
NIL)
2832 foreach(gl,
parse->groupClause)
2840 new_groupclause =
lappend(new_groupclause, gc);
2845 return new_groupclause;
2880 short *adjacency_buf;
2896 lc1 =
lnext(groupingSets, lc1);
2921 orig_sets =
palloc0((num_sets_raw + 1) *
sizeof(
List *));
2923 adjacency =
palloc0((num_sets_raw + 1) *
sizeof(
short *));
2924 adjacency_buf =
palloc((num_sets_raw + 1) *
sizeof(
short));
2937 foreach(lc2, candidate)
2947 for (k =
j; k <
i; ++k)
2949 if (
bms_equal(set_masks[k], candidate_set))
2964 orig_sets[dup_of] =
lappend(orig_sets[dup_of], candidate);
2973 set_masks[
i] = candidate_set;
2977 for (k =
j - 1; k > 0; --k)
2980 adjacency_buf[++n_adj] = k;
2985 adjacency_buf[0] = n_adj;
2986 adjacency[
i] =
palloc((n_adj + 1) *
sizeof(
short));
2987 memcpy(adjacency[
i], adjacency_buf, (n_adj + 1) *
sizeof(
short));
2990 adjacency[
i] = NULL;
3009 chains =
palloc0((num_sets + 1) *
sizeof(
int));
3011 for (
i = 1;
i <= num_sets; ++
i)
3013 int u =
state->pair_vu[
i];
3014 int v =
state->pair_uv[
i];
3017 chains[
i] = chains[u];
3018 else if (v > 0 && v <
i)
3019 chains[
i] = chains[v];
3021 chains[
i] = ++num_chains;
3025 results =
palloc0((num_chains + 1) *
sizeof(
List *));
3027 for (
i = 1;
i <= num_sets; ++
i)
3037 while (num_empty-- > 0)
3038 results[1] =
lcons(
NIL, results[1]);
3041 for (
i = 1;
i <= num_chains; ++
i)
3042 result =
lappend(result, results[
i]);
3053 for (
i = 1;
i <= num_sets; ++
i)
3057 pfree(adjacency_buf);
3059 for (
i = 1;
i <= num_sets; ++
i)
3086 foreach(lc, groupingSets)
3114 result =
lcons(gs, result);
3136 if (pathkey->pk_eclass->ec_has_volatile)
3175 List *grouppathkeys =
root->group_pathkeys;
3195 unprocessed_aggs = NULL;
3196 foreach(lc,
root->agginfos)
3201 if (AGGKIND_IS_ORDERED_SET(aggref->aggkind))
3262 if (currpathkeys ==
NIL)
3264 currpathkeys = pathkeys;
3267 if (grouppathkeys !=
NIL)
3279 if (grouppathkeys !=
NIL)
3288 currpathkeys = pathkeys;
3315 bestaggs = aggindexes;
3316 bestpathkeys = currpathkeys;
3325 if (bestpathkeys !=
NIL)
3326 root->group_pathkeys = bestpathkeys;
3345 aggref->aggpresorted =
true;
3358 List *tlist =
root->processed_tlist;
3386 root->group_pathkeys =
3400 root->num_groupby_pathkeys = 0;
3403 else if (
parse->groupClause ||
root->numOrderedAggs > 0)
3419 root->group_pathkeys =
3421 &
root->processed_groupClause,
3431 root->num_groupby_pathkeys = 0;
3437 if (
root->numOrderedAggs > 0)
3444 root->num_groupby_pathkeys = 0;
3448 if (activeWindows !=
NIL)
3465 if (
parse->distinctClause)
3471 root->distinct_pathkeys =
3473 &
root->processed_distinctClause,
3480 root->distinct_pathkeys =
NIL;
3483 root->distinct_pathkeys =
NIL;
3485 root->sort_pathkeys =
3491 if (qp_extra->
setop != NULL)
3498 root->setop_pathkeys =
3532 if (
root->group_pathkeys)
3533 root->query_pathkeys =
root->group_pathkeys;
3534 else if (
root->window_pathkeys)
3535 root->query_pathkeys =
root->window_pathkeys;
3538 root->query_pathkeys =
root->distinct_pathkeys;
3539 else if (
root->sort_pathkeys)
3540 root->query_pathkeys =
root->sort_pathkeys;
3541 else if (
root->setop_pathkeys !=
NIL)
3542 root->query_pathkeys =
root->setop_pathkeys;
3567 if (
parse->groupClause)
3571 if (
parse->groupingSets)
3644 else if (
parse->groupingSets)
3649 else if (
parse->hasAggs ||
root->hasHavingQual)
3684 bool target_parallel_safe,
3700 target_parallel_safe,
parse->havingQual);
3749 root->numOrderedAggs == 0 &&
3759 extra.
flags = flags;
3777 &agg_costs, gd, &extra,
3778 &partially_grouped_rel);
3795 PathTarget *target,
bool target_parallel_safe,
3834 grouped_rel->fdwroutine = input_rel->fdwroutine;
3851 return (
root->hasHavingQual ||
parse->groupingSets) &&
3887 while (--nrows >= 0)
3968 root->parse->groupClause))
3983 bool force_rel_creation;
3992 partially_grouped_rel =
3998 force_rel_creation);
4002 *partially_grouped_rel_p = partially_grouped_rel;
4007 partially_grouped_rel, agg_costs,
4013 Assert(partially_grouped_rel);
4015 if (partially_grouped_rel->
pathlist)
4032 cheapest_path->
rows,
4038 partially_grouped_rel, agg_costs, gd,
4044 (
errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4045 errmsg(
"could not implement GROUP BY"),
4046 errdetail(
"Some of the datatypes only support hashing, while others only support sorting.")));
4052 if (grouped_rel->fdwroutine &&
4053 grouped_rel->fdwroutine->GetForeignUpperPaths)
4055 input_rel, grouped_rel,
4061 input_rel, grouped_rel,
4106 double exclude_groups = 0.0;
4130 if (l_start != NULL &&
4134 exclude_groups = unhashed_rollup->
numGroups;
4141 dNumGroups - exclude_groups);
4148 if (hashsize > hash_mem_limit && gd->
rollups)
4177 foreach(lc, sets_data)
4186 empty_sets_data =
lappend(empty_sets_data, gs);
4201 new_rollups =
lappend(new_rollups, rollup);
4209 if (new_rollups ==
NIL)
4216 Assert(!unhashed_rollup || !empty_sets);
4218 if (unhashed_rollup)
4220 new_rollups =
lappend(new_rollups, unhashed_rollup);
4223 else if (empty_sets)
4229 rollup->
gsets = empty_sets;
4233 new_rollups =
lappend(new_rollups, rollup);
4266 double availspace = hash_mem_limit;
4282 int *k_weights =
palloc(num_rollups *
sizeof(
int));
4308 scale =
Max(availspace / (20.0 * num_rollups), 1.0);
4309 k_capacity = (int) floor(availspace /
scale);
4333 k_weights[
i] = (int)
Min(floor(sz /
scale),
4363 rollups =
lappend(rollups, rollup);
4367 rollups =
lappend(rollups, rollup);
4372 if (!rollups && hash_sets)
4375 foreach(lc, hash_sets)
4390 rollups =
lcons(rollup, rollups);
4438 bool output_target_parallel_safe,
4440 List *activeWindows)
4463 window_rel->fdwroutine = input_rel->fdwroutine;
4492 if (window_rel->fdwroutine &&
4493 window_rel->fdwroutine->GetForeignUpperPaths)
4495 input_rel, window_rel,
4501 input_rel, window_rel, NULL);
4527 List *activeWindows)
4548 window_target = input_target;
4550 foreach(l, activeWindows)
4553 List *window_pathkeys;
4562 root->processed_tlist);
4595 if (
lnext(activeWindows, l))
4620 window_target = output_target;
4635 foreach(lc3, wfunc->runCondition)
4660 wfuncrc->inputcollid);
4662 runcondition =
lappend(runcondition, opexpr);
4665 topqual =
lappend(topqual, opexpr);
4673 topwindow ? topqual :
NIL, topwindow);
4714 distinct_rel->fdwroutine = input_rel->fdwroutine;
4725 (
errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4726 errmsg(
"could not implement DISTINCT"),
4727 errdetail(
"Some of the datatypes only support hashing, while others only support sorting.")));
4733 if (distinct_rel->fdwroutine &&
4734 distinct_rel->fdwroutine->GetForeignUpperPaths)
4735 distinct_rel->fdwroutine->GetForeignUpperPaths(
root,
4744 distinct_rel, NULL);
4749 return distinct_rel;
4767 List *distinctExprs;
4768 double numDistinctRows;
4769 Path *cheapest_partial_path;
4779 if (
parse->hasDistinctOn)
4784 partial_distinct_rel->
reltarget = target;
4793 partial_distinct_rel->fdwroutine = input_rel->fdwroutine;
4802 cheapest_partial_path->
rows,
4818 List *useful_pathkeys_list =
NIL;
4820 useful_pathkeys_list =
4822 root->distinct_pathkeys,
4829 partial_distinct_rel,
4831 cheapest_partial_path,
4835 if (sorted_path == NULL)
4843 if (
root->distinct_pathkeys ==
NIL)
4893 partial_distinct_rel,
4894 cheapest_partial_path,
4895 cheapest_partial_path->pathtarget,
4898 root->processed_distinctClause,
4908 if (partial_distinct_rel->fdwroutine &&
4909 partial_distinct_rel->fdwroutine->GetForeignUpperPaths)
4910 partial_distinct_rel->fdwroutine->GetForeignUpperPaths(
root,
4913 partial_distinct_rel,
4919 input_rel, partial_distinct_rel, NULL);
4932 final_distinct_rel);
4949 double numDistinctRows;
4954 root->hasHavingQual)
4961 numDistinctRows = cheapest_input_path->
rows;
4968 List *distinctExprs;
4973 cheapest_input_path->
rows,
4998 List *needed_pathkeys;
5000 double limittuples =
root->distinct_pathkeys ==
NIL ? 1.0 : -1.0;
5002 if (
parse->hasDistinctOn &&
5005 needed_pathkeys =
root->sort_pathkeys;
5007 needed_pathkeys =
root->distinct_pathkeys;
5013 List *useful_pathkeys_list =
NIL;
5015 useful_pathkeys_list =
5026 cheapest_input_path,
5030 if (sorted_path == NULL)
5046 if (
root->distinct_pathkeys ==
NIL)
5102 cheapest_input_path,
5103 cheapest_input_path->pathtarget,
5106 root->processed_distinctClause,
5112 return distinct_rel;
5125 List *path_pathkeys)
5127 List *useful_pathkeys_list =
NIL;
5131 useful_pathkeys_list =
lappend(useful_pathkeys_list,
5135 return useful_pathkeys_list;
5154 if (
root->parse->hasDistinctOn &&
5158 useful_pathkeys =
lappend(useful_pathkeys, pathkey);
5162 if (useful_pathkeys ==
NIL)
5163 return useful_pathkeys_list;
5171 return useful_pathkeys_list;
5183 return useful_pathkeys_list;
5185 useful_pathkeys_list =
lappend(useful_pathkeys_list,
5188 return useful_pathkeys_list;
5212 bool target_parallel_safe,
5213 double limit_tuples)
5236 ordered_rel->fdwroutine = input_rel->fdwroutine;
5246 input_path->
pathkeys, &presorted_keys);
5249 sorted_path = input_path;
5259 if (input_path != cheapest_input_path &&
5272 root->sort_pathkeys,
5278 root->sort_pathkeys,
5287 if (!
equal(sorted_path->pathtarget->exprs, target->
exprs))
5289 sorted_path, target);
5291 add_path(ordered_rel, sorted_path);
5308 Path *cheapest_partial_path;
5318 double total_groups;
5334 if (input_path != cheapest_partial_path &&
5347 root->sort_pathkeys,
5353 root->sort_pathkeys,
5357 sorted_path = (
Path *)
5360 sorted_path->pathtarget,
5361 root->sort_pathkeys, NULL,
5368 if (!
equal(sorted_path->pathtarget->exprs, target->
exprs))
5370 sorted_path, target);
5372 add_path(ordered_rel, sorted_path);
5380 if (ordered_rel->fdwroutine &&
5381 ordered_rel->fdwroutine->GetForeignUpperPaths)
5383 input_rel, ordered_rel,
5389 input_rel, ordered_rel, NULL);
5433 List *non_group_cols;
5434 List *non_group_vars;
5443 non_group_cols =
NIL;
5446 foreach(lc, final_target->
exprs)
5451 if (sgref &&
root->processed_groupClause &&
5453 root->processed_groupClause) != NULL)
5478 non_group_cols =
lappend(non_group_cols, expr);
5487 if (
parse->havingQual)
5488 non_group_cols =
lappend(non_group_cols,
parse->havingQual);
5509 non_group_vars = (
List *)
5546 List *non_group_cols;
5547 List *non_group_exprs;
5552 non_group_cols =
NIL;
5555 foreach(lc, grouping_target->
exprs)
5560 if (sgref &&
root->processed_groupClause &&
5562 root->processed_groupClause) != NULL)
5576 non_group_cols =
lappend(non_group_cols, expr);
5586 non_group_cols =
lappend(non_group_cols, havingQual);
5607 foreach(lc, partial_target->
exprs)
5620 memcpy(newaggref, aggref,
sizeof(
Aggref));
5652 agg->aggsplit = aggsplit;
5662 agg->aggtype = BYTEAOID;
5664 agg->aggtype = agg->aggtranstype;
5684 foreach(l, new_tlist)
5690 if (new_tle->resjunk)
5693 Assert(orig_tlist_item != NULL);
5695 orig_tlist_item =
lnext(orig_tlist, orig_tlist_item);
5696 if (orig_tle->resjunk)
5697 elog(
ERROR,
"resjunk output columns are not implemented");
5701 if (orig_tlist_item != NULL)
5702 elog(
ERROR,
"resjunk output columns are not implemented");
5718 List *windowClause =
root->parse->windowClause;
5721 foreach(lc, windowClause)
5725 int optimizedFrameOptions = 0;
5746 req.
type = T_SupportRequestOptimizeWindowClause;
5780 if (lc2 == NULL && wc->
frameOptions != optimizedFrameOptions)
5800 foreach(lc3, windowClause)
5805 if (existing_wc == wc)
5858 List *windowClause =
root->parse->windowClause;
5866 foreach(lc, windowClause)
5875 actives[nActive].
wc = wc;
5919 for (
int i = 0;
i < nActive;
i++)
5920 result =
lappend(result, actives[
i].wc);
5945 foreach(lc, activeWindows)
5958 snprintf(newname,
sizeof(newname),
"w%d", next_n++);
5959 foreach(lc2, activeWindows)
5963 if (wc2->name && strcmp(wc2->name, newname) == 0)
6061 List *activeWindows)
6065 List *flattenable_cols;
6066 List *flattenable_vars;
6077 foreach(lc, activeWindows)
6097 foreach(lc,
root->processed_groupClause)
6109 flattenable_cols =
NIL;
6112 foreach(lc, final_target->
exprs)
6136 flattenable_cols =
lappend(flattenable_cols, expr);
6187 (
errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
6188 errmsg(
"could not implement window PARTITION BY"),
6189 errdetail(
"Window partitioning columns must be of sortable datatypes.")));
6192 (
errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
6193 errmsg(
"could not implement window ORDER BY"),
6194 errdetail(
"Window ordering columns must be of sortable datatypes.")));
6224 List *orderby_pathkeys;
6231 if (window_pathkeys !=
NIL)
6234 window_pathkeys = orderby_pathkeys;
6237 return window_pathkeys;
6309 bool *have_postponed_srfs)
6318 bool have_expensive;
6319 bool have_srf_sortcols;
6321 List *postponable_cols;
6322 List *postponable_vars;
6329 *have_postponed_srfs =
false;
6333 col_is_srf = (
bool *)
palloc0(ncols *
sizeof(
bool));
6334 postpone_col = (
bool *)
palloc0(ncols *
sizeof(
bool));
6335 have_srf = have_volatile = have_expensive = have_srf_sortcols =
false;
6338 foreach(lc, final_target->
exprs)
6356 if (
parse->hasTargetSRFs &&
6360 col_is_srf[
i] =
true;
6366 postpone_col[
i] =
true;
6367 have_volatile =
true;
6387 postpone_col[
i] =
true;
6388 have_expensive =
true;
6395 if (!have_srf_sortcols &&
6396 parse->hasTargetSRFs &&
6398 have_srf_sortcols =
true;
6407 postpone_srfs = (have_srf && !have_srf_sortcols);
6412 if (!(postpone_srfs || have_volatile ||
6414 (
parse->limitCount ||
root->tuple_fraction > 0))))
6415 return final_target;
6423 *have_postponed_srfs = postpone_srfs;
6431 postponable_cols =
NIL;
6434 foreach(lc, final_target->
exprs)
6438 if (postpone_col[
i] || (postpone_srfs && col_is_srf[
i]))
6439 postponable_cols =
lappend(postponable_cols, expr);
6489 if (tuple_fraction <= 0.0)
6493 if (tuple_fraction >= 1.0 && best_path->
rows > 0)
6494 tuple_fraction /= best_path->
rows;
6500 if (path->param_info)
6530 List *targets,
List *targets_contain_srfs)
6559 forboth(lc1, targets, lc2, targets_contain_srfs)
6592 forboth(lc1, targets, lc2, targets_contain_srfs)
6658 return (
Expr *) result;
6673 List **relationOids,
6681 MemSet(&glob, 0,
sizeof(glob));
6682 glob.type = T_PlannerGlobal;
6687 root.type = T_PlannerInfo;
6709 return (
Expr *) result;
6734 Cost comparisonCost;
6736 Path seqScanAndSortPath;
6751 root->parse = query;
6753 root->query_level = 1;
6755 root->wt_param_id = -1;
6761 rte->relid = tableOid;
6762 rte->relkind = RELKIND_RELATION;
6764 rte->lateral =
false;
6766 rte->inFromCl =
true;
6781 if (indexInfo->
indexoid == indexOid)
6856 int parallel_workers;
6875 root->parse = query;
6877 root->query_level = 1;
6879 root->wt_param_id = -1;
6892 rte->relid = tableOid;
6893 rte->relkind = RELKIND_RELATION;
6895 rte->lateral =
false;
6897 rte->inFromCl =
true;
6918 if (heap->
rd_rel->relpersistence == RELPERSISTENCE_TEMP ||
6922 parallel_workers = 0;
6963 while (parallel_workers > 0 &&
6971 return parallel_workers;
7006 Path *path_save = path;
7007 List *pathkey_orderings =
NIL;
7014 foreach(lc2, pathkey_orderings)
7031 if (
parse->groupingSets)
7034 path,
true, can_hash,
7035 gd, agg_costs, dNumGroups);
7037 else if (
parse->hasAggs)
7055 else if (
parse->groupClause)
7081 if (partially_grouped_rel != NULL)
7083 foreach(lc, partially_grouped_rel->
pathlist)
7087 Path *path_save = path;
7088 List *pathkey_orderings =
NIL;
7096 foreach(lc2, pathkey_orderings)
7141 if (
parse->groupingSets)
7147 cheapest_path,
false,
true,
7148 gd, agg_costs, dNumGroups);
7162 root->processed_groupClause,
7172 if (partially_grouped_rel && partially_grouped_rel->
pathlist)
7183 root->processed_groupClause,
7222 bool force_rel_creation)
7228 Path *cheapest_partial_path = NULL;
7229 Path *cheapest_total_path = NULL;
7230 double dNumPartialGroups = 0;
7231 double dNumPartialPartialGroups = 0;
7260 if (cheapest_total_path == NULL &&
7261 cheapest_partial_path == NULL &&
7262 !force_rel_creation)
7278 partially_grouped_rel->fdwroutine = grouped_rel->fdwroutine;
7313 if (cheapest_total_path != NULL)
7316 cheapest_total_path->
rows,
7319 if (cheapest_partial_path != NULL)
7320 dNumPartialPartialGroups =
7322 cheapest_partial_path->
rows,
7326 if (can_sort && cheapest_total_path != NULL)
7339 Path *path_save = path;
7340 List *pathkey_orderings =
NIL;
7348 foreach(lc2, pathkey_orderings)
7356 partially_grouped_rel,
7358 cheapest_total_path,
7368 partially_grouped_rel,
7376 dNumPartialGroups));
7380 partially_grouped_rel,
7384 dNumPartialGroups));
7389 if (can_sort && cheapest_partial_path != NULL)
7396 Path *path_save = path;
7397 List *pathkey_orderings =
NIL;
7405 foreach(lc2, pathkey_orderings)
7414 partially_grouped_rel,
7416 cheapest_partial_path,
7426 partially_grouped_rel,
7434 dNumPartialPartialGroups));
7438 partially_grouped_rel,
7442 dNumPartialPartialGroups));
7450 if (can_hash && cheapest_total_path != NULL)
7457 partially_grouped_rel,
7458 cheapest_total_path,
7462 root->processed_groupClause,
7465 dNumPartialGroups));
7471 if (can_hash && cheapest_partial_path != NULL)
7475 partially_grouped_rel,
7476 cheapest_partial_path,
7480 root->processed_groupClause,
7483 dNumPartialPartialGroups));
7490 if (partially_grouped_rel->fdwroutine &&
7491 partially_grouped_rel->fdwroutine->GetForeignUpperPaths)
7493 FdwRoutine *fdwroutine = partially_grouped_rel->fdwroutine;
7497 input_rel, partially_grouped_rel,
7501 return partially_grouped_rel;
7512 Path *cheapest_path,
List *pathkeys,
double limit_tuples)
7529 if (path != cheapest_path &&
7573 Path *cheapest_partial_path;
7574 List *groupby_pathkeys;
7582 root->num_groupby_pathkeys);
7584 groupby_pathkeys =
root->group_pathkeys;
7597 double total_groups;
7612 if (path != cheapest_partial_path &&
7665 else if (
parse->groupingSets)
7670 else if (
root->hasNonPartialAggs ||
root->hasNonSerialAggs)
7697 List *scanjoin_targets,
7698 List *scanjoin_targets_contain_srfs,
7699 bool scanjoin_target_parallel_safe,
7728 if (rel_is_partitioned)
7735 if (!scanjoin_target_parallel_safe)
7754 if (rel_is_partitioned)
7777 subpath->pathtarget->sortgrouprefs =
7778 scanjoin_target->sortgrouprefs;
7798 subpath->pathtarget->sortgrouprefs =
7799 scanjoin_target->sortgrouprefs;
7816 if (
root->parse->hasTargetSRFs)
7819 scanjoin_targets_contain_srfs);
7841 if (rel_is_partitioned)
7853 List *child_scanjoin_targets =
NIL;
7855 Assert(child_rel != NULL);
7864 foreach(lc, scanjoin_targets)
7872 nappinfos, appinfos);
7873 child_scanjoin_targets =
lappend(child_scanjoin_targets,
7880 child_scanjoin_targets,
7881 scanjoin_targets_contain_srfs,
7882 scanjoin_target_parallel_safe,
7887 live_children =
lappend(live_children, child_rel);
7939 List *grouped_live_children =
NIL;
7940 List *partially_grouped_live_children =
NIL;
7942 bool partial_grouping_valid =
true;
7947 partially_grouped_rel != NULL);
7953 RelOptInfo *child_input_rel = input_rel->part_rels[
i];
7961 Assert(child_input_rel != NULL);
7973 memcpy(&child_extra, extra,
sizeof(child_extra));
7981 nappinfos, appinfos);
7987 nappinfos, appinfos);
7991 nappinfos, appinfos);
7998 child_extra.
patype = patype;
8012 agg_costs, gd, &child_extra,
8013 &child_partially_grouped_rel);
8015 if (child_partially_grouped_rel)
8017 partially_grouped_live_children =
8018 lappend(partially_grouped_live_children,
8019 child_partially_grouped_rel);
8022 partial_grouping_valid =
false;
8027 grouped_live_children =
lappend(grouped_live_children,
8043 if (partially_grouped_rel && partial_grouping_valid)
8045 Assert(partially_grouped_live_children !=
NIL);
8048 partially_grouped_live_children);
8054 if (partially_grouped_rel->
pathlist)
8083 Assert(input_rel->part_scheme);
8086 if (!input_rel->partexprs)
8089 partnatts = input_rel->part_scheme->partnatts;
8091 for (cnt = 0; cnt < partnatts; cnt++)
8093 List *partexprs = input_rel->partexprs[cnt];
8097 foreach(lc, partexprs)
8101 Oid partcoll = input_rel->part_scheme->partcollation[cnt];
8103 foreach(lg, groupexprs)
8116 if (
equal(groupexpr, partexpr))
8123 partcoll != groupcoll)
8170 foreach(lt, targetlist)
8193 lg =
lnext(grouplist, lg);
8194 ct =
lnext(op->colTypes, ct);
int compute_parallel_worker(RelOptInfo *rel, double heap_pages, double index_pages, int max_workers)
void generate_useful_gather_paths(PlannerInfo *root, RelOptInfo *rel, bool override_rows)
void add_paths_to_append_rel(PlannerInfo *root, RelOptInfo *rel, List *live_childrels)
AppendRelInfo ** find_appinfos_by_relids(PlannerInfo *root, Relids relids, int *nappinfos)
Node * adjust_appendrel_attrs(PlannerInfo *root, Node *node, int nappinfos, AppendRelInfo **appinfos)
List * adjust_inherited_attnums_multilevel(PlannerInfo *root, List *attnums, Index child_relid, Index top_parent_relid)
Node * adjust_appendrel_attrs_multilevel(PlannerInfo *root, Node *node, RelOptInfo *childrel, RelOptInfo *parentrel)
void pprint(const void *obj)
void pgstat_report_plan_id(uint64 plan_id, bool force)
BipartiteMatchState * BipartiteMatch(int u_size, int v_size, short **adjacency)
void BipartiteMatchFree(BipartiteMatchState *state)
Bitmapset * bms_difference(const Bitmapset *a, const Bitmapset *b)
Bitmapset * bms_make_singleton(int x)
bool bms_equal(const Bitmapset *a, const Bitmapset *b)
int bms_next_member(const Bitmapset *a, int prevbit)
Bitmapset * bms_del_members(Bitmapset *a, const Bitmapset *b)
Bitmapset * bms_del_member(Bitmapset *a, int x)
bool bms_is_subset(const Bitmapset *a, const Bitmapset *b)
void bms_free(Bitmapset *a)
int bms_num_members(const Bitmapset *a)
bool bms_is_member(int x, const Bitmapset *a)
Bitmapset * bms_add_member(Bitmapset *a, int x)
BMS_Membership bms_membership(const Bitmapset *a)
bool bms_overlap_list(const Bitmapset *a, const List *b)
#define MemSet(start, val, len)
#define OidIsValid(objectId)
bool contain_agg_clause(Node *clause)
Node * estimate_expression_value(PlannerInfo *root, Node *node)
WindowFuncLists * find_window_functions(Node *clause, Index maxWinRef)
Node * eval_const_expressions(PlannerInfo *root, Node *node)
void convert_saop_to_hashed_saop(Node *node)
char max_parallel_hazard(Query *parse)
bool is_parallel_safe(PlannerInfo *root, Node *node)
bool contain_subplans(Node *clause)
bool contain_volatile_functions(Node *clause)
bool enable_partitionwise_aggregate
int max_parallel_workers_per_gather
double parallel_setup_cost
double parallel_tuple_cost
void cost_sort(Path *path, PlannerInfo *root, List *pathkeys, int input_disabled_nodes, Cost input_cost, double tuples, int width, Cost comparison_cost, int sort_mem, double limit_tuples)
double compute_gather_rows(Path *path)
void cost_qual_eval_node(QualCost *cost, Node *qual, PlannerInfo *root)
PathTarget * set_pathtarget_cost_width(PlannerInfo *root, PathTarget *target)
void cost_qual_eval(QualCost *cost, List *quals, PlannerInfo *root)
bool enable_presorted_aggregate
int32 clamp_width_est(int64 tuple_width)
bool enable_incremental_sort
Plan * materialize_finished_plan(Plan *subplan)
Plan * create_plan(PlannerInfo *root, Path *best_path)
int errdetail(const char *fmt,...)
int errcode(int sqlerrcode)
int errmsg(const char *fmt,...)
#define ereport(elevel,...)
bool equal(const void *a, const void *b)
bool ExecSupportsBackwardScan(Plan *node)
Datum Int64GetDatum(int64 X)
#define OidFunctionCall1(functionId, arg1)
FdwRoutine * GetFdwRoutineByRelId(Oid relid)
int max_parallel_maintenance_workers
Assert(PointerIsAligned(start, uint64))
#define IsParallelWorker()
void index_close(Relation relation, LOCKMODE lockmode)
Relation index_open(Oid relationId, LOCKMODE lockmode)
if(TABLE==NULL||TABLE_index==NULL)
double jit_optimize_above_cost
double jit_inline_above_cost
Bitmapset * DiscreteKnapsack(int max_weight, int num_items, int *item_weights, double *item_values)
List * lappend(List *list, void *datum)
List * list_difference_int(const List *list1, const List *list2)
List * list_concat_unique_ptr(List *list1, const List *list2)
List * list_concat(List *list1, const List *list2)
List * list_copy(const List *oldlist)
List * lappend_int(List *list, int datum)
List * lcons(void *datum, List *list)
List * list_delete_int(List *list, int datum)
bool list_member_ptr(const List *list, const void *datum)
void list_free(List *list)
bool list_member_int(const List *list, int datum)
List * list_copy_head(const List *oldlist, int len)
List * list_concat_unique(List *list1, const List *list2)
RegProcedure get_func_support(Oid funcid)
int32 get_typavgwidth(Oid typid, int32 typmod)
Datum subpath(PG_FUNCTION_ARGS)
Expr * make_opclause(Oid opno, Oid opresulttype, bool opretset, Expr *leftop, Expr *rightop, Oid opcollid, Oid inputcollid)
Const * makeConst(Oid consttype, int32 consttypmod, Oid constcollid, int constlen, Datum constvalue, bool constisnull, bool constbyval)
List * make_ands_implicit(Expr *clause)
char * pstrdup(const char *in)
void pfree(void *pointer)
void * palloc0(Size size)
MemoryContext CurrentMemoryContext
Oid exprType(const Node *expr)
Oid exprCollation(const Node *expr)
bool expression_returns_set(Node *clause)
void fix_opfuncids(Node *node)
size_t get_hash_memory_limit(void)
#define DO_AGGSPLIT_SKIPFINAL(as)
#define IsA(nodeptr, _type_)
#define IS_OUTER_JOIN(jointype)
#define DO_AGGSPLIT_SERIALIZE(as)
@ AGGSPLIT_FINAL_DESERIAL
@ AGGSPLIT_INITIAL_SERIAL
#define PVC_RECURSE_AGGREGATES
#define PVC_RECURSE_WINDOWFUNCS
#define PVC_INCLUDE_WINDOWFUNCS
#define PVC_INCLUDE_PLACEHOLDERS
#define PVC_INCLUDE_AGGREGATES
int assign_special_exec_param(PlannerInfo *root)
List * expand_grouping_sets(List *groupingSets, bool groupDistinct, int limit)
Index assignSortGroupRef(TargetEntry *tle, List *tlist)
RTEPermissionInfo * addRTEPermissionInfo(List **rteperminfos, RangeTblEntry *rte)
#define CURSOR_OPT_SCROLL
#define CURSOR_OPT_FAST_PLAN
#define CURSOR_OPT_PARALLEL_OK
void CheckSelectLocking(Query *qry, LockClauseStrength strength)
const char * LCS_asString(LockClauseStrength strength)
#define rt_fetch(rangetable_index, rangetable)
void DestroyPartitionDirectory(PartitionDirectory pdir)
List * append_pathkeys(List *target, List *source)
bool pathkeys_count_contained_in(List *keys1, List *keys2, int *n_common)
List * make_pathkeys_for_sortclauses(PlannerInfo *root, List *sortclauses, List *tlist)
List * make_pathkeys_for_sortclauses_extended(PlannerInfo *root, List **sortclauses, List *tlist, bool remove_redundant, bool remove_group_rtindex, bool *sortable, bool set_ec_sortref)
bool pathkeys_contained_in(List *keys1, List *keys2)
PathKeysComparison compare_pathkeys(List *keys1, List *keys2)
List * get_useful_group_keys_orderings(PlannerInfo *root, Path *path)
IndexPath * create_index_path(PlannerInfo *root, IndexOptInfo *index, List *indexclauses, List *indexorderbys, List *indexorderbycols, List *pathkeys, ScanDirection indexscandir, bool indexonly, Relids required_outer, double loop_count, bool partial_path)
ProjectSetPath * create_set_projection_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, PathTarget *target)
ProjectionPath * create_projection_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, PathTarget *target)
WindowAggPath * create_windowagg_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, PathTarget *target, List *windowFuncs, List *runCondition, WindowClause *winclause, List *qual, bool topwindow)
LockRowsPath * create_lockrows_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, List *rowMarks, int epqParam)
Path * apply_projection_to_path(PlannerInfo *root, RelOptInfo *rel, Path *path, PathTarget *target)
Path * create_seqscan_path(PlannerInfo *root, RelOptInfo *rel, Relids required_outer, int parallel_workers)
GatherMergePath * create_gather_merge_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, PathTarget *target, List *pathkeys, Relids required_outer, double *rows)
void set_cheapest(RelOptInfo *parent_rel)
void add_partial_path(RelOptInfo *parent_rel, Path *new_path)
LimitPath * create_limit_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, Node *limitOffset, Node *limitCount, LimitOption limitOption, int64 offset_est, int64 count_est)
AppendPath * create_append_path(PlannerInfo *root, RelOptInfo *rel, List *subpaths, List *partial_subpaths, List *pathkeys, Relids required_outer, int parallel_workers, bool parallel_aware, double rows)
int compare_fractional_path_costs(Path *path1, Path *path2, double fraction)
IncrementalSortPath * create_incremental_sort_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, List *pathkeys, int presorted_keys, double limit_tuples)
GroupingSetsPath * create_groupingsets_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, List *having_qual, AggStrategy aggstrategy, List *rollups, const AggClauseCosts *agg_costs)
SortPath * create_sort_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, List *pathkeys, double limit_tuples)
GroupPath * create_group_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, List *groupClause, List *qual, double numGroups)
void add_path(RelOptInfo *parent_rel, Path *new_path)
UpperUniquePath * create_upper_unique_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, int numCols, double numGroups)
AggPath * create_agg_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, PathTarget *target, AggStrategy aggstrategy, AggSplit aggsplit, List *groupClause, List *qual, const AggClauseCosts *aggcosts, double numGroups)
ModifyTablePath * create_modifytable_path(PlannerInfo *root, RelOptInfo *rel, Path *subpath, CmdType operation, bool canSetTag, Index nominalRelation, Index rootRelation, bool partColsUpdated, List *resultRelations, List *updateColnosLists, List *withCheckOptionLists, List *returningLists, List *rowMarks, OnConflictExpr *onconflict, List *mergeActionLists, List *mergeJoinConditions, int epqParam)
GroupResultPath * create_group_result_path(PlannerInfo *root, RelOptInfo *rel, PathTarget *target, List *havingqual)
PartitionwiseAggregateType
@ PARTITIONWISE_AGGREGATE_PARTIAL
@ PARTITIONWISE_AGGREGATE_FULL
@ PARTITIONWISE_AGGREGATE_NONE
#define GROUPING_CAN_USE_HASH
#define get_pathtarget_sortgroupref(target, colno)
#define IS_PARTITIONED_REL(rel)
#define GROUPING_CAN_USE_SORT
#define GROUPING_CAN_PARTIAL_AGG
@ UPPERREL_PARTIAL_GROUP_AGG
@ UPPERREL_PARTIAL_DISTINCT
#define IS_OTHER_REL(rel)
bool has_subclass(Oid relationId)
#define lfirst_node(type, lc)
static int list_length(const List *l)
#define linitial_node(type, l)
#define forboth(cell1, list1, cell2, list2)
#define foreach_current_index(var_or_cell)
#define for_each_cell(cell, lst, initcell)
#define for_each_from(cell, lst, N)
static void * list_nth(const List *list, int n)
#define foreach_node(type, var, lst)
static ListCell * list_head(const List *l)
#define list_nth_node(type, list, n)
static ListCell * lnext(const List *l, const ListCell *c)
#define list_make1_int(x1)
static int list_cell_number(const List *l, const ListCell *c)
#define llast_node(type, l)
void preprocess_minmax_aggregates(PlannerInfo *root)
void estimate_rel_size(Relation rel, int32 *attr_widths, BlockNumber *pages, double *tuples, double *allvisfrac)
int32 get_relation_data_width(Oid relid, int32 *attr_widths)
RelOptInfo * query_planner(PlannerInfo *root, query_pathkeys_callback qp_callback, void *qp_extra)
#define DEFAULT_CURSOR_TUPLE_FRACTION
#define EXPRKIND_TABLEFUNC_LATERAL
static RelOptInfo * create_final_distinct_paths(PlannerInfo *root, RelOptInfo *input_rel, RelOptInfo *distinct_rel)
static List * postprocess_setop_tlist(List *new_tlist, List *orig_tlist)
static PathTarget * make_partial_grouping_target(PlannerInfo *root, PathTarget *grouping_target, Node *havingQual)
Expr * expression_planner_with_deps(Expr *expr, List **relationOids, List **invalItems)
static void gather_grouping_paths(PlannerInfo *root, RelOptInfo *rel)
static void preprocess_rowmarks(PlannerInfo *root)
#define EXPRKIND_TABLESAMPLE
PlannedStmt * planner(Query *parse, const char *query_string, int cursorOptions, ParamListInfo boundParams)
static void create_degenerate_grouping_paths(PlannerInfo *root, RelOptInfo *input_rel, RelOptInfo *grouped_rel)
#define EXPRKIND_GROUPEXPR
planner_hook_type planner_hook
double cursor_tuple_fraction
static bool is_degenerate_grouping(PlannerInfo *root)
bool plan_cluster_use_sort(Oid tableOid, Oid indexOid)
static void preprocess_qual_conditions(PlannerInfo *root, Node *jtnode)
int plan_create_index_workers(Oid tableOid, Oid indexOid)
#define EXPRKIND_RTFUNC_LATERAL
#define EXPRKIND_VALUES_LATERAL
static void create_ordinary_grouping_paths(PlannerInfo *root, RelOptInfo *input_rel, RelOptInfo *grouped_rel, const AggClauseCosts *agg_costs, grouping_sets_data *gd, GroupPathExtraData *extra, RelOptInfo **partially_grouped_rel_p)
static bool can_partial_agg(PlannerInfo *root)
static double preprocess_limit(PlannerInfo *root, double tuple_fraction, int64 *offset_est, int64 *count_est)
Path * get_cheapest_fractional_path(RelOptInfo *rel, double tuple_fraction)
Expr * preprocess_phv_expression(PlannerInfo *root, Expr *expr)
static List * get_useful_pathkeys_for_distinct(PlannerInfo *root, List *needed_pathkeys, List *path_pathkeys)
bool parallel_leader_participation
static PathTarget * make_window_input_target(PlannerInfo *root, PathTarget *final_target, List *activeWindows)
static void apply_scanjoin_target_to_paths(PlannerInfo *root, RelOptInfo *rel, List *scanjoin_targets, List *scanjoin_targets_contain_srfs, bool scanjoin_target_parallel_safe, bool tlist_same_exprs)
static RelOptInfo * create_distinct_paths(PlannerInfo *root, RelOptInfo *input_rel, PathTarget *target)
static void optimize_window_clauses(PlannerInfo *root, WindowFuncLists *wflists)
RowMarkType select_rowmark_type(RangeTblEntry *rte, LockClauseStrength strength)
PlannerInfo * subquery_planner(PlannerGlobal *glob, Query *parse, PlannerInfo *parent_root, bool hasRecursion, double tuple_fraction, SetOperationStmt *setops)
static void adjust_paths_for_srfs(PlannerInfo *root, RelOptInfo *rel, List *targets, List *targets_contain_srfs)
static void create_partial_distinct_paths(PlannerInfo *root, RelOptInfo *input_rel, RelOptInfo *final_distinct_rel, PathTarget *target)
static List * preprocess_groupclause(PlannerInfo *root, List *force)
static Node * preprocess_expression(PlannerInfo *root, Node *expr, int kind)
static Path * make_ordered_path(PlannerInfo *root, RelOptInfo *rel, Path *path, Path *cheapest_path, List *pathkeys, double limit_tuples)
static bool has_volatile_pathkey(List *keys)
static RelOptInfo * create_partial_grouping_paths(PlannerInfo *root, RelOptInfo *grouped_rel, RelOptInfo *input_rel, grouping_sets_data *gd, GroupPathExtraData *extra, bool force_rel_creation)
static void name_active_windows(List *activeWindows)
static PathTarget * make_sort_input_target(PlannerInfo *root, PathTarget *final_target, bool *have_postponed_srfs)
static void create_one_window_path(PlannerInfo *root, RelOptInfo *window_rel, Path *path, PathTarget *input_target, PathTarget *output_target, WindowFuncLists *wflists, List *activeWindows)
bool enable_distinct_reordering
void mark_partial_aggref(Aggref *agg, AggSplit aggsplit)
static grouping_sets_data * preprocess_grouping_sets(PlannerInfo *root)
static List * remap_to_groupclause_idx(List *groupClause, List *gsets, int *tleref_to_colnum_map)
static void adjust_group_pathkeys_for_groupagg(PlannerInfo *root)
static PathTarget * make_group_input_target(PlannerInfo *root, PathTarget *final_target)
static List * reorder_grouping_sets(List *groupingSets, List *sortclause)
static int common_prefix_cmp(const void *a, const void *b)
static void grouping_planner(PlannerInfo *root, double tuple_fraction, SetOperationStmt *setops)
static RelOptInfo * make_grouping_rel(PlannerInfo *root, RelOptInfo *input_rel, PathTarget *target, bool target_parallel_safe, Node *havingQual)
static List * generate_setop_child_grouplist(SetOperationStmt *op, List *targetlist)
static List * select_active_windows(PlannerInfo *root, WindowFuncLists *wflists)
Expr * expression_planner(Expr *expr)
bool limit_needed(Query *parse)
create_upper_paths_hook_type create_upper_paths_hook
#define EXPRKIND_TABLEFUNC
static void consider_groupingsets_paths(PlannerInfo *root, RelOptInfo *grouped_rel, Path *path, bool is_sorted, bool can_hash, grouping_sets_data *gd, const AggClauseCosts *agg_costs, double dNumGroups)
static List * make_pathkeys_for_window(PlannerInfo *root, WindowClause *wc, List *tlist)
static void add_paths_to_grouping_rel(PlannerInfo *root, RelOptInfo *input_rel, RelOptInfo *grouped_rel, RelOptInfo *partially_grouped_rel, const AggClauseCosts *agg_costs, grouping_sets_data *gd, double dNumGroups, GroupPathExtraData *extra)
static RelOptInfo * create_ordered_paths(PlannerInfo *root, RelOptInfo *input_rel, PathTarget *target, bool target_parallel_safe, double limit_tuples)
static double get_number_of_groups(PlannerInfo *root, double path_rows, grouping_sets_data *gd, List *target_list)
static List * extract_rollup_sets(List *groupingSets)
static RelOptInfo * create_grouping_paths(PlannerInfo *root, RelOptInfo *input_rel, PathTarget *target, bool target_parallel_safe, grouping_sets_data *gd)
static void create_partitionwise_grouping_paths(PlannerInfo *root, RelOptInfo *input_rel, RelOptInfo *grouped_rel, RelOptInfo *partially_grouped_rel, const AggClauseCosts *agg_costs, grouping_sets_data *gd, PartitionwiseAggregateType patype, GroupPathExtraData *extra)
#define EXPRKIND_ARBITER_ELEM
static bool group_by_has_partkey(RelOptInfo *input_rel, List *targetList, List *groupClause)
PlannedStmt * standard_planner(Query *parse, const char *query_string, int cursorOptions, ParamListInfo boundParams)
static void standard_qp_callback(PlannerInfo *root, void *extra)
static RelOptInfo * create_window_paths(PlannerInfo *root, RelOptInfo *input_rel, PathTarget *input_target, PathTarget *output_target, bool output_target_parallel_safe, WindowFuncLists *wflists, List *activeWindows)
PlannedStmt *(* planner_hook_type)(Query *parse, const char *query_string, int cursorOptions, ParamListInfo boundParams)
void(* create_upper_paths_hook_type)(PlannerInfo *root, UpperRelationKind stage, RelOptInfo *input_rel, RelOptInfo *output_rel, void *extra)
@ ROW_MARK_NOKEYEXCLUSIVE
#define qsort(a, b, c, d)
static int64 DatumGetInt64(Datum X)
static Datum PointerGetDatum(const void *X)
static Pointer DatumGetPointer(Datum X)
void get_agg_clause_costs(PlannerInfo *root, AggSplit aggsplit, AggClauseCosts *costs)
void preprocess_aggrefs(PlannerInfo *root, Node *clause)
void preprocess_function_rtes(PlannerInfo *root)
void flatten_simple_union_all(PlannerInfo *root)
void transform_MERGE_to_join(Query *parse)
void remove_useless_result_rtes(PlannerInfo *root)
Query * expand_virtual_generated_columns(PlannerInfo *root)
void pull_up_sublinks(PlannerInfo *root)
void replace_empty_jointree(Query *parse)
void pull_up_subqueries(PlannerInfo *root)
Relids get_relids_in_jointree(Node *jtnode, bool include_outer_joins, bool include_inner_joins)
void reduce_outer_joins(PlannerInfo *root)
Expr * canonicalize_qual(Expr *qual, bool is_check)
void preprocess_targetlist(PlannerInfo *root)
RelOptInfo * plan_set_operations(PlannerInfo *root)
static struct subre * parse(struct vars *v, int stopper, int type, struct state *init, struct state *final)
List * RelationGetIndexPredicate(Relation relation)
List * RelationGetIndexExpressions(Relation relation)
RelOptInfo * find_base_rel(PlannerInfo *root, int relid)
void setup_simple_rel_arrays(PlannerInfo *root)
RelOptInfo * fetch_upper_rel(PlannerInfo *root, UpperRelationKind kind, Relids relids)
RelOptInfo * build_simple_rel(PlannerInfo *root, int relid, RelOptInfo *parent)
Node * remove_nulling_relids(Node *node, const Bitmapset *removable_relids, const Bitmapset *except_relids)
double estimate_num_groups(PlannerInfo *root, List *groupExprs, double input_rows, List **pgset, EstimationInfo *estinfo)
double estimate_hashagg_tablesize(PlannerInfo *root, Path *path, const AggClauseCosts *agg_costs, double dNumGroups)
Plan * set_plan_references(PlannerInfo *root, Plan *plan)
bool extract_query_dependencies_walker(Node *node, PlannerInfo *context)
void check_stack_depth(void)
GetForeignRowMarkType_function GetForeignRowMarkType
GetForeignUpperPaths_function GetForeignUpperPaths
LockClauseStrength strength
LockWaitPolicy waitPolicy
Bitmapset * rewindPlanIDs
Bitmapset * unprunableRelids
Bitmapset * prunableRelids
Bitmapset * rewindPlanIDs
struct TableSampleClause * tablesample
struct PathTarget * reltarget
struct Path * cheapest_startup_path
struct Path * cheapest_total_path
LockClauseStrength strength
LockWaitPolicy waitPolicy
struct WindowClause * window_clause
int * tleref_to_colnum_map
Bitmapset * unhashable_refs
Bitmapset * unsortable_refs
grouping_sets_data * gset_data
Node * SS_process_sublinks(PlannerInfo *root, Node *expr, bool isQual)
void SS_process_ctes(PlannerInfo *root)
void SS_identify_outer_params(PlannerInfo *root)
Node * SS_replace_correlation_vars(PlannerInfo *root, Node *expr)
void SS_finalize_plan(PlannerInfo *root, Plan *plan)
void SS_compute_initplan_cost(List *init_plans, Cost *initplan_cost_p, bool *unsafe_initplans_p)
void SS_charge_for_initplans(PlannerInfo *root, RelOptInfo *final_rel)
void table_close(Relation relation, LOCKMODE lockmode)
Relation table_open(Oid relationId, LOCKMODE lockmode)
bool tlist_same_exprs(List *tlist1, List *tlist2)
SortGroupClause * get_sortgroupref_clause_noerr(Index sortref, List *clauses)
SortGroupClause * get_sortgroupref_clause(Index sortref, List *clauses)
bool grouping_is_sortable(List *groupClause)
PathTarget * copy_pathtarget(PathTarget *src)
void add_new_columns_to_pathtarget(PathTarget *target, List *exprs)
PathTarget * create_empty_pathtarget(void)
List * get_sortgrouplist_exprs(List *sgClauses, List *targetList)
void split_pathtarget_at_srfs(PlannerInfo *root, PathTarget *target, PathTarget *input_target, List **targets, List **targets_contain_srfs)
bool grouping_is_hashable(List *groupClause)
void add_column_to_pathtarget(PathTarget *target, Expr *expr, Index sortgroupref)
#define create_pathtarget(root, tlist)
Node * flatten_group_exprs(PlannerInfo *root, Query *query, Node *node)
Relids pull_varnos(PlannerInfo *root, Node *node)
List * pull_var_clause(Node *node, int flags)
Node * flatten_join_alias_vars(PlannerInfo *root, Query *query, Node *node)