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