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

Question

我有一个带有布尔列的表 - "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 文档。