Trong đặc trưng của giao dịch, bộ cơ sở (Base set - BS) là gì?

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

Đáp án đúng là A. Bất kỳ một giao dịch nào cần truy cập vào một mục dữ liệu, trước hết phải khoá (lock) mục dữ liệu đó lại. Việc khóa dữ liệu là cơ chế quan trọng để đảm bảo tính nhất quán và toàn vẹn dữ liệu trong môi trường đa người dùng, đặc biệt là trong các hệ quản trị cơ sở dữ liệu (DBMS). Khi một giao dịch (transaction) muốn đọc hoặc ghi dữ liệu, nó phải yêu cầu khóa (lock) đối với mục dữ liệu đó. Các loại khóa phổ biến bao gồm khóa đọc (shared lock) và khóa ghi (exclusive lock). Khóa đọc cho phép nhiều giao dịch cùng đọc một mục dữ liệu, nhưng khóa ghi ngăn chặn bất kỳ giao dịch nào khác (kể cả đọc) truy cập vào mục dữ liệu đó. Việc này ngăn chặn các xung đột ghi và đảm bảo dữ liệu không bị thay đổi một cách không nhất quán. Các phương án khác không chính xác vì:
- B. Bất kỳ một giao dịch nào cần truy cập vào một mục dữ liệu trước hết phải yêu cầu khoá đọc: Không đúng, vì nếu cần ghi dữ liệu, cần khoá ghi.
- C. Bất kỳ một giao dịch nào cần truy cập vào một mục dữ liệu trước hết phải yêu cầu khoá ghi: Không đúng, vì nếu chỉ cần đọc, chỉ cần khoá đọc.
- D. Bất kỳ một giao dịch nào cần truy cập vào một mục dữ liệu trước hết phải giải phóng khoá hiện hành: Không đúng, trước khi truy cập cần khoá, không phải giải phóng.

Trong thuật toán Optimistic concurrency control dựa trên nhãn thời gian, khi một giao dịch Ti muốn đọc một mục dữ liệu X (Ri(X)), điều kiện ts(Ti) < wts(X) có nghĩa là nhãn thời gian của giao dịch Ti (ts(Ti)) nhỏ hơn nhãn thời gian ghi của mục dữ liệu X (wts(X)). Điều này chỉ ra rằng mục dữ liệu X đã được ghi bởi một giao dịch khác (giao dịch có nhãn thời gian lớn hơn) sau khi giao dịch Ti bắt đầu. Vì vậy, việc đọc X của Ti sẽ đọc một giá trị có thể không nhất quán. Để đảm bảo tính nhất quán, giao dịch Ti cần phải bị hủy bỏ và khởi động lại với một nhãn thời gian mới. Do đó, đáp án chính xác là "Hủy bỏ giao dịch và quay trở lại để gán nhãn thời gian mới cho các giao dịch Ti."