v1-fix-misfactoring-of-function-selectivity.patch
text/x-diff
Filename: v1-fix-misfactoring-of-function-selectivity.patch
Type: text/x-diff
Part: 0
Patch
Same data as JSON:
GET /api/v1/attachments/:id/patch
the parsed metadata as JSON — format, series position, per-file stats; never the diff bytes.
API reference →
Format: unified
Series: patch v1
| File | + | − |
|---|---|---|
| src/backend/optimizer/path/clausesel.c | 4 | 0 |
| src/backend/optimizer/util/plancat.c | 4 | 13 |
| src/backend/utils/adt/selfuncs.c | 11 | 0 |
diff --git a/src/backend/optimizer/path/clausesel.c b/src/backend/optimizer/path/clausesel.c
index 5d51f97f219..d0f516b7645 100644
--- a/src/backend/optimizer/path/clausesel.c
+++ b/src/backend/optimizer/path/clausesel.c
@@ -874,6 +874,10 @@ clause_selectivity_ext(PlannerInfo *root,
varRelid,
jointype,
sjinfo);
+
+ /* If no support, fall back on boolvarsel */
+ if (s1 < 0)
+ s1 = boolvarsel(root, clause, varRelid);
}
else if (IsA(clause, ScalarArrayOpExpr))
{
diff --git a/src/backend/optimizer/util/plancat.c b/src/backend/optimizer/util/plancat.c
index f8641204a67..da5d901ec3c 100644
--- a/src/backend/optimizer/util/plancat.c
+++ b/src/backend/optimizer/util/plancat.c
@@ -2143,9 +2143,8 @@ join_selectivity(PlannerInfo *root,
/*
* function_selectivity
*
- * Returns the selectivity of a specified boolean function clause.
- * This code executes registered procedures stored in the
- * pg_proc relation, by calling the function manager.
+ * Attempt to estimate the selectivity of a specified boolean function clause
+ * by asking its support function. If the function lacks support, return -1.
*
* See clause_selectivity() for the meaning of the additional parameters.
*/
@@ -2163,15 +2162,8 @@ function_selectivity(PlannerInfo *root,
SupportRequestSelectivity req;
SupportRequestSelectivity *sresult;
- /*
- * If no support function is provided, use our historical default
- * estimate, 0.3333333. This seems a pretty unprincipled choice, but
- * Postgres has been using that estimate for function calls since 1992.
- * The hoariness of this behavior suggests that we should not be in too
- * much hurry to use another value.
- */
if (!prosupport)
- return (Selectivity) 0.3333333;
+ return (Selectivity) -1; /* no support function */
req.type = T_SupportRequestSelectivity;
req.root = root;
@@ -2188,9 +2180,8 @@ function_selectivity(PlannerInfo *root,
DatumGetPointer(OidFunctionCall1(prosupport,
PointerGetDatum(&req)));
- /* If support function fails, use default */
if (sresult != &req)
- return (Selectivity) 0.3333333;
+ return (Selectivity) -1; /* function did not honor request */
if (req.selectivity < 0.0 || req.selectivity > 1.0)
elog(ERROR, "invalid function selectivity: %f", req.selectivity);
diff --git a/src/backend/utils/adt/selfuncs.c b/src/backend/utils/adt/selfuncs.c
index 1c480cfaaf7..e5e066a5537 100644
--- a/src/backend/utils/adt/selfuncs.c
+++ b/src/backend/utils/adt/selfuncs.c
@@ -1528,6 +1528,17 @@ boolvarsel(PlannerInfo *root, Node *arg, int varRelid)
selec = var_eq_const(&vardata, BooleanEqualOperator, InvalidOid,
BoolGetDatum(true), false, true, false);
}
+ else if (is_funcclause(arg))
+ {
+ /*
+ * If we have no stats and it's a function call, estimate 0.3333333.
+ * This seems a pretty unprincipled choice, but Postgres has been
+ * using that estimate for function calls since 1992. The hoariness
+ * of this behavior suggests that we should not be in too much hurry
+ * to use another value.
+ */
+ selec = 0.3333333;
+ }
else
{
/* Otherwise, the default estimate is 0.5 */