타입 검사만 통과해도 업무상 틀릴 수 있다

DBMS는 문서에만 적힌 상태 전이와 열 조합 규칙을 스스로 추론하지 않습니다.

물리적으로 유효

status='UNKNOWN' · 빈 title · PUBLISHED+NULL

업무 규칙까지 유효

허용 상태 · 비어 있지 않은 제목 · 시각 조합 일치

핵심: 모든 쓰기 경로가 공유해야 할 행 내부 규칙은 이름 있는 CHECK와 NOT NULL로 실행 가능하게 만듭니다.