Αποστολή με SMS: The Theory of Database Concurrency Control