- Đánh dấu tất cả lệnh Unlock. - Xét tuần tự từng lệnh Unlock: o Giả sử đang xét lệnh Unlock (A) của giao tác Ti. o Với mỗi lệnh Lock (A) của các giao tác Tj (j I ) được thực hiện sau lệnh này, vẽ 1 cung hướng từ Ti Tj. - Nếu đồ thị không có chu trình Lịch S khả tuần tự.