세 불변식은 서로 다른 제약으로 저장 경계를 지킨다

게시글 한 행의 작성자 존재·조회수 범위·요청 중복을 각 책임에 맞는 제약으로 표현합니다.

post_integrity_demo게시글 저장 불변식

FOREIGN KEY

존재하는 author만

CHECK

view_count ≥ 0

UNIQUE

author_id + request_key

PRIMARY KEY

게시글 행 정체성

핵심: 제약 이름을 명시하면 오류 로그만으로도 참조·도메인·중복 중 어느 규칙이 작동했는지 알 수 있습니다.