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

by Martin Kleppmann

this approach is that databases can perform this check efficiently in conjunction with snapshot isolation.