tailieunhanh - VIEW-SERIALIZABLE

- Hai lịch S và S’ được gọi là tương đương theo chuẩn View-Equilvalent nếu 2 lịch đó thỏa mãn 3 yêu cầu sau : 1. Nếu trong S có Wj(A) Ri(A) thi trong S’ cũng phải là Wj (A) Ri (A) 2. Nếu trong S kết thúc bằng Wi(A ) thì trong S’ kết thúc cũng bằng Wi(A) 3. Nếu trong S, Ti bắt đầu đọc Ri(A) thì trong S’ , Ti cũng bắt đầu đọc Ri(A) . | VIEW-SERIALIZABLE NỘI DUNG I. View-Equilvalent II. View-Serializable III. Xác định lịch có View-Serializable không I. View-Equilvalent Định nghĩa - Hai lịch S và S được gọi là tương đương theo chuẩn View-Equilvalent nếu 2 lịch đó thỏa mãn 3 yêu cầu sau 1. Nếu trong S có Wj A - Ri A thi trong S cũng phải là Wj A - Ri A 2. Nếu trong S kết thúc bằng Wi A thì trong S kết thúc cũng bằng Wi A 3. Nếu trong S Ti bắt đầu đọc Ri A thì trong S Ti cũng bắt đầu đọc Ri A . Ví dụ Xét 2 lịch sau có View-Equilvalent không S1 T1 T2 T3 R A W A W A W A S2 T1 T2 T3 R A W A W A W A Hướng dẫn Xét ĐK1 Trong trường hợp này 2 lịch thỏa điều kiện này vì sau khi T1 thực hiện W A không có bất khì 1 Ti i 2 3 thực hiện R A - Không cần xét . Tương tự với các W khác Thỏa ĐK1. Xét ĐK 2 Trong S1 T1 bắt đầu thực hiện R A và trong S2 cũng vậy Thỏa ĐK 2. Xét ĐK 3 Trong S1 T3 kết thúc thực hiện W A và trong S2 cũng vậy Thỏa ĐK 3. Từ trên ta rút ra được kết luận là S1 và S2 tương đương theo chuẩn .