Strict schedule là gì?

Strict schedule là một loại lịch biểu (schedule), trong đó nếu thao tác (operation) ghi của một giao dịch (transaction) đứng trước một conflicting operation (thao tác Đọc hoặc Ghi) của một giao dịch khác thì thao tác commit hoặc abort của giao dịch đó cũng sẽ diễn ra trước conflicting operation của giao dịch khác.

Giả sử chúng ta có hai giao dịch Ta và Tb. Thao tác ghi của giao dịch Ta đứng trước thao tác đọc hoặc ghi của giao dịch Tb, vì vậy thao tác commit hoặc abort của giao dịch Ta cũng phải đứng trước thao tác đọc hoặc ghi của Tb.

Ta	Tb
-----   -----
R(X)	
        R(X)
W(X)	
commit	
        W(X)
        R(X)
        commit

Ở đây thao tác ghi W (X) của Ta đứng trước conflicting operation (thao tác Đọc hoặc Ghi) của Tb nên conflicting operationt của Tb phải đợi thao tác commit của Ta.