상용 데이터베이스에서 트랜잭션의 원자성(atomicity)을 보장하기 위해 사용되는 파일은?