>>> Peter Eisentraut <peter_e@gmx.net> wrote:
> Serializability is not defined in terms of what is visible, but what
the
> state of the database is.
A belated thought on this: It would be easy enough to add a
daily_receipt_total table to the example to capture the result of the
query, instead of assuming that it merely prints on the daily bank
deposit report. That would certainly meet your test of ending with an
invalid database state after all the transactions commit.
-Kevin