현재 INSERT가 성공한다는 사실만으로 관계 수명과 미래 변경 비용이 검증되지는 않습니다.
PK·후보 키·FK 근거
최소·최대 참여 확인
이동·병합·삭제 영향
위반·0행 대사·전환 신호
핵심: 실패·0행 대사와 전환 신호까지 남겨야 다음 설계자가 키 선택의 근거를 재검증할 수 있습니다.