Dạng cấp quyền truy xuất trong SQL:

Ngôn ngữ dữ liệu thao tác trên quan hệ (Data Manipulation Language - DML) là một phần của ngôn ngữ truy vấn dữ liệu (SQL) được sử dụng để truy xuất, chèn, xóa và cập nhật dữ liệu trong cơ sở dữ liệu quan hệ. Phương án 4 mô tả chính xác nhất chức năng của ngôn ngữ con dữ liệu, bao gồm các phép toán tìm kiếm, cập nhật, lưu trữ và thao tác trên các quan hệ. Các phương án khác chỉ mô tả một phần chức năng hoặc không chính xác.

Để xác định khóa của lược đồ quan hệ, ta cần tìm tập các thuộc tính nhỏ nhất mà bao đóng của nó chứa tất cả các thuộc tính của lược đồ. Từ đó suy ra các tập thuộc tính không phải khóa. Ta có F={AB --> C, D --> EG, C--> A, BE --> C, BC --> D, CG --> BD, ACD --> B, CE --> AG}. Xét AB: AB+ = ABC (AB --> C) ABC+ = ABCD (BC --> D, C --> A) ABCD+ = ABCDEG (D --> EG) Vậy AB+ = ABCDEG. Do đó, AB là siêu khóa. Xét CG: CG+ = CGBD (CG --> BD) CBGD+ = CBGDA (C --> A) CBGDA+ = CBGDAEG (D --> EG) Vậy CG+ = CBGDAEG. Do đó, CG là siêu khóa. Xét CD: CD+ = CDEG (D --> EG) CDEG+ = CDEAG (CE --> AG) CDEAG+ = CDEAGB (ACD --> B) Vậy CD+ = CDEAGB. Do đó, CD là siêu khóa. Xét EC: EC+ = ECAG (CE --> AG) ECAG+ = ECAGBD (CG --> BD) Vậy EC+ = ECAGBD. Do đó, EC là siêu khóa. Xét CE: CE+ = CEAG (CE --> AG) CEAG+ = CEAGBD (CG --> BD) Vậy CE+ = CEAGBD. Do đó, CE là siêu khóa. Xét BC: BC+ = BCD (BC --> D) BCD+ = BCDEG (D --> EG) BCDEG+ = BCDEGA (C --> A) Vậy BC+ = BCDEGA. Do đó, BC là siêu khóa. Do AB, CG, CD, EC, CE, BC đều là siêu khóa nên các phát biểu AB, CG, CD khóa của lược đồ quan hệ, EC, CE, BC khóa của lược đồ quan hệ đều sai. Do đó, EB, CE, BC không là khóa của lược đồ quan hệ và AB, CG, CD không là khóa của lược đồ quan hệ đều đúng. Tuy nhiên, đáp án "AB, CG, CD không là khóa của lược đồ quan hệ" là đáp án chính xác hơn vì EB không xuất hiện trong các siêu khóa.

Câu hỏi kiểm tra về tính tổn thất thông tin của phép tách (decomposition) trong cơ sở dữ liệu quan hệ. Để xác định phép tách có tổn thất thông tin hay không, ta cần kiểm tra xem việc kết các lược đồ con (Ω1, Ω2, Ω3) có khôi phục được lược đồ ban đầu (Ω) và các phụ thuộc hàm (F) hay không. Trong trường hợp này, ta thấy: * Ω = {A, B, C, D, E, F} * Ω1 = {A, B, D, E} * Ω2 = {A, C, D, F} * Ω3 = {B, C, E, F} * F = {A → B, F → E} Ta có thể kiểm tra xem phép tách có bảo toàn phụ thuộc hàm hay không. Tuy nhiên, một cách đơn giản hơn để xác định phép tách có tổn thất thông tin là kiểm tra xem giao của các lược đồ con có chứa khóa của lược đồ gốc hay không. Nếu giao của các lược đồ con chứa khóa của lược đồ gốc, thì phép tách không tổn thất thông tin. Ngược lại, nếu giao của các lược đồ con không chứa khóa, hoặc không đủ để suy dẫn ra khóa, thì phép tách có thể tổn thất thông tin. Trong trường hợp này, không có thông tin về khóa của lược đồ gốc. Tuy nhiên, ta có thể thấy việc kết các lược đồ con có thể khôi phục lược đồ gốc. Tuy nhiên, ta cần phải xem xét thêm về phụ thuộc hàm. Do có phụ thuộc hàm A -> B, nếu ta chỉ có Ω2 và Ω3, khi đó ta có thể không suy ra được giá trị của B từ A. Tương tự, do có phụ thuộc hàm F -> E, nếu ta chỉ có Ω1 và Ω2, khi đó ta có thể không suy ra được giá trị của E từ F. Như vậy, phép tách này có thể tổn thất thông tin.

Để xác định đáp án đúng, ta cần phân tích các yếu tố sau: 1. **Tìm khóa của quan hệ:** Khóa của quan hệ là tập hợp các thuộc tính mà từ đó ta có thể suy ra tất cả các thuộc tính khác trong quan hệ. Để tìm khóa, ta xem xét các phụ thuộc hàm đã cho: - C --> AB - D --> E - B --> G Chúng ta có thể thấy rằng thuộc tính H không xuất hiện ở vế trái của bất kỳ phụ thuộc hàm nào, vì vậy H chắc chắn phải là một phần của khóa. Tiếp theo, ta cần tìm một tập hợp các thuộc tính khác mà khi kết hợp với H, chúng ta có thể suy ra tất cả các thuộc tính còn lại. Xét tập {H, C, D}: - Từ C, ta suy ra AB (C --> AB) - Từ D, ta suy ra E (D --> E) - Từ B, ta suy ra G (B --> G) - Vậy, từ {H, C, D} ta suy ra được tất cả các thuộc tính {H, C, D, A, B, E, G}. Do đó, {H, C, D} là một khóa của quan hệ. 2. **Kiểm tra dạng chuẩn 3NF:** Một quan hệ ở dạng chuẩn 3NF nếu nó ở dạng chuẩn 2NF và không có thuộc tính không khóa nào phụ thuộc bắc cầu vào khóa. Để kiểm tra điều này, ta cần xác định các thuộc tính không khóa và xem xét sự phụ thuộc của chúng. - Các thuộc tính không khóa là các thuộc tính không nằm trong bất kỳ khóa nào. Trong trường hợp này, ta đã tìm ra khóa là {H, C, D}, vậy các thuộc tính còn lại {A, B, E, G} là các thuộc tính không khóa. - Ta có các phụ thuộc hàm: - C --> AB - D --> E - B --> G - Vì C và D là một phần của khóa, nên C --> AB và D --> E không vi phạm 3NF. - Tuy nhiên, B --> G và B là một thuộc tính không khóa, có thể gây ra vi phạm 3NF nếu B phụ thuộc vào khóa (H, C, D). Trong trường hợp này, vì C -> AB và B -> G, nên có thể có sự phụ thuộc bắc cầu từ C đến G thông qua B. Như vậy quan hệ này không chắc chắn ở dạng chuẩn 3NF Dựa trên phân tích trên, ta có thể kết luận: - Phương án 1: Khoá quan hệ là {B, C, A} - Sai, vì khóa đúng là {H, C, D} - Phương án 2: Quan hệ có dạng chuẩn 3NF - Sai, vì có thể có vi phạm 3NF do phụ thuộc bắc cầu. - Phương án 3: Khoá quan hệ là {H, C, D} - Đúng. - Phương án 4: Tất cả đều sai - Sai, vì phương án 3 đúng.

Câu hỏi này kiểm tra kiến thức về cú pháp thu hồi quyền truy cập trong SQL. Trong các phương án đưa ra, chỉ có phương án 1 là tuân thủ đúng cú pháp REVOKE để thu hồi quyền và chỉ định rõ quyền `GRANT OPTION FOR SELECT` trên bảng `BRANCH` từ người dùng `U1`. Các phương án còn lại đều thiếu các thành phần quan trọng hoặc sử dụng cú pháp không chính xác.