x NOT IN (1, NULL)은 x<>1 AND x<>NULL이라 두 번째 비교가 참이 될 수 없습니다.
TRUE AND UNKNOWN → WHERE에서 제거
대응 행이 0개인지 검사 · NULL 목록 영향 없음
핵심: 관계 부재는 NULL 허용 목록을 정리하는 임시 처방보다 NOT EXISTS 상관 조건으로 직접 표현합니다.