대상 예측
키와 건수 기록
변경 전후 일치 검사는 다음 DML의 기본 절차가 된다
한 번의 성공을 믿지 않고 변경 대상·영향 행·결과 불변식을 같은 형식으로 반복합니다.
변경 실행
보호 조건 포함
영향 확인
ROW_COUNT 비교
불변식 대사
전후 합계·참조 검사
다음 변경도 같은 증거 형식으로 반복
핵심: NULL·시간대·LIMIT·자동 커밋처럼 조건 범위를 바꾸는 요소도 매 순환에서 함께 확인합니다.
한 번의 성공을 믿지 않고 변경 대상·영향 행·결과 불변식을 같은 형식으로 반복합니다.
키와 건수 기록
보호 조건 포함
ROW_COUNT 비교
전후 합계·참조 검사
핵심: NULL·시간대·LIMIT·자동 커밋처럼 조건 범위를 바꾸는 요소도 매 순환에서 함께 확인합니다.