BitmapAnd

说明

对各子计划生成的位图求交集。

核心节点标签

T_BitmapAnd

结构化 EXPLAIN 节点类型

BitmapAnd

输入

产生位图的子计划

输出

元组位置位图，不是元组流

执行器初始化函数

ExecInitBitmapAnd

内存机制

unclassified

EXPLAIN 名称与属性

结构化格式使用上述 Node Type。文本格式名称还可能包含操作、策略、连接类型、扫描方向或聚合阶段属性。

此源码记录的文本名称：BitmapAnd.

并行感知与并行安全是不同的计划属性。在并行工作进程内运行的节点不一定是并行感知节点。

内存与临时存储

本次抽取不为此节点设定统一的内存上限或落盘策略。请查看同一构建的实现、相关表达式或提供方。

并行执行与运行信息采集

以下源码回调可以协调执行或收集工作进程的测量数据。回调存在不代表该节点普遍支持共享并行扫描或共享状态。

此构建的回调：none extracted from this node implementation.

同版本手册说明

由于实现上的限制，BitmapAnd 和 BitmapOr 节点报告的实际行数始终为零。

本版手册中的示例

示例摘自 PostgreSQL 18.6 手册；本百科未实际执行此示例。

如果 WHERE 引用的多个列上分别建有索引，规划器可能选择用 AND 或 OR 组合这些索引：

EXPLAIN SELECT * FROM tenk1 WHERE unique1 < 100 AND unique2 > 9000;

                                     QUERY PLAN
-------------------------------------------------------------------------------------
 Bitmap Heap Scan on tenk1  (cost=25.07..60.11 rows=10 width=244)
   Recheck Cond: ((unique1 < 100) AND (unique2 > 9000))
   ->  BitmapAnd  (cost=25.07..25.07 rows=10 width=0)
         ->  Bitmap Index Scan on tenk1_unique1  (cost=0.00..5.04 rows=100 width=0)
               Index Cond: (unique1 < 100)
         ->  Bitmap Index Scan on tenk1_unique2  (cost=0.00..19.78 rows=999 width=0)
               Index Cond: (unique2 > 9000)

示例摘自 PostgreSQL 18.6 手册；本百科未实际执行此示例。

EXPLAIN 有一个 BUFFERS 选项，可为给定查询在规划和执行期间执行的 I/O 操作提供更详细的信息。显示出来的缓冲区数字，是该节点及其所有子节点所命中的、读取的、弄脏的和写出的非去重缓冲区总数。 ANALYZE 选项会隐式启用 BUFFERS 。如果不希望如此，也可以显式关闭 BUFFERS ：

EXPLAIN (ANALYZE, BUFFERS OFF) SELECT * FROM tenk1 WHERE unique1 < 100 AND unique2 > 9000;

                                                           QUERY PLAN
---------------------------------------------------------------------------------------------------------------------------------
 Bitmap Heap Scan on tenk1  (cost=25.07..60.11 rows=10 width=244) (actual time=0.105..0.114 rows=10.00 loops=1)
   Recheck Cond: ((unique1 < 100) AND (unique2 > 9000))
   Heap Blocks: exact=10
   ->  BitmapAnd  (cost=25.07..25.07 rows=10 width=0) (actual time=0.100..0.101 rows=0.00 loops=1)
         ->  Bitmap Index Scan on tenk1_unique1  (cost=0.00..5.04 rows=100 width=0) (actual time=0.027..0.027 rows=100.00 loops=1)
               Index Cond: (unique1 < 100)
               Index Searches: 1
         ->  Bitmap Index Scan on tenk1_unique2  (cost=0.00..19.78 rows=999 width=0) (actual time=0.070..0.070 rows=999.00 loops=1)
               Index Cond: (unique2 > 9000)
               Index Searches: 1
 Planning Time: 0.162 ms
 Execution Time: 0.143 ms

执行器实现说明

说明：BitmapAnd 不使用左右子树，而像 Append 一样维护子计划列表。不过其逻辑比 Append 简单得多，因为无需处理正向或反向执行。

对每个待执行计划调用 ExecInitNode，并将结果保存到 bitmapplanstates 数组。

BitmapAnd 计划没有表达式上下文，因为它们从不调用 ExecQual 或 ExecProject，也不需要元组槽。

如果在任何阶段得到完全为空的位图，就可以直接退出，无需执行剩余子计划，因为再进行 AND 运算也不会改变结果。（注意：indxpath.c 按选择率对子计划排序，应当能提高出现这种情况的概率。）

ExecReScan 不知道当前节点的子计划，因此必须自行通知子计划哪些参数发生了变化。

核心源码中的 EXPLAIN 标识

case T_BitmapAnd:
			pname = sname = "BitmapAnd";
			break;

相关条目

• EXPLAIN
• 使用 EXPLAIN
• 并行计划

文档与源码

• src/backend/commands/explain.c:1415
• src/backend/executor/execProcnode.c:196
• src/backend/executor/nodeBitmapAnd.c
• src/include/nodes/plannodes.h
• PostgreSQL 18.6 · using-explain
• PostgreSQL 18.6 · using-explain
• PostgreSQL 18.6 · using-explain

版本比较

PostgreSQL 17 → 18: 无变化。

比较已记录的接口与属性，排除来源指纹和构建元数据。某个样本中没有记录，不能据此判断实际引入或移除的版本。

相关条目

• Bitmap Index ScanBitmapIndexScan
• BitmapOrBitmapOr