• Parte 1:definindo e identificando metas de linha
• Parte 2:Semijunções
• Parte 3:Antijunções

Aplicar o Anti Join com um operador principal

SELECT P.ProductID 
FROM Production.Product AS P
WHERE
    NOT EXISTS
    (
        SELECT 1
        FROM Production.TransactionHistory AS TH
        WHERE TH.ProductID = P.ProductID
    );

Fonte do operador principal

Implementação e custeio

1. A antijunção é transformada de uma junção em uma aplicação no otimizador baseado em custo. Isso define uma meta de linha (conforme estabelecido na parte três).
2. O operador Top(1) também define uma meta de linha em sua subárvore.

O padrão anti-junção

• Um loop aninhado correlacionado (aplicar ) anti-junção
• Um Top (1) operador imediatamente no lado interno
• Um número significativo de linhas na entrada externa (para que o lado interno seja executado muitas vezes)
• Um potencialmente caro subárvore abaixo do topo

Exemplo

DROP TABLE IF EXISTS #T1, #T2;
 
CREATE TABLE #T1 (c1 sql_variant NOT NULL);
CREATE TABLE #T2 (c1 sql_variant NOT NULL);
 
-- Numbers 1 to 500 inclusive
-- Stored as sql_variant
INSERT #T1
    (c1)
SELECT
    CONVERT(sql_variant, SV.number)
FROM master.dbo.spt_values AS SV
WHERE 
    SV.[type] = N'P'
    AND SV.number >= 1
    AND SV.number <= 500;
 
-- 500 copies of each row in table #T1
INSERT #T2 
    (c1)
SELECT
    T1.c1
FROM #T1 AS T1
CROSS JOIN #T1 AS T2;
 
-- Ensure we have the best statistical information possible
CREATE STATISTICS sc1 ON #T1 (c1) WITH FULLSCAN, MAXDOP = 1;
CREATE STATISTICS sc1 ON #T2 (c1) WITH FULLSCAN, MAXDOP = 1;

Desempenho

SELECT
    T1.c1 
FROM #T1 AS T1
WHERE 
    NOT EXISTS
    (
        SELECT 1
        FROM #T2 AS T2
        WHERE T2.c1 = T1.c1
    );

Análise

Uma série de eventos infelizes

• O otimizador introduziu um agregado distinto interno como uma otimização de desempenho .
• Esse agregado fornece uma chave na coluna de junção por definição (produz exclusividade).
• Essa chave construída fornece um destino para a conversão de uma junção para uma aplicação.
• O predicado (seleção) associado à aplicação é empurrado para baixo além da agregação.
• Agora é garantido que o agregado esteja operando em um único valor distinto por iteração (já que é um valor de correlação).
• O agregado é substituído por um Top (1).

Soluções alternativas

Resumo da série

1. Parte 1 – Definindo e identificando metas de linha
• A sintaxe da consulta não determina a presença ou ausência de uma meta de linha.
• Uma meta de linha só é definida quando a meta é menor que a estimativa normal.
• Os operadores físicos principais (incluindo aqueles introduzidos pelo otimizador) adicionam uma meta de linha à subárvore.
• Um FAST ou SET ROWCOUNT A instrução define uma meta de linha na raiz do plano.
• Semi-associação e anti-associação podem adicione uma meta de linha.
• SQL Server 2017 CU3 adiciona o atributo showplan EstimateRowsWithoutRowGoal para operadores afetados por uma meta de linha
• As informações de meta de linha podem ser reveladas por sinalizadores de rastreamento não documentados 8607 e 8612.
2. Parte 2 – Semijunções
• Não é possível expressar uma semijunção diretamente no T-SQL, então usamos sintaxe indireta, por exemplo. IN , EXISTS , ou INTERSECT .
• Essas sintaxes são analisadas em uma árvore contendo uma aplicação (junção correlacionada).
• O otimizador tenta transformar a aplicação em uma junção regular (nem sempre é possível).
• Hash, mesclagem e semijunção de loops aninhados regulares não definem uma meta de linha.
• Aplicar semijunção sempre define uma meta de linha.
• A aplicação de semijunção pode ser reconhecida com referências externas no operador de junção de loops aninhados.
• Aplicar semijunção não usa um operador Top (1) no lado interno.
3. Parte 3 – Anti-junções
• Também analisado em uma aplicação, com uma tentativa de reescrever isso como uma junção (nem sempre possível).
• Hash, mesclagem e antijunção de loops aninhados regulares não definem uma meta de linha.
• Aplicar antijunção nem sempre define uma meta de linha.
• Somente as regras de otimização baseada em custo (CBO) que transformam a antijunção para aplicar definem uma meta de linha.
• A antijunção deve entrar no CBO como uma junção (não se aplica). Caso contrário, a junção para aplicar a transformação não poderá ocorrer.
• Para entrar no CBO como uma junção, a reescrita pré-CBO de aplicar para junção deve ter sido bem-sucedida.
• A CBO só explora a reescrita de uma antijunção para uma aplicação em casos promissores.
• As simplificações pré-CBO podem ser visualizadas com o sinalizador de rastreamento não documentado 8621.
4. Parte 4 – Anti padrão anti-junção
• O otimizador só define uma meta de linha para aplicar antijunção quando há um motivo promissor para isso.
• Infelizmente, várias transformações de otimizador de interação adicionam um operador Top (1) ao lado interno de uma antijunção aplicada.
• O operador Top é redundante; não é necessário para correção ou eficiência.
• O Top sempre define uma meta de linha (ao contrário do apply, que precisa de um bom motivo).
• A meta de linha injustificada pode levar a um desempenho extremamente ruim.
• Cuidado com uma subárvore potencialmente cara sob o topo artificial (1).