March 2003
Intermediate to advanced
912 pages
27h 17m
English
In this section we develop a graphical representation for schedules of operations of transactions. Any necessary ordering of the operations within a transaction is indicated in its graph. Figure 19.5 shows the transactions Sum and Transfer where Transfer is as used in the previous sections, and Sum is defined as follows:
read-balance(account-A); read-balance(account-B); print(account-A + account-B).

Note that the print(account-A + account B) statement is shorthand for 'add the balances of the two accounts, found as the result of ...