Transactions: Concurrency Control and Recovery