Store system, it is undone by scanning backwards in the
UNDO log, which contains one entry for each logical
update to a segment. We use logical logging (as in ARIES
[MOHA92]), since physical logging would result in many
log records, due to the nature of the data structures in WS.