Junções de loop aninhado em lote nos planos EXPLAIN do Aurora DSQL

Quando uma consulta faz a junção de uma entrada externa pequena com uma entrada interna que o Aurora DSQL pode examinar com eficiência a partir do armazenamento, o Aurora DSQL pode escolher um plano Nested Loop (Batched Join). Esse tipo de junção reduz as viagens de ida e volta entre as camadas de computação e armazenamento ao agrupar várias linhas externas antes de consultar o lado interno.

Um loop aninhado padrão processa uma linha externa por vez e executa novamente a verificação interna para cada linha. Uma junção de loop aninhado em lote coleta um lote de linhas externas, cria o trabalho de verificação interna para todo o lote e, em seguida, faz a junção das linhas internas retornadas novamente com as linhas externas correspondentes.

Como funcionam as junções de loop aninhado em lote

Essa abordagem é mais útil quando o lado interno é uma varredura de índice com um Index Cond parametrizado, porque as chaves de varredura combinadas fornecem acesso direcionado ao armazenamento para todo o lote externo.

Quando o Aurora DSQL usa essa junção

O Aurora DSQL considera junções de loop aninhado em lote quando o lado interno da junção é um nó de varredura física, ou seja, um Index Scan, Index Only Scan, Full Scan ou Sequential Scan, e quando se espera que o uso de lotes tenha um custo menor do que executar a varredura interna para cada linha externa. Na prática, o maior benefício geralmente ocorre com uma entrada externa menor e uma varredura de índice interna com um Index Cond parametrizado pelo lado externo.

Se outra forma de plano for mais econômica, como uma junção hash ou uma junção merge, o Aurora DSQL escolherá esse plano. Para comparar as formas de plano durante o ajuste, é possível desabilitar as junções de loop aninhado em lote para a sessão atual:

SET dsql.enable_batched_nestloop = off;

Como ler a saída de uma junção de loop aninhado em lote

A consulta a seguir usa as tabelas de exemplo transaction e account de Ler os planos EXPLAIN do Aurora DSQL:

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;

Um plano EXPLAIN pode incluir uma saída semelhante à seguinte:

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)