Schedule S can be transformed into

Schedule S can be transformed into Schedule S’, a serial
schedule where T
2 follows T1, by series of swaps of nonconflicting instructions.

Kết quả (Việt) 1:

Lịch S có thể được chuyển thành lịch trình S', một sê-rilịch trình nơi T2 sau T1, bởi loạt các giao dịch hoán đổi của nonconflicting hướng dẫn.

Kết quả (Việt) 2:

Lịch trình S có thể được chuyển đổi thành lịch trình S ', một nối tiếp
lịch đó T
2 sau T1, bởi hàng loạt các giao dịch hoán đổi các hướng dẫn nonconflicting.