postgres中解释的索引和过滤器部分中的布尔列

Question

我有一个带有布尔值列的 table - "is_woman" bool DEFAULT true

我有一个包含此列的 btree 索引（以及一些其他列，如年龄、城镇等）- is_woman ASC NULLS LAST

我对此列有疑问 - is_woman IS FALSE

结果我得到了解释：

-> Index Scan using woman_idx on superjob (cost=... rows=... width=32) (actual time=... rows=... loops=1)
 Index Cond: (town = 1) AND (is_woman = false) AND (age >= 35) AND (age <= 60))
 Filter: (is_woman IS FALSE)

为什么有两个is_woman条件？一个在索引部分，第二个 - 在过滤器中？

已更新

在@dmitry 的帮助下，我创建了两个 partial indexes：一个是 is_woman is false 的男性，第二个是 is_woman is true 的女性。

Explain 对于相同的查询：

Bitmap Index Scan on is_woman_woman_idx (...) (actual time=469.446..469.446 rows=406867 loops=1) Index Cond: ((age >= 1) AND (town = 1)) Execution time: 1827.239 ms

没有 Filter 部分，此查询运行速度更快：

• 实际时间2.227..2754.378→469.446..469.446
• 执行时间2792.804 ms→1827.239 ms

Answer 1

已更新

我看不出这个 EXPLAIN 有什么问题，除了您正在索引 boolean 列这一事实（显然，该列具有低基数字段）。它 可能 使用 Partial Index 定义如下：

CREATE INDEX ON yourtable WHERE is_woman = FALSE;

至于问题本身，您有一个条件为 WHERE ... 的查询。 Postgres planner/optimizer 决定使用 woman_idx 索引扫描而不是顺序扫描 - Index Cond 指示用于索引扫描。

如果你能看到 Filter 语句，这意味着 计划节点 检查它扫描的每一行的条件（在我们的例子中，每个 woman_idx 扫描), 只输出满足条件的。有关详细信息，请查看 EXPLAIN 文档。