Text this: The Theory of Database Concurrency Control