Chapter 17, Problem 9PE

Explanation of Solution

Scenario in which a nonserializable execution occurs in bank database:

• Consider a scenario where the bank enforces integrity constraint that the sum of the balances in the checking and the savings account of a customer must not be negative.
• Suppose the checking balance is $100 and savings balance is $200.
• Suppose the T1 transaction withdraws $200 from the checking account. It is done after checking the integrity constraint by reading both balances.
• Suppose the concurrent transaction T2 withdraws $200 from the checking account after verifying the integrity constraint by reading both the balances...