We can ensure consistency of the database under concurrent execution by
making sure that any schedule that is executed has the same effect as a schedule
that could have occurred without any concurrent execution. That is, the schedule
should, in some sense, be equivalent to a serial schedule. Such schedules are
called serializable schedules.