查询规划器如何估算行数
跟踪从 pg_statistic 到选择性估算的过程,了解其如何得出影响计划选择的基数。
查询规划器如何估算行数 是 CoddyKit 上的免费 PostgreSQL Performance & Query Optimization 课时。 这是第 1 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 PostgreSQL Performance & Query Optimization 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 PostgreSQL Performance & Query Optimization 课程共包含 4 节课。
本课时的部分内容尚未翻译,以英文显示。
Why Row Estimates Drive Everything
Before PostgreSQL executes a query, the planner must decide how to run it: sequential scan vs. index scan, nested loop vs. hash join, which table to drive a join from. Every one of these decisions hinges on a single guess: how many rows will each step produce?
- If the planner thinks a filter returns 5 rows, an index scan + nested loop looks cheap.
- If it thinks the same filter returns 5 million rows, a sequential scan + hash join wins.
These row-count guesses are called cardinality estimates. When they are wrong, the planner picks a bad plan even though its cost model is perfectly sound. This lesson traces exactly where those numbers come from.
Reading Estimates from EXPLAIN
Every node in an EXPLAIN plan reports the planner's estimate. The rows= value is the estimated cardinality for that node. Run EXPLAIN ANALYZE to compare it against the real count.
(cost=… rows=120 …)is the estimate.(actual … rows=118 …)is the truth.
A large gap between estimated and actual rows is the single most common root cause of slow plans. Train your eye to scan for it first.
EXPLAIN ANALYZE
SELECT *
FROM orders
WHERE status = 'shipped'
AND country = 'DE';Where the Numbers Live: pg_statistic
The planner does not look at your data at plan time. It reads pre-computed summaries from the system catalog pg_statistic, populated by ANALYZE (run automatically by autovacuum). The human-readable view over it is pg_stats.
For each column, pg_stats exposes the building blocks of estimation:
null_frac— fraction of NULLs.n_distinct— number of distinct values.most_common_vals/most_common_freqs— the MCV list.histogram_bounds— buckets for the non-MCV remainder.
SELECT attname, null_frac, n_distinct,
most_common_vals, most_common_freqs
FROM pg_stats
WHERE tablename = 'orders'
AND attname = 'status';Selectivity: The Core Fraction
Selectivity is the fraction of rows a predicate is estimated to keep, between 0 and 1. The estimated row count is simply:
estimated_rows = selectivity × total_rows
where total_rows comes from pg_class.reltuples (also refreshed by ANALYZE). So estimation reduces to two questions: what is the table's row count, and what fraction survives each predicate? Everything else is detail about how that fraction is computed.
SELECT relname, reltuples::bigint AS est_rows, relpages
FROM pg_class
WHERE relname = 'orders';Equality on a Common Value: the MCV List
For column = 'value', the planner first checks the most_common_vals (MCV) list. If the value is there, it uses the exact frequency from most_common_freqs — no math, just a lookup.
Example: if most_common_vals = {shipped, pending, cancelled} and most_common_freqs = {0.62, 0.25, 0.08}, then status = 'shipped' has selectivity 0.62. On a 1,000,000-row table that estimates 620,000 rows.
MCVs make skewed distributions estimate accurately — the planner knows exactly how popular the hot values are.
-- shipped is an MCV: selectivity = its stored frequency
SELECT most_common_vals, most_common_freqs
FROM pg_stats
WHERE tablename = 'orders' AND attname = 'status';Equality on a Rare Value: the Residual
If the value is not in the MCV list, the planner assumes all non-MCV values are equally likely. It computes the leftover probability mass and spreads it evenly:
residual = 1 − sum(most_common_freqs) − null_fracn_distinct_residual = n_distinct − count(MCVs)selectivity = residual / n_distinct_residual
This is why estimates for rare values can be poor when the long tail is itself skewed: the uniform assumption inside the residual breaks down. MCVs cover the head; the residual is a flat approximation of the tail.
Range Predicates: the Histogram
For inequalities like amount > 500 or created_at BETWEEN …, the planner uses histogram_bounds. These bounds divide the non-MCV values into buckets each holding roughly the same number of rows (equi-depth, not equi-width).
To estimate amount < X, it finds where X falls among the bounds and interpolates linearly within the containing bucket. With N buckets, each represents about 1/N of the non-MCV rows, so the planner counts whole buckets below X plus a fractional slice of the boundary bucket.
SELECT histogram_bounds
FROM pg_stats
WHERE tablename = 'orders' AND attname = 'amount';Combining Predicates: the Independence Trap
With multiple AND conditions on different columns, PostgreSQL multiplies their selectivities, assuming the columns are statistically independent:
sel(A AND B) = sel(A) × sel(B)
If status = 'shipped' is 0.62 and country = 'DE' is 0.10, the planner estimates 0.062 of the table. But if shipped orders are mostly German, the real fraction could be 0.30 — a 5× underestimate. Correlated columns are where single-column stats fail and plans collapse.
EXPLAIN
SELECT * FROM orders
WHERE status = 'shipped' -- sel ≈ 0.62
AND country = 'DE'; -- sel ≈ 0.10 → planner guesses 0.062Fixing Correlation: Extended Statistics
When columns are correlated, create extended statistics with CREATE STATISTICS. The dependencies kind teaches the planner functional dependencies; mcv stores multi-column most-common-value combinations so AND predicates are estimated jointly instead of multiplied.
After creating the object you must run ANALYZE on the table to populate it. Then the planner reads the joint distribution and stops assuming independence for those columns.
CREATE STATISTICS orders_status_country (dependencies, mcv)
ON status, country
FROM orders;
ANALYZE orders;Joins: Propagating Cardinality
Join row counts build on the per-table estimates. For an equi-join, PostgreSQL estimates output rows roughly as:
rows ≈ (outer_rows × inner_rows) / max(n_distinct_outer, n_distinct_inner)
using the join key's n_distinct from each side. This is why a bad single-table estimate cascades: if the planner thinks a filtered side has 5 rows when it really has 50,000, every join above it inherits the error and may choose a nested loop that runs 50,000 times instead of a hash join.
EXPLAIN ANALYZE
SELECT c.name, o.amount
FROM customers c
JOIN orders o ON o.customer_id = c.id
WHERE c.country = 'DE';Keeping Estimates Honest
Estimates are only as good as the statistics behind them. Practical levers:
- Run
ANALYZEafter bulk loads; let autovacuum keep stats fresh. - Raise resolution on skewed columns with
ALTER TABLE … ALTER COLUMN … SET STATISTICS n(larger MCV list and histogram). - Add
CREATE STATISTICSfor correlated column groups. - Compare
EXPLAIN ANALYZEestimated vs. actual rows to find the node where the guess first goes wrong.
You debug from the bottom of the plan up: the first node with a large estimate/actual gap is usually the real culprit.
ALTER TABLE orders ALTER COLUMN amount SET STATISTICS 500;
ANALYZE orders;Quick Check: Combining Selectivities
Apply the estimation rules to a concrete case.
Recap: From Catalog to Cardinality
You can now trace a row estimate end to end:
- ANALYZE fills
pg_statistic/pg_statsand setsreltuples. - Equality uses the MCV list when the value is common, otherwise the uniform residual over
n_distinct. - Ranges interpolate within equi-depth
histogram_bounds. - Multiple ANDs multiply selectivities, assuming independence — the main source of estimation error.
- Extended statistics (
dependencies,mcv) fix correlated columns. - Joins combine per-side estimates via join-key
n_distinct, so single-table errors cascade upward.
Selectivity × row count produces the cardinalities that drive scan, join, and order choices. Master this and EXPLAIN output stops being mysterious — it becomes a story you can read.
常见问题解答
「查询规划器如何估算行数」课时是免费的吗?
是的 — 「查询规划器如何估算行数」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 PostgreSQL Performance & Query Optimization 课程的其余内容,请升级到 CoddyKit PRO。 PostgreSQL Performance & Query Optimization 课程共包含 4 节课。
「查询规划器如何估算行数」这节课中我会学到什么?
跟踪从 pg_statistic 到选择性估算的过程,了解其如何得出影响计划选择的基数。 你通过在浏览器中直接运行的动手代码来练习 PostgreSQL Performance & Query Optimization,全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 PostgreSQL Performance & Query Optimization 需要有经验吗?
无需任何先前经验。CoddyKit 上的 PostgreSQL Performance & Query Optimization 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 1 节课,共 4 节。
「查询规划器如何估算行数」课时需要多长时间?
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。
我能在这节 PostgreSQL Performance & Query Optimization 课中编写并运行代码吗?
能。每节 PostgreSQL Performance & Query Optimization 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。
此课程中的所有课时
- 查询规划器如何估算行数
- 相关列的多变量统计信息
- MCV 与不同值数量修正
- 将估算值与实际行数进行验证