Posso criar a seguinte restrição na tabela Person.Person do AdventureWorks:
ALTER TABLE Person.Person ADD CONSTRAINT ConstantScan CHECK (LastName <> N'Doesn''t Exist')
Isso informa ao SQL Server que nenhum LastName pode ter o valor deDoesn't Exist
O Optimizer usa isso a seu favor na seguinte consulta simples:
SELECT *
FROM Person.Person
WHERE LastName = N'Doesn''t Exist'
Como a restrição diz ao otimizador que nada na coluna pode ser igual ao valor que estamos procurando por igualdade (assumindo uma restrição confiável), o otimizador apenas executa uma varredura constante e não faz "nada"
Se eu eliminar a restrição acima e criar uma ligeiramente diferente:
ALTER TABLE Person.Person ADD CONSTRAINT ConstantScan2 CHECK (LastName <> N'Doesn''t Exist' AND FirstName <> N'Doesn''t Exist')
e execute uma consulta com um predicado cujos resultados violariam a restrição de verificação:
SELECT *
FROM Person.Person
WHERE FirstName = N'Doesn''t Exist' AND
LastName = N'Doesn''t Exist'
Obtemos uma busca de índice com uma pesquisa de chave
No entanto, se eu correr
SELECT *
FROM Person.Person
WHERE FirstName = N'Doesn''t Exist' AND
LastName = N'Doesn''t Exist'
com apenas a restrição original no lugar:
ALTER TABLE Person.Person ADD CONSTRAINT ConstantScan CHECK (LastName <> N'Doesn''t Exist')
Mais uma vez, recebo a verificação constante
Por que não podemos obter uma varredura constante ao executar a consulta com dois predicados quando a restrição proíbe seus resultados? Estou certo ao assumir que isso é apenas uma limitação da funcionalidade do otimizador?
A análise de domínio (e qualquer simplificação resultante) só funciona com restrições de verificação no nível da coluna .
Qualquer restrição de verificação que faça referência a apenas uma única coluna é uma restrição de nível de coluna .
Qualquer restrição de verificação que faça referência a várias colunas é uma restrição de nível de tabela .
parent_column_id
insys.check_constraints
é diferente de zero para uma restrição de nível de coluna.Para maior clareza, não importa qual sintaxe é usada para declarar ou adicionar a restrição. Uma restrição de verificação declarada no nível da tabela, mas que referencia apenas uma única coluna, será considerada uma restrição no nível da coluna. Da mesma forma, uma restrição de verificação referenciando apenas uma única coluna adicionada após a criação da tabela será adicionada como uma restrição no nível da coluna.
Sim, isso é uma 'limitação'. A lógica é bastante complicada o suficiente quando apenas as restrições de nível de coluna precisam ser avaliadas em expressões de consulta complexas. Expandir isso para trabalhar com restrições de verificação de várias colunas seria bastante desafiador.
Dito isto, as simplificações iniciais são deliberadamente limitadas a casos comuns que são baratos e fáceis de aplicar. As pessoas acostumadas a otimizar compiladores em linguagens de programação geralmente têm expectativas diferentes para esse tipo de coisa.