계산 열 인덱스가 사용되지 않음

두 열이 같은지 여부를 기반으로 빠른 조회를 원합니다. 인덱스가있는 계산 열을 사용하려고했지만 SQL Server가이를 사용하지 않는 것 같습니다. 인덱스로 정적으로 채워진 비트 열을 사용하면 예상되는 인덱스 탐색을 얻습니다.

이와 같은 다른 질문이 있지만 인덱스를 사용하지 않는 이유에 초점을 맞춘 것은 없습니다.

테스트 테이블 :

CREATE TABLE dbo.Diffs
    (
    Id int NOT NULL IDENTITY (1, 1),
    DataA int NULL,
    DataB int NULL,
    DiffPersisted  AS isnull(convert(bit, case when [DataA] is null and [DataB] is not null then 1 when [DataA] <> [DataB] then 1 else 0 end), 0) PERSISTED ,
    DiffComp  AS isnull(convert(bit, case when [DataA] is null and [DataB] is not null then 1 when [DataA] <> [DataB] then 1 else 0 end), 0),
    DiffStatic bit not null,
    Primary Key (Id)
    )

create index ix_DiffPersisted on Diffs (DiffPersisted)
create index ix_DiffComp on Diffs (DiffComp)
create index ix_DiffStatic on Diffs (DiffStatic)

그리고 쿼리 :

select Id from Diffs where DiffPersisted = 1
select Id from Diffs where DiffComp = 1
select Id from Diffs where DiffStatic = 1

결과적인 실행 계획은 다음과 같습니다.

COALESCE대신 사용해보십시오 ISNULL. 를 사용 ISNULL하면 SQL Server는 더 좁은 인덱스에 대해 술어를 푸시 할 수 없으므로 정보를 찾기 위해 클러스터 된 클러스터를 스캔해야합니다.

CREATE TABLE dbo.Diffs
    (
    Id int NOT NULL IDENTITY (1, 1),
    DataA int NULL,
    DataB int NULL,
    DiffPersisted  AS COALESCE(convert(bit, case when [DataA] is null 
      and [DataB] is not null then 1 when [DataA] <> [DataB] 
      then 1 else 0 end), 0) PERSISTED ,
    DiffComp  AS COALESCE(convert(bit, case when [DataA] is null 
      and [DataB] is not null then 1 when [DataA] <> [DataB] 
      then 1 else 0 end), 0),
    DiffStatic bit not null,
    Primary Key (Id)
    );

즉, 정적 열을 고수하면 필터링 된 인덱스가 더 적합 할 수 있으며 I / O 비용이 낮습니다 (모두 일반적으로 필터 조건 자와 일치하는 행 수에 따라 다름).

CREATE INDEX ix_DiffStaticFiltered 
  ON dbo.Diffs(DiffStatic)
  WHERE DiffStatic = 1;

이것은 가장 바깥 쪽 ISNULL을 사용할 때 SQL Server 계산 열 일치 논리의 특정 제한 사항이며 열의 데이터 형식은입니다 bit.

버그 리포트

이 문제를 피하기 위해 다음 해결 방법 중 하나를 사용할 수 있습니다.

1. 가장 바깥 쪽을 사용하지 마십시오 ISNULL(계산 열을 만드는 유일한 방법 NOT NULL).
2. bit데이터 유형을 계산 열의 최종 유형으로 사용하지 마십시오 .
3. 계산 된 열을 PERSISTED만들고 추적 플래그 (174)를 활성화한다 .

세부

이 문제의 핵심은 추적 플래그 174가 없으면 쿼리에서 계산 된 모든 열 참조 (지속적 임)가 항상 쿼리 컴파일 초기에 기본 정의로 확장된다는 것입니다.

확장의 개념은 열 이름 만이 아니라 정의에서만 작동 할 수있는 단순화 및 재 작성을 가능하게한다는 것입니다. 예를 들어, 계산의 일부를 중복하거나 더 제한적으로 만들 수있는 계산 열을 참조하는 쿼리에 술어가있을 수 있습니다.

초기 단순화 및 다시 쓰기가 고려되면 쿼리 컴파일은 쿼리의 식을 계산 열 (쿼리 텍스트에서 원래 찾은 열뿐만 아니라 모든 계산 열)과 일치 시키려고합니다.

변경되지 않은 계산 열 식은 대부분의 경우 문제없이 원래 계산 열과 다시 일치합니다. bittype 의 표현식 과 가장 바깥 쪽 을 일치시킬 때 버그가있는 것으로 보입니다 ISNULL. 내부에 대한 자세한 검사에서 성공해야한다고 보여도이 특정 경우에는 일치하지 않습니다.