Xem serializable và xung đột serializable

Question

Tôi đã đọc về serializability trong lịch trình giao dịch và do đó đọc về conflict serializable và view serializable lịch trình.

Bây giờ vì mâu thuẫn serializable là chặt chẽ hơn xem serializable, rõ ràng là sẽ có lịch trình được xem serializable nhưng không xung đột serializable.In cuốn sách tôi đọc phần sau đây:

Blind viết xuất hiện trong bất kỳ lịch biểu nào có thể xem theo tuần tự nhưng không thể xem được xung đột.

Tôi đã cố gắng đưa ra bằng chứng về tuyên bố trên nhưng không thể làm được.

Câu hỏi của tôi là: Có bằng chứng chính thức nào về tuyên bố được đề cập ở trên không?

Answer 1

Ghi lỗi nghĩa là giao dịch ghi cơ sở dữ liệu, mà không đọc biến cơ sở dữ liệu.

Điều đó có nghĩa, nếu chúng ta biết tên biến cơ sở dữ liệu. Nếu chúng ta viết bằng biến đó với một số giá trị.

Giao dịch giống như dưới đây, được viết mù.

Ví dụ: -

Transaction T1       Transaction T2 

    Write(X) 
              Write(X) 
    Write(Y) 
              Write(Y) 

Trong ví dụ trên, chúng tôi đã không đọc các biến X, nhưng chúng tôi đang viết X.

Nếu chúng ta viết cơ sở dữ liệu mà không cần sử dụng giá trị cũ, Không có khả năng nối tiếp xung đột. Ở đây chúng ta phải thay thế giá trị cũ trong cơ sở dữ liệu. Việc ghi mù được thực hiện trong hai giao dịch với việc sử dụng cùng một tên biến cơ sở dữ liệu. Thời gian đó cũng là một serializable.

Answer 2

Ví dụ dưới đây là cả một cái nhìn serializable và một cuộc xung đột serializable schedule

Bây giờ nếu chúng ta muốn chuyển đổi nó thành kế hoạch đó là xem serializable nhưng không xung đột serializable, chúng ta phải hoặc là làm một những thay đổi:

1. Thay đổi W(B)-W(A) trong T1
2. Ch ange R(A)-W(A) trong T2

Trong trường hợp 1 lịch trình sẽ được không mâu thuẫn serializable cũng như nó sẽ không được xem serializable quá

trường hợp Như vậy 2 đảm bảo nhiệm vụ của chúng tôi mà làm phát sinh mù ghi. Do đó, việc viết Blind là cần thiết.

Ghi lỗi là cần thiết để đáp ứng khả năng theo dõi tuần tự và điều kiện mâu thuẫn đối với serializabilty