Precision Locks
Suppose update operations are on single records
Maintain a list of predicate Read-locks
Insert, Delete, & Update write-lock the record and check for conflict with all predicate locks
Query sets a read lock on the predicate and check for conflict with all record locks
Cheaper than predicate satisfiability, but still too expensive for practical implementation.