대상 PK와 현재값을 읽고 보호 조건이 있는 변경을 수행한 뒤 같은 트랜잭션에서 결과를 재확인합니다.
PK·현재값·예상 건수
키 + 기대 상태
UPDATE 또는 DELETE
ROW_COUNT + 다시 조회
일치하면 COMMIT, 아니면 ROLLBACK
핵심: ROW_COUNT가 예상과 다르면 동시 변경이나 조건 오류이므로 커밋 대신 원인을 조사합니다.