foil on Section 19.6.2: examples of serialisability

with dollars $ as unit of currency

 

serial schedules: T before S or S before T

T: debit (account-A, $1000); S: add-interest (account-A)

T: credit (account-B, $1000); S: add-interest (account-B);

S: add-interest (account-A); T: debit (account-B, $1000);

S: add-interest (account-B); T: credit (account-A, $1000);

 

T: debit (account-A, $1000) and S: add-interest (account-A),

(account-A: T before S)

T: credit (account-B, $1000) and S: add-interest (account-B),

(account-B: T before S)

 

a non-serialisable schedule:

T: debit (account-A, $1000);

S: add-interest (account-A);

S: add-interest (account-B);

T: credit (account-B, $1000);

 

T: debit (account-A, $1000) and S: add-interest (account-A),

(account-A: T before S)

S: add-interest (account-B) and T: credit (account-B, $1000),

(account-B: S before T).