Rút gọn cho phân mảnh dọc

Phân tích câu hỏi:

Câu hỏi này kiểm tra kiến thức về khôi phục giao dịch (transaction recovery) trong hệ quản trị cơ sở dữ liệu (DBMS). Cụ thể, nó tập trung vào việc xác định các giao dịch nào cần được khôi phục (rollback) khi một giao dịch khác bị hủy bỏ, dựa trên chuỗi các thao tác đọc/ghi dữ liệu.

Phân tích các phương án:

• Giao dịch T1 bị huỷ bỏ.

• T2 đọc và ghi đối tượng A sau khi T1 ghi A. Do đó, T2 phụ thuộc vào T1. Vì T1 bị huỷ bỏ, T2 cũng cần được khôi phục để đảm bảo tính nhất quán của dữ liệu.

• T3 đọc đối tượng B sau khi T1 ghi đối tượng B. Do đó, T3 phụ thuộc vào T1. Vì T1 bị huỷ bỏ, T3 cũng cần được khôi phục để đảm bảo tính nhất quán của dữ liệu.

• T4 đọc đối tượng C không liên quan tới T1. Do đó, T4 không cần được khôi phục.

Vậy, các giao dịch cần được khôi phục là T2 và T3.

Kết luận:

Đáp án đúng là A. T2, T3.

Phân tích lịch trình: W1(A) W2(A) W1(A) W2(A) W1(A).
Để lịch trình có thể tuần tự hóa được, cần xác định xem có tồn tại một thứ tự thực hiện các giao dịch mà vẫn cho ra kết quả tương đương hay không. Trong trường hợp này, chúng ta có thể thấy rằng việc ghi (Write) vào đối tượng A được thực hiện bởi cả giao dịch T1 và T2 xen kẽ nhau.

Xét các khả năng:
1. Nếu T1 chạy trước T2: W1(A)...W2(A)... thì giá trị cuối cùng của A sẽ là kết quả của W2(A).
2. Nếu T2 chạy trước T1: W2(A)...W1(A)... thì giá trị cuối cùng của A sẽ là kết quả của W1(A).

Trong lịch trình đã cho, W1(A) W2(A) W1(A) W2(A) W1(A), giá trị cuối cùng của A là kết quả của W1(A). Để lịch trình này có thể tuần tự hóa được, thì phải tồn tại một thứ tự các giao dịch mà khi thực hiện tuần tự theo thứ tự đó, kết quả cuối cùng của A cũng phải là W1(A). Tuy nhiên, không có thứ tự nào thỏa mãn điều kiện này. Bất kể chúng ta chọn thứ tự nào (T1 trước T2, hoặc T2 trước T1), chúng ta không thể đảm bảo giá trị cuối cùng của A là kết quả của W1(A). Do đó, lịch trình này không thể tuần tự hóa được.