aboutsummaryrefslogtreecommitdiff
path: root/src/backend/optimizer
diff options
context:
space:
mode:
Diffstat (limited to 'src/backend/optimizer')
-rw-r--r--src/backend/optimizer/geqo/geqo_paths.c4
-rw-r--r--src/backend/optimizer/path/indxpath.c8
-rw-r--r--src/backend/optimizer/path/joinpath.c6
-rw-r--r--src/backend/optimizer/path/joinutils.c8
-rw-r--r--src/backend/optimizer/path/mergeutils.c12
-rw-r--r--src/backend/optimizer/path/orindxpath.c8
-rw-r--r--src/backend/optimizer/path/prune.c4
-rw-r--r--src/backend/optimizer/plan/createplan.c8
-rw-r--r--src/backend/optimizer/util/ordering.c78
-rw-r--r--src/backend/optimizer/util/pathnode.c81
10 files changed, 139 insertions, 78 deletions
diff --git a/src/backend/optimizer/geqo/geqo_paths.c b/src/backend/optimizer/geqo/geqo_paths.c
index cf3618b5931..a04c1703f7e 100644
--- a/src/backend/optimizer/geqo/geqo_paths.c
+++ b/src/backend/optimizer/geqo/geqo_paths.c
@@ -5,7 +5,7 @@
*
* Copyright (c) 1994, Regents of the University of California
*
- * $Id: geqo_paths.c,v 1.15 1999/02/10 21:02:35 momjian Exp $
+ * $Id: geqo_paths.c,v 1.16 1999/02/11 14:58:50 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -113,7 +113,7 @@ geqo_rel_paths(RelOptInfo *rel)
{
path = (Path *) lfirst(y);
- if (!path->path_order->ord.sortop)
+ if (!path->pathorder->ord.sortop)
break;
}
diff --git a/src/backend/optimizer/path/indxpath.c b/src/backend/optimizer/path/indxpath.c
index 9605764224b..1e030537d59 100644
--- a/src/backend/optimizer/path/indxpath.c
+++ b/src/backend/optimizer/path/indxpath.c
@@ -8,7 +8,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/path/indxpath.c,v 1.42 1999/02/10 21:02:38 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/path/indxpath.c,v 1.43 1999/02/11 14:58:50 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -1290,9 +1290,9 @@ index_innerjoin(Query *root, RelOptInfo *rel, List *clausegroup_list,
pathnode->path.pathtype = T_IndexScan;
pathnode->path.parent = rel;
- pathnode->path.path_order = makeNode(PathOrder);
- pathnode->path.path_order->ordtype = SORTOP_ORDER;
- pathnode->path.path_order->ord.sortop = index->ordering;
+ pathnode->path.pathorder = makeNode(PathOrder);
+ pathnode->path.pathorder->ordtype = SORTOP_ORDER;
+ pathnode->path.pathorder->ord.sortop = index->ordering;
pathnode->path.pathkeys = NIL;
pathnode->indexid = index->relids;
diff --git a/src/backend/optimizer/path/joinpath.c b/src/backend/optimizer/path/joinpath.c
index 7f1277f0960..2c82d4f64d5 100644
--- a/src/backend/optimizer/path/joinpath.c
+++ b/src/backend/optimizer/path/joinpath.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/path/joinpath.c,v 1.19 1999/02/10 21:02:38 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/path/joinpath.c,v 1.20 1999/02/11 14:58:52 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -327,7 +327,7 @@ match_unsorted_outer(RelOptInfo *joinrel,
outerpath = (Path *) lfirst(i);
- outerpath_ordering = outerpath->path_order;
+ outerpath_ordering = outerpath->pathorder;
if (outerpath_ordering)
{
@@ -470,7 +470,7 @@ match_unsorted_inner(RelOptInfo *joinrel,
innerpath = (Path *) lfirst(i);
- innerpath_ordering = innerpath->path_order;
+ innerpath_ordering = innerpath->pathorder;
if (innerpath_ordering)
{
diff --git a/src/backend/optimizer/path/joinutils.c b/src/backend/optimizer/path/joinutils.c
index d57d0d6d13a..61fb755d8ba 100644
--- a/src/backend/optimizer/path/joinutils.c
+++ b/src/backend/optimizer/path/joinutils.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/path/Attic/joinutils.c,v 1.17 1999/02/11 05:29:07 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/path/Attic/joinutils.c,v 1.18 1999/02/11 14:58:53 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -214,10 +214,12 @@ match_paths_joinkeys(List *joinkeys,
foreach(i, paths)
{
Path *path = (Path *) lfirst(i);
-
+ int more_sort;
+
key_match = every_func(joinkeys, path->pathkeys, which_subkey);
- if (equal_path_ordering(ordering, path->path_order) &&
+ if (pathorder_match(ordering, path->pathorder, &more_sort) &&
+ more_sort == 0 &&
length(joinkeys) == length(path->pathkeys) && key_match)
{
diff --git a/src/backend/optimizer/path/mergeutils.c b/src/backend/optimizer/path/mergeutils.c
index 00cc5e23994..8caef0e6611 100644
--- a/src/backend/optimizer/path/mergeutils.c
+++ b/src/backend/optimizer/path/mergeutils.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/path/Attic/mergeutils.c,v 1.16 1999/02/10 03:52:41 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/path/Attic/mergeutils.c,v 1.17 1999/02/11 14:58:53 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -52,17 +52,17 @@ group_clauses_by_order(List *restrictinfo_list,
* Create a new mergeinfo node and add it to 'mergeinfo-list'
* if one does not yet exist for this merge ordering.
*/
- PathOrder *path_order;
+ PathOrder *pathorder;
MergeInfo *xmergeinfo;
Expr *clause = restrictinfo->clause;
Var *leftop = get_leftop(clause);
Var *rightop = get_rightop(clause);
JoinKey *jmkeys;
- path_order = makeNode(PathOrder);
- path_order->ordtype = MERGE_ORDER;
- path_order->ord.merge = merge_ordering;
- xmergeinfo = match_order_mergeinfo(path_order, mergeinfo_list);
+ pathorder = makeNode(PathOrder);
+ pathorder->ordtype = MERGE_ORDER;
+ pathorder->ord.merge = merge_ordering;
+ xmergeinfo = match_order_mergeinfo(pathorder, mergeinfo_list);
if (inner_relid == leftop->varno)
{
jmkeys = makeNode(JoinKey);
diff --git a/src/backend/optimizer/path/orindxpath.c b/src/backend/optimizer/path/orindxpath.c
index b53fcaf2fa9..70dc789111c 100644
--- a/src/backend/optimizer/path/orindxpath.c
+++ b/src/backend/optimizer/path/orindxpath.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/path/orindxpath.c,v 1.18 1999/02/10 21:02:39 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/path/orindxpath.c,v 1.19 1999/02/11 14:58:53 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -104,14 +104,14 @@ create_or_index_paths(Query *root,
pathnode->path.pathtype = T_IndexScan;
pathnode->path.parent = rel;
- pathnode->path.path_order = makeNode(PathOrder);
- pathnode->path.path_order->ordtype = SORTOP_ORDER;
+ pathnode->path.pathorder = makeNode(PathOrder);
+ pathnode->path.pathorder->ordtype = SORTOP_ORDER;
/*
* This is an IndexScan, but it does index lookups based
* on the order of the fields specified in the WHERE clause,
* not in any order, so the sortop is NULL.
*/
- pathnode->path.path_order->ord.sortop = NULL;
+ pathnode->path.pathorder->ord.sortop = NULL;
pathnode->path.pathkeys = NIL;
pathnode->indexqual = lcons(clausenode, NIL);
diff --git a/src/backend/optimizer/path/prune.c b/src/backend/optimizer/path/prune.c
index 6246c61125c..c3cc7344602 100644
--- a/src/backend/optimizer/path/prune.c
+++ b/src/backend/optimizer/path/prune.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/path/Attic/prune.c,v 1.26 1999/02/10 21:02:40 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/path/Attic/prune.c,v 1.27 1999/02/11 14:58:54 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -109,7 +109,7 @@ prune_rel_paths(List *rel_list)
{
path = (Path *) lfirst(y);
- if (!path->path_order->ord.sortop)
+ if (!path->pathorder->ord.sortop)
break;
}
cheapest = (JoinPath *) prune_rel_path(rel, path);
diff --git a/src/backend/optimizer/plan/createplan.c b/src/backend/optimizer/plan/createplan.c
index 21f91454c84..b2c5759f7e1 100644
--- a/src/backend/optimizer/plan/createplan.c
+++ b/src/backend/optimizer/plan/createplan.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/plan/createplan.c,v 1.42 1999/02/10 17:14:30 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/plan/createplan.c,v 1.43 1999/02/11 14:58:54 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -529,14 +529,14 @@ create_mergejoin_node(MergePath *best_path,
outer_tlist,
inner_tlist));
- opcode = get_opcode((best_path->jpath.path.path_order->ord.merge)->join_operator);
+ opcode = get_opcode((best_path->jpath.path.pathorder->ord.merge)->join_operator);
outer_order = (Oid *) palloc(sizeof(Oid) * 2);
- outer_order[0] = (best_path->jpath.path.path_order->ord.merge)->left_operator;
+ outer_order[0] = (best_path->jpath.path.pathorder->ord.merge)->left_operator;
outer_order[1] = 0;
inner_order = (Oid *) palloc(sizeof(Oid) * 2);
- inner_order[0] = (best_path->jpath.path.path_order->ord.merge)->right_operator;
+ inner_order[0] = (best_path->jpath.path.pathorder->ord.merge)->right_operator;
inner_order[1] = 0;
/*
diff --git a/src/backend/optimizer/util/ordering.c b/src/backend/optimizer/util/ordering.c
index 59da32deb46..8e5fb15baf2 100644
--- a/src/backend/optimizer/util/ordering.c
+++ b/src/backend/optimizer/util/ordering.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/util/Attic/ordering.c,v 1.11 1999/02/06 17:29:27 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/util/Attic/ordering.c,v 1.12 1999/02/11 14:58:58 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -18,7 +18,7 @@
#include "optimizer/internal.h"
#include "optimizer/ordering.h"
-static bool equal_sortops_order(Oid *ordering1, Oid *ordering2);
+static bool equal_sortops_order(Oid *ordering1, Oid *ordering2, int *more_sort);
/*
* equal-path-ordering--
@@ -26,14 +26,27 @@ static bool equal_sortops_order(Oid *ordering1, Oid *ordering2);
*
*/
bool
-equal_path_ordering(PathOrder *path_ordering1,
- PathOrder *path_ordering2)
+pathorder_match(PathOrder *path_ordering1,
+ PathOrder *path_ordering2,
+ int *more_sort)
{
+
+ *more_sort = 0;
+
if (path_ordering1 == path_ordering2)
return true;
+
+ if (!path_ordering2)
+ {
+ *more_sort = 1;
+ return true;
+ }
- if (!path_ordering1 || !path_ordering2)
- return false;
+ if (!path_ordering1)
+ {
+ *more_sort = 2;
+ return true;
+ }
if (path_ordering1->ordtype == MERGE_ORDER &&
path_ordering2->ordtype == MERGE_ORDER)
@@ -43,19 +56,28 @@ equal_path_ordering(PathOrder *path_ordering1,
else if (path_ordering1->ordtype == SORTOP_ORDER &&
path_ordering2->ordtype == SORTOP_ORDER)
{
- return (equal_sortops_order(path_ordering1->ord.sortop,
- path_ordering2->ord.sortop));
+ return equal_sortops_order(path_ordering1->ord.sortop,
+ path_ordering2->ord.sortop,
+ more_sort);
}
else if (path_ordering1->ordtype == MERGE_ORDER &&
path_ordering2->ordtype == SORTOP_ORDER)
{
- return (path_ordering2->ord.sortop &&
- (path_ordering1->ord.merge->left_operator == path_ordering2->ord.sortop[0]));
+ if (!path_ordering2->ord.sortop)
+ {
+ *more_sort = 1;
+ return true;
+ }
+ return path_ordering1->ord.merge->left_operator == path_ordering2->ord.sortop[0];
}
else
{
- return (path_ordering1->ord.sortop &&
- (path_ordering1->ord.sortop[0] == path_ordering2->ord.merge->left_operator));
+ if (!path_ordering1->ord.sortop)
+ {
+ *more_sort = 2;
+ return true;
+ }
+ return path_ordering1->ord.sortop[0] == path_ordering2->ord.merge->left_operator;
}
}
@@ -105,13 +127,27 @@ equal_merge_ordering(MergeOrder *merge_ordering1,
* Returns true iff the sort operators are in the same order.
*/
static bool
-equal_sortops_order(Oid *ordering1, Oid *ordering2)
+equal_sortops_order(Oid *ordering1, Oid *ordering2, int *more_sort)
{
int i = 0;
- if (ordering1 == NULL || ordering2 == NULL)
- return ordering1 == ordering2;
+ *more_sort = 0;
+
+ if (ordering1 == ordering2)
+ return true;
+ if (!ordering2)
+ {
+ *more_sort = 1;
+ return true;
+ }
+
+ if (!ordering1)
+ {
+ *more_sort = 2;
+ return true;
+ }
+
while (ordering1[i] != 0 && ordering2[i] != 0)
{
if (ordering1[i] != ordering2[i])
@@ -119,5 +155,17 @@ equal_sortops_order(Oid *ordering1, Oid *ordering2)
i++;
}
+ if (ordering1[i] != 0 && ordering2[i] == 0)
+ {
+ *more_sort = 1;
+ return true;
+ }
+
+ if (ordering1[i] == 0 && ordering2[i] != 0)
+ {
+ *more_sort = 2;
+ return true;
+ }
+
return ordering1[i] == 0 && ordering2[i] == 0;
}
diff --git a/src/backend/optimizer/util/pathnode.c b/src/backend/optimizer/util/pathnode.c
index 28ab4573741..47b6f3be2b6 100644
--- a/src/backend/optimizer/util/pathnode.c
+++ b/src/backend/optimizer/util/pathnode.c
@@ -7,7 +7,7 @@
*
*
* IDENTIFICATION
- * $Header: /cvsroot/pgsql/src/backend/optimizer/util/pathnode.c,v 1.25 1999/02/11 05:29:08 momjian Exp $
+ * $Header: /cvsroot/pgsql/src/backend/optimizer/util/pathnode.c,v 1.26 1999/02/11 14:59:02 momjian Exp $
*
*-------------------------------------------------------------------------
*/
@@ -158,7 +158,8 @@ better_path(Path *new_path, List *unique_paths, bool *is_new)
Path *path = (Path *) NULL;
List *temp = NIL;
int longer_key;
-
+ int more_sort;
+
foreach(temp, unique_paths)
{
path = (Path *) lfirst(temp);
@@ -176,18 +177,18 @@ better_path(Path *new_path, List *unique_paths, bool *is_new)
length(lfirst(path->pathkeys)) < length(lfirst(new_path->pathkeys)))
sleep(0); /* set breakpoint here */
}
- if (!equal_path_ordering(new_path->path_order, path->path_order))
+ if (!pathorder_match(new_path->pathorder, path->pathorder, &more_sort))
{
printf("oldord\n");
- pprint(path->path_order);
+ pprint(path->pathorder);
printf("neword\n");
- pprint(new_path->path_order);
+ pprint(new_path->pathorder);
}
#endif
if (pathkeys_match(new_path->pathkeys, path->pathkeys, &longer_key))
{
- if (equal_path_ordering(new_path->path_order, path->path_order))
+ if (pathorder_match(new_path->pathorder, path->pathorder, &more_sort))
{
/*
* Replace pathkeys that match exactly, (1,2), (1,2).
@@ -196,18 +197,28 @@ better_path(Path *new_path, List *unique_paths, bool *is_new)
* path if it is not more expensive.
*/
- /* same keys, and new is cheaper, use it */
- if ((longer_key == 0 && new_path->path_cost < path->path_cost) ||
- /* new is longer, and cheaper, use it */
- (longer_key == 1 && new_path->path_cost <= path->path_cost))
+ /* same keys, and new is cheaper, use it */
+ if ((longer_key == 0 && more_sort == 0 &&
+ new_path->path_cost < path->path_cost) ||
+
+ /* new is better, and cheaper, use it */
+ ((longer_key == 1 && more_sort != 2) ||
+ (longer_key != 2 && more_sort == 1)) &&
+ new_path->path_cost <= path->path_cost)
{
*is_new = false;
return new_path;
}
- /* same keys, new is more expensive, stop */
- else if ((longer_key == 0 && new_path->path_cost >= path->path_cost) ||
- /* old is longer, and less expensive, stop */
- (longer_key == 2 && new_path->path_cost >= path->path_cost))
+
+ /* same keys, new is more expensive, stop */
+ else if
+ ((longer_key == 0 && more_sort == 0 &&
+ new_path->path_cost >= path->path_cost) ||
+
+ /* old is better, and less expensive, stop */
+ ((longer_key == 2 && more_sort != 1) ||
+ (longer_key != 1 && more_sort == 2)) &&
+ new_path->path_cost >= path->path_cost)
{
*is_new = false;
return NULL;
@@ -242,9 +253,9 @@ create_seqscan_path(RelOptInfo *rel)
pathnode->pathtype = T_SeqScan;
pathnode->parent = rel;
pathnode->path_cost = 0.0;
- pathnode->path_order = makeNode(PathOrder);
- pathnode->path_order->ordtype = SORTOP_ORDER;
- pathnode->path_order->ord.sortop = NULL;
+ pathnode->pathorder = makeNode(PathOrder);
+ pathnode->pathorder->ordtype = SORTOP_ORDER;
+ pathnode->pathorder->ord.sortop = NULL;
pathnode->pathkeys = NIL;
/*
@@ -292,9 +303,9 @@ create_index_path(Query *root,
pathnode->path.pathtype = T_IndexScan;
pathnode->path.parent = rel;
- pathnode->path.path_order = makeNode(PathOrder);
- pathnode->path.path_order->ordtype = SORTOP_ORDER;
- pathnode->path.path_order->ord.sortop = index->ordering;
+ pathnode->path.pathorder = makeNode(PathOrder);
+ pathnode->path.pathorder->ordtype = SORTOP_ORDER;
+ pathnode->path.pathorder->ord.sortop = index->ordering;
pathnode->indexid = index->relids;
pathnode->indexkeys = index->indexkeys;
@@ -311,7 +322,7 @@ create_index_path(Query *root,
* The index must have an ordering for the path to have (ordering)
* keys, and vice versa.
*/
- if (pathnode->path.path_order->ord.sortop)
+ if (pathnode->path.pathorder->ord.sortop)
{
pathnode->path.pathkeys = collect_index_pathkeys(index->indexkeys,
rel->targetlist);
@@ -323,7 +334,7 @@ create_index_path(Query *root,
* if no index keys were found, we can't order the path).
*/
if (pathnode->path.pathkeys == NULL)
- pathnode->path.path_order->ord.sortop = NULL;
+ pathnode->path.pathorder->ord.sortop = NULL;
}
else
pathnode->path.pathkeys = NULL;
@@ -449,20 +460,20 @@ create_nestloop_path(RelOptInfo *joinrel,
pathnode->path.joinid = NIL;
pathnode->path.outerjoincost = (Cost) 0.0;
pathnode->path.loc_restrictinfo = NIL;
- pathnode->path.path_order = makeNode(PathOrder);
+ pathnode->path.pathorder = makeNode(PathOrder);
if (pathkeys)
{
- pathnode->path.path_order->ordtype = outer_path->path_order->ordtype;
- if (outer_path->path_order->ordtype == SORTOP_ORDER)
- pathnode->path.path_order->ord.sortop = outer_path->path_order->ord.sortop;
+ pathnode->path.pathorder->ordtype = outer_path->pathorder->ordtype;
+ if (outer_path->pathorder->ordtype == SORTOP_ORDER)
+ pathnode->path.pathorder->ord.sortop = outer_path->pathorder->ord.sortop;
else
- pathnode->path.path_order->ord.merge = outer_path->path_order->ord.merge;
+ pathnode->path.pathorder->ord.merge = outer_path->pathorder->ord.merge;
}
else
{
- pathnode->path.path_order->ordtype = SORTOP_ORDER;
- pathnode->path.path_order->ord.sortop = NULL;
+ pathnode->path.pathorder->ordtype = SORTOP_ORDER;
+ pathnode->path.pathorder->ord.sortop = NULL;
}
pathnode->path.path_cost = cost_nestloop(outer_path->path_cost,
@@ -521,9 +532,9 @@ create_mergejoin_path(RelOptInfo *joinrel,
pathnode->jpath.innerjoinpath = inner_path;
pathnode->jpath.pathinfo = joinrel->restrictinfo;
pathnode->jpath.path.pathkeys = pathkeys;
- pathnode->jpath.path.path_order = makeNode(PathOrder);
- pathnode->jpath.path.path_order->ordtype = MERGE_ORDER;
- pathnode->jpath.path.path_order->ord.merge = order;
+ pathnode->jpath.path.pathorder = makeNode(PathOrder);
+ pathnode->jpath.path.pathorder->ordtype = MERGE_ORDER;
+ pathnode->jpath.path.pathorder->ord.merge = order;
pathnode->path_mergeclauses = mergeclauses;
pathnode->jpath.path.loc_restrictinfo = NIL;
pathnode->outersortkeys = outersortkeys;
@@ -587,9 +598,9 @@ create_hashjoin_path(RelOptInfo *joinrel,
pathnode->jpath.pathinfo = joinrel->restrictinfo;
pathnode->jpath.path.loc_restrictinfo = NIL;
pathnode->jpath.path.pathkeys = pathkeys;
- pathnode->jpath.path.path_order = makeNode(PathOrder);
- pathnode->jpath.path.path_order->ordtype = SORTOP_ORDER;
- pathnode->jpath.path.path_order->ord.sortop = NULL;
+ pathnode->jpath.path.pathorder = makeNode(PathOrder);
+ pathnode->jpath.path.pathorder->ordtype = SORTOP_ORDER;
+ pathnode->jpath.path.pathorder->ord.sortop = NULL;
pathnode->jpath.path.outerjoincost = (Cost) 0.0;
pathnode->jpath.path.joinid = (Relid) NULL;
/* pathnode->hashjoinoperator = operator; */
generated by cgit v1.2.3 (git 2.25.1) at 2025-06-02 22:24:29 +0000