일관성은 DB 제약과 업무 규칙을 함께 통과해야 한다
DBMS가 선언 제약을 검사하고, 애플리케이션은 트랜잭션 안에서 비즈니스 불변식을 지킵니다.
DBMS 검사
PK, FK, CHECK, NOT NULL처럼 선언 가능한 규칙을 즉시 막습니다.애플리케이션 검사총액 보존, 재고 차감 조건처럼 업무 의미가 필요한 규칙을 코드로 확인합니다.
이체 전A 500 + B 200 = 700일관된 시작 상태입니다.
→
이체 후A 400 + B 300 = 700업무 규칙까지 보존되어야 커밋합니다.
트랜잭션 경계검증과 변경을 같은 경계 안에 넣어 중간 상태 노출을 줄입니다.
일관성은 DB만의 일이 아니라, DB 제약과 업무 규칙이 같은 결정 안에서 함께 성공하는 상태입니다.