1. TS(T) ≥ RT(X) and TS(T) ≥ WT(X) S---Rs(X)---Ws(X)---Cs---T---Wt(X) (RTime(X) = TS(S)) (WTime(X) = TS(S))
2. TS(T) ≥ RT(X) but TS(T) < WT(X) S---Rs(X)---Cs---T---U---Wu(X)---Wt(X) (RTime(X) = TS(S))
1. START S, R_S(X), W_S(S) COMMIT S, START T, W_T(X) 2. START S, R_S(X), START T, COMMIT S, START U, W_U(X), COMMIT U, W_T(X)(Edited: 2018-04-18)