F:={AB --> C,D --> EG,C--> A,BE --> C, BC --> D, CG --> BD,ACD --> B, CE --> AG}:

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.

Trong cấu trúc hình cây, việc sửa đổi thông tin ở các bản ghi phụ thuộc đòi hỏi phải duyệt toàn bộ mô hình để tìm kiếm các vị trí cần thay đổi. Nếu không thực hiện một cách cẩn thận và đồng bộ, điều này có thể dẫn đến tình trạng dữ liệu không nhất quán giữa các bản ghi, làm mất tính toàn vẹn của thông tin lưu trữ. Do đó, đáp án chính xác là "Không nhất quán dữ liệu trong lưu trữ".

Quan hệ trong mô hình dữ liệu quan hệ được định nghĩa là một tập con của tích Đề-các của một hoặc hữu hạn các miền. Mỗi phần tử trong quan hệ là một bộ (tuple) gồm n giá trị, còn được gọi là n-bộ. Các phép hợp, chiếu, và chọn là các phép toán trên quan hệ, không phải là định nghĩa của quan hệ.