Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

by Martin Kleppmann

The database automatically detects deadlocks between transactions and aborts one of them so that the others can make progress.