제약 강화 전 경계값과 기존 행을 먼저 검사한다

새 CHECK가 문법상 생성되는 것과 모든 기존·신규 행을 정확히 막는 것은 별개의 완료 조건입니다.

기존 행과 경계 사례가 새 계약을 만족하는가?메타데이터 확인 뒤 정상·오류 입력을 쌍으로 실행

위반 행 존재

먼저 보정하고 다시 집계

UNKNOWN 통과

NOT NULL 필요 여부 확인

경계 모두 일치

제약 적용 후 오류 이름 기록

핵심: NULL·빈 문자열·경계 바로 밖·열 조합을 통과와 거절 양쪽에서 실행해야 제약의 실제 범위가 보입니다.