Давайте дадим следующую таблицу в SQL Server 2016
-- generating 1M test table with four attributes
WITH x AS
(
SELECT n FROM (VALUES (0),(1),(2),(3),(4),(5),(6),(7),(8),(9)) v(n)
), t1 AS
(
SELECT ones.n + 10 * tens.n + 100 * hundreds.n + 1000 * thousands.n + 10000 * tenthousands.n + 100000 * hundredthousands.n as id
FROM x ones, x tens, x hundreds, x thousands, x tenthousands, x hundredthousands
)
SELECT id,
id % 50 predicate_col,
row_number() over (partition by id % 50 order by id) join_col,
LEFT('Value ' + CAST(CHECKSUM(NEWID()) AS VARCHAR) + ' ' + REPLICATE('*', 1000), 1000) as padding
INTO TestTable
FROM t1
GO
-- setting the 'id' as a primary key (therefore, creating a clustered index)
ALTER TABLE TestTable ALTER COLUMN id int not null
GO
ALTER TABLE TestTable ADD CONSTRAINT pk_TestTable_id PRIMARY KEY (id)
-- creating a non-clustered index
CREATE NONCLUSTERED INDEX ix_TestTable_predicate_col_join_col
ON TestTable (predicate_col, join_col)
GO
Хорошо, и теперь, когда я запускаю следующие запросы, имеющие только несколько разные предикаты (b.predicate_col <= 0 против b.predicate_col = 0), я получил совершенно разные планы.
-- Q1
select b.id, b.predicate_col, b.join_col, b.padding
from TestTable b
join TestTable a on b.join_col = a.id
where a.predicate_col = 1 and b.predicate_col <= 0
option (maxdop 1)
-- Q2
select b.id, b.predicate_col, b.join_col, b.padding
from TestTable b
join TestTable a on b.join_col = a.id
where a.predicate_col = 1 and b.predicate_col = 0
option (maxdop 1)
Если я посмотрю на планы запросов, то ясно, что он сначала хочет присоединиться к поиску ключа вместе с некластеризованным поиском индекса, а затем он делает окончательное соединение с некластеризованным индексом в случае Q1 (что плохо). Гораздо лучшее решение в случае Q2: он сначала присоединяется к некластеризованным индексам, а затем выполняет окончательный поиск ключа.
Вопрос в том, почему это так, и я могу как-то улучшить его?
В моем интуитивном понимании гистограмм должно быть легко оценить правильный результат для обоих вариантов предикатов (b.predicate_col <= 0 vs. b.predicate_col = 0
), поэтому почему разные планы запросов?
РЕДАКТИРОВАТЬ:
На самом деле, я не хочу менять индексы или физическую структуру таблицы. Я хотел бы понять, почему он выбирает такой плохой план запроса в случае Q1. Поэтому мой вопрос в точности такой: почему он выбирает такой плохой план запроса в случае Q1 и могу ли я улучшить, не изменяя физический дизайн?
Я проверил оценки результатов в плане запроса, и оба плана запроса имеют точные оценки числа строк для каждого оператора! Я проверил структуру памятки результатов (OPTION (QUERYTRACEON 3604, QUERYTRACEON 8615, QUERYTRACEON 8620)
) и правила, применяемые во время компиляции (OPTION (QUERYTRACEON 3604, QUERYTRACEON 8619, QUERYTRACEON 8620)
), и кажется, что он завершает поиск плана запроса один раз он ударил по первому плану. Это причина такого поведения?