KHÔNG (a = 1 VÀ b = 1) so với (a <> 1 VÀ b <> 1)

Trong WHEREmệnh đề của truy vấn SQL, tôi mong muốn hai điều kiện này có cùng hành vi:

NOT (a=1 AND b=1)

đấu với

a<>1 AND b<>1

Điều kiện đầu tiên hoạt động như mong đợi, và trong khi tôi sử dụng điều kiện thứ hai để làm điều tương tự, thì không.

Đây là những thứ rất cơ bản, nhưng xấu hổ là tôi không thể thấy những gì tôi đang làm sai.

Chúng không tương đương.

NOT (a=1 AND b=1)

tương đương với:

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

Sự tương đương này được gọi là De Morgan's Law. Xem ví dụ:

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

Một kỹ thuật hay để chứng minh / từ chối các tương đương cho các biểu thức đại số boolean là sử dụng một cte cho các miền và so sánh các biểu thức cạnh nhau:

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

Chỉnh sửa: Vì DB2 không hỗ trợ kiểu dữ liệu Boolean, tôi đã mở rộng ví dụ tại:

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

Truy vấn viết lại trông giống như:

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;

Kết quả của truy vấn là:

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)

Như được hiển thị exp1 và exp2 là tương đương.

Ví dụ đầu tiên của bạn là nói:

Trả về tất cả các hàng trừ trường hợp cả a = 1 VÀ b = 1

Ví dụ thứ hai của bạn là nói:

Return all rows trừ nơi hoặc một = 1 HOẶC b = 1

Để truy vấn thứ hai trả về giống như truy vấn đầu tiên, bạn nên thay đổi truy vấn của mình ANDthànhOR

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);

Điều này trả về kết quả sau

a   b
0   0
1   0
0   1