PK, FK, CHECK, NOT NULL 같은 선언적 제약을 검사한다.
Consistency
일관성은 제약 조건과 업무 규칙이 함께 만든다
DBMS는 선언적 제약을 검사하고, 애플리케이션은 업무 불변식을 트랜잭션 안에서 지켜야 한다.
DB 제약
업무 규칙
검증
총액 보존, 재고 차감 조건 같은 업무 규칙을 함께 검증한다.
검증과 변경을 같은 경계 안에 넣어 중간 상태 노출을 줄인다.