advanced database project, Distributed replicate concurrency control and recovery