BJ.43-1 concurrency control 기초 이론: schedule과 serializability 설명! 트랜잭션 isolation 보장을 위한 이론