⁷Note that in this case we have to slightly modify Rule 3 to let transactions release shared locks to get exclusive locks in the locking phase.