Aurora DSQL EXPLAIN 计划中的批量嵌套循环联接

当查询将较小的外层输入与 Aurora DSQL 可从存储中高效扫描的内层输入联接时，Aurora DSQL 可以选择 Nested Loop (Batched Join) 计划。此联接类型通过先对多个外层行进行分组，再对内层进行探测，以此减少计算层与存储层之间的往返次数。

标准嵌套循环每次处理一个外层行，并对每个行重新运行一次内层扫描。批量嵌套循环联接会收集一批外层行，为整个批次构建内层扫描工作，然后将返回的内层行联接回匹配的外层行。

批量嵌套循环联接的工作原理

当内层侧是带有参数化的 Index Cond 的索引扫描时，此方法最有效，因为合并后的扫描键可为整个外层批次提供有针对性的存储访问。

Aurora DSQL 何时使用此联接

当联接的内层侧是物理扫描节点（即 Index Scan、Index Only Scan、Full Scan 或 Sequential Scan），且批处理的预计成本低于为每个外层行运行内层扫描的成本时，Aurora DSQL 会考虑批量嵌套循环联接。在实践中，最大的收益通常来自较小的外层输入与带外层侧参数化 Index Cond 的内层索引扫描。

如果另一个计划形态的成本更低（例如哈希联接或合并联接），则 Aurora DSQL 会转而选择该计划。要在调优期间比较各种计划形态，您可以为当前会话禁用批量嵌套循环联接：

SET dsql.enable_batched_nestloop = off;

如何读取批量嵌套循环联接输出

以下查询使用来自阅读 Aurora DSQL EXPLAIN 计划的示例 transaction 和 account 表：

EXPLAIN
SELECT t.account_id, a.balance
FROM transaction t
LEFT JOIN account a
  ON t.account_id = a.customer_id
 AND a.balance > CASE
                    WHEN t.description LIKE 'fee%' THEN 0
                    ELSE 100
                  END
WHERE t.transaction_date >= '2025-01-01'
  AND (a.status = 'active' OR a.customer_id IS NULL)
ORDER BY t.account_id;

EXPLAIN 计划可包含类似于以下内容的输出：

Sort
  Sort Key: t.account_id
  -> Nested Loop (Batched Join)
       Filter: (((status)::text = 'active'::text) OR (customer_id IS NULL))
       Join Type: Left
       Recheck Cond: (customer_id = t.account_id)
       Join Filter: (balance > CASE WHEN (t.description ~~ 'fee%'::text) THEN '0'::numeric ELSE '100'::numeric END)
       -> Full Scan (btree-table) on transaction t
            -> Storage Scan on transaction t
                 Filters: (transaction_date >= '2025-01-01 00:00:00'::timestamp without time zone)
                 -> B-Tree Scan on transaction t
       -> Index Only Scan using idx1 on account a
            Index Cond: (customer_id = t.account_id)