Recall the Consistency of Transactions: Actions and locks must relate in the expected ways:

$$ A transaction can only read or write an element if it previously was granted a lock on the element and

hasn$$t yet released the lock.

$$ If a transaction locks an element, it must later unlock that element