The Problem
T1 implicitly assumes that it has locked the set of all sailor records with rating = 1.
- Assumption only holds if no sailor records are added while T1 is executing!
- Need some mechanism to enforce this assumption. (Index locking, predicate locking, or table locking.)
Example shows that conflict serializability guarantees serializability only if the set of objects is fixed!