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) .

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.