One way to ensure correctness of concurrent transactions is to enforceserializabil ity of
transactions; that is the interleaved execution of the transactions must beequivalent to some
serial execution of those transactions.
Instead determine protocols that guarantee serializability: e.g.
Two-phase locking protocol (TPL)
It can be proved that if all transactions obey the "two-phase locking protocol" then all possible
interleaved executions are serializable.
This action might not be possible to undo. Are you sure you want to continue?