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

by Martin Kleppmann

If transaction A wants to insert, update, or delete any object, it must first check whether either the old or the new value matches any existing predicate lock.