Issue here is <i>detection</i> of conflicting ops vs. <i>fact</i> of conflicting ops.<p>The monotonic sequence provides that detection means. So in the example you gave, the tardy (expired) tx commit would abort since its lock id would break the monotonic sequence of accepted lock-ops (which clearly can have gaps, 1, 2, 4, 6, 7, ... etc.[)]