Null と等しい場合の論理ハザードを考慮する
null が存在し、未知の値が として扱われる場合、等価演算子は未知の値を生成しますfalse
。
Not (unknown)
まだまだunknown
です。
(a1, b1)
以下の例では、カップルが に等しいかどうかを尋ねます(a2, b2)
。各列には 、 、 の 3 つ0
の1
値があることに注意してくださいNULL
。
DECLARE @t table (a1 bit, a2 bit, b1 bit, b2 bit)
Insert into @t (a1 , a2, b1, b2)
values( 0 , 0 , 0 , NULL )
select
a1,a2,b1,b2,
case when (
(a1=a2 or (a1 is null and a2 is null))
and (b1=b2 or (b1 is null and b2 is null))
)
then
'Equal'
end,
case when not (
(a1=a2 or (a1 is null and a2 is null))
and (b1=b2 or (b1 is null and b2 is null))
)
then
'Not Equal'
end,
case when (
(a1<>a2 or (a1 is null and a2 is not null) or (a1 is not null and a2 is null))
or (b1<>b2 or (b1 is null and b2 is not null) or (b1 is not null and b2 is null))
)
then
'Different'
end
from @t
ここで、期待される結果は次のとおりであることに注意してください。
しかし、代わりに、別の結果が得られます
- Equal は null です - 予想どおりです。
- 等しくないのは null ???
- 違いは違います-私たちが期待したこと。