TIDAK (a = 1 AND b = 1) vs (a <> 1 AND b <> 1)

Dalam WHEREklausa dari kueri SQL, saya berharap dua kondisi ini memiliki perilaku yang sama:

NOT (a=1 AND b=1)

vs.

a<>1 AND b<>1

Kondisi pertama berperilaku seperti yang diharapkan, dan sementara saya membenarkan kondisi kedua untuk melakukan hal yang sama, itu tidak.

Ini adalah hal yang sangat mendasar, tetapi dengan malu saya tidak dapat melihat apa yang saya lakukan salah.

Mereka tidak setara.

NOT (a=1 AND b=1)

setara dengan:

(NOT a=1 OR NOT b=1) <=> (a<>1 OR b<>1)

Kesetaraan ini dikenal sebagai De Morgan's Law. Lihat misalnya:

https://en.wikipedia.org/wiki/De_Morgan%27s_laws

Teknik yang bagus untuk membuktikan / menyangkal persamaan untuk ekspresi aljabar boolean adalah dengan menggunakan cte untuk domain, dan membandingkan ekspresi berdampingan:

with T(a) as ( values 0,1 )
   , U(a,b) as (select t1.a, t2.a as b 
               from t as t1 
               cross join t as t2
) 
select a,b
    , case when not (a=1 and b=1) then 1 else 0 end
    , case when a<>1 and b<>1 then 1 else 0 end 
from U

A           B           3           4          
----------- ----------- ----------- -----------
          0           0           1           1
          0           1           1           0
          1           0           1           0
          1           1           0           0

Sunting: Karena DB2 tidak mendukung tipe data Boolean, saya memperluas contoh di:

http://sqlfiddle.com/#!15/25e1a/19

Kueri yang ditulis ulang terlihat seperti:

with T(a) as ( values (0),(1),(null) )
   , U(a,b) as (select t1.a, t2.a as b 
                from t as t1 
                cross join t as t2
) 
select a,b
     , not (a=1 and b=1) as exp1 
     , a<>1 or b<>1 as exp2
from U;

Hasil kueri adalah:

a       b       exp1        exp2
--------------------------------
0       0       true        true
0       1       true        true
0       (null)  true        true
1       0       true        true
1       1       false       false
1       (null)  (null)      (null)
(null)  0       true        true
(null)  1       (null)      (null)
(null)  (null)  (null)      (null)

Seperti yang ditunjukkan, exp1 dan exp2 adalah sama.

Contoh pertama Anda mengatakan:

Mengembalikan semua baris kecuali di mana kedua a = 1 AND b = 1

Contoh kedua Anda mengatakan:

Mengembalikan semua baris kecuali di mana baik sebuah = 1 OR b = 1

Agar kueri kedua untuk mengembalikan sama dengan yang pertama, Anda harus mengubah ANDkeOR

CREATE TABLE #Test (a BIT, b BIT);

INSERT INTO #Test
        ( a, b )
VALUES
        ( 0, 0 ),
        ( 1, 0 ),
        ( 0, 1 ),
        ( 1, 1 );

SELECT * FROM #Test AS t
WHERE NOT (a=1 AND b=1);

SELECT * FROM #Test AS t
WHERE (a <> 1 OR b <> 1);

Ini mengembalikan hasil berikut

a   b
0   0
1   0
0   1