When several transactions run concurrently, the isolation property may be violated,
resulting in database consistency being destroyed despite the correctness
of each individual transaction. In this section, we present the concept of schedules
to help identify those executions that are guaranteed to ensure the isolation
property and thus database consistency.