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

WHERESQL 쿼리 의 절 에서이 두 가지 조건이 동일한 동작을 갖기를 기대합니다.

NOT (a=1 AND b=1)

vs

a<>1 AND b<>1

첫 번째 조건은 예상대로 작동하며 두 번째 조건은 동일한 작업을 수행하지만 효과는 없습니다.

이것은 매우 기본적인 것들이지만, 부끄럽게도 내가 뭘 잘못하고 있는지 알 수 없습니다.

그것들은 동등하지 않습니다.

NOT (a=1 AND b=1)

다음과 같습니다.

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

이 동등성을라고합니다 De Morgan's Law. 예를 들어 :

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

부울 대수 표현식에 대한 동등성을 증명 / 반증하는 좋은 기술은 도메인에 cte를 사용하고 표현식을 나란히 비교하는 것입니다.

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

편집 : DB2는 부울 데이터 유형을 지원하지 않으므로 다음에서 예제를 확장했습니다.

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

다시 작성된 쿼리는 다음과 같습니다.

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;

쿼리 결과는 다음과 같습니다.

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)

표시된 것처럼 exp1과 exp2는 동일합니다.

첫 번째 예는 다음과 같습니다.

모든 행 반환을 제외한 곳에 둘 A = 1 AND B = 1

두 번째 예는 다음과 같습니다.

모든 행 반환 을 제외한 곳 중 A는 1 = OR B = 1

두 번째 검색어가 첫 번째 검색어와 동일하게 반환 AND되도록하려면OR

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

결과는 다음과 같습니다.

a   b
0   0
1   0
0   1