4. 트랜잭션, 동시성 제어 및 회복