Trong đặc trưng của giao dịch, bộ đọc (Read set - RS) là gì?

Bộ ghi (Write set - WS) trong đặc trưng của giao dịch là tập hợp các mục dữ liệu có giá trị bị thay đổi bởi giao dịch đó. Tức là, nó chứa danh sách các mục dữ liệu mà giao dịch đã sửa đổi trong quá trình thực hiện. Do đó, đáp án B là chính xác nhất.

Trong đặc trưng của giao dịch, bộ cơ sở (Base set - BS) là tập hợp tất cả các mục dữ liệu mà giao dịch tác động đến, bao gồm cả những mục được đọc (Read Set - RS) và những mục có giá trị bị thay đổi (Write Set - WS). Do đó, đáp án C là chính xác nhất vì nó bao gồm cả RS và WS, phản ánh đầy đủ phạm vi tác động của giao dịch lên dữ liệu.

Các đáp án khác không đầy đủ:
- A chỉ đề cập đến các mục được đọc.
- B chỉ đề cập đến các mục bị thay đổi giá trị.
- D quá chung chung, không chỉ rõ mối quan hệ với RS và WS.

Đáp án đúng là A. Mọi lịch trình tuần tự hóa đều có thể khôi phục được.

Giải thích:
* Lịch trình tuần tự hóa (Serializable schedule): Là một lịch trình mà kết quả của nó tương đương với việc thực hiện các giao dịch theo một thứ tự tuần tự nào đó. Nói cách khác, có một thứ tự giao dịch mà nếu thực hiện theo thứ tự đó, kết quả sẽ giống hệt như kết quả của lịch trình ban đầu.
* Khả năng khôi phục (Recoverability): Một lịch trình được coi là có thể khôi phục nếu, với bất kỳ giao dịch T nào commit, thì tất cả các giao dịch T' đã đọc dữ liệu do T ghi trước đó phải commit trước T. Điều này đảm bảo rằng nếu T cần phải rollback (ví dụ, do lỗi), thì tất cả các giao dịch phụ thuộc vào T cũng có thể rollback một cách nhất quán.

Tại sao A đúng:
Mọi lịch trình tuần tự hóa đều có thể khôi phục được vì các giao dịch được thực hiện tuần tự. Do đó, nếu một giao dịch (T) đọc dữ liệu từ một giao dịch khác (T'), thì T' chắc chắn đã commit trước T. Điều này thỏa mãn định nghĩa về khả năng khôi phục.

Tại sao các đáp án khác sai:
* B. Mọi lịch trình có thể tuần tự hóa không chứa các hành động xung đột. Sai. Lịch trình có thể tuần tự hóa có thể chứa các hành động xung đột, nhưng các xung đột này phải được giải quyết sao cho lịch trình tương đương với một lịch trình tuần tự.
* C. Mọi lịch trình 2PL đều có thể tuần tự hóa được. Sai. 2PL (Two-Phase Locking) giúp đảm bảo tính tuần tự, nhưng không phải mọi lịch trình tuân thủ 2PL đều tuần tự hóa được. Có những lịch trình 2PL có thể dẫn đến deadlock.
* D. Mọi lịch trình tuần tự hoá không cần tuần tự hoá cục bộ Sai. Lịch trình tuần tự hoá vẫn cần phải tuần tự hoá cục bộ ở mỗi trang web riêng lẻ trong hệ thống phân tán.

Tính nhất quán (Consistency) trong ACID (Atomicity, Consistency, Isolation, Durability) là một thuộc tính quan trọng của giao dịch cơ sở dữ liệu. Nó đảm bảo rằng một giao dịch chỉ có thể thay đổi cơ sở dữ liệu từ một trạng thái hợp lệ sang một trạng thái hợp lệ khác. Điều này có nghĩa là nếu cơ sở dữ liệu đã nhất quán trước khi giao dịch bắt đầu, thì nó cũng phải nhất quán sau khi giao dịch kết thúc, bất kể giao dịch thành công hay thất bại. Các ràng buộc và quy tắc của cơ sở dữ liệu phải được tuân thủ.

* Phương án A đúng: Nếu cơ sở dữ liệu đã nhất quán trước khi thực hiện giao dịch thì cũng sẽ nhất quán khi kết thúc giao dịch. Đây chính là định nghĩa của tính nhất quán.
* Phương án B sai: Một giao dịch *có thể* gây ra sự biến đổi trạng thái của cơ sở dữ liệu. Truy xuất không thay đổi, nhưng nhiều giao dịch khác thì có.
* Phương án C sai: Tính cô lập (Isolation) đảm bảo các giao dịch đồng thời không ảnh hưởng đến nhau, chứ không phải tính nhất quán.
* Phương án D sai: Các giao dịch *có thể* làm thay đổi cơ sở dữ liệu. Mục tiêu của nhiều giao dịch là thay đổi dữ liệu.

Khóa đọc (read lock) hay còn gọi là shared lock, cho phép nhiều giao dịch cùng đọc một mục dữ liệu đồng thời. Tuy nhiên, nó ngăn chặn bất kỳ giao dịch nào ghi (cập nhật) vào mục dữ liệu đó trong khi vẫn còn các giao dịch đang giữ khóa đọc. Điều này đảm bảo tính nhất quán dữ liệu trong quá trình đọc. Vì vậy, đáp án đúng là khóa này chỉ cho phép một giao dịch đọc một mục và cho phép chia sẻ mục này (nhiều giao dịch cùng đọc).