트랜잭션 수행 전후에 데이터베이스가 정의된 제약조건을 만족해야 한다는 성질은?