I will assume that transactions are operation level consistent--it is the
responsibility of the programmers. System level consistency is a must,
but it is necessary to decide which additional requirements (if any)
the transactions must fulfill in order to guarantee that. I will return to this
matter.