concurrency control and recovery