X --> Y (Y Thuộc F) là phụ thuộc hàm đầy đủ, khi và chỉ khi ________.

Siêu khóa (superkey) là một tập hợp các thuộc tính mà giá trị của chúng có thể xác định duy nhất một bộ (tuple) trong một quan hệ (relation). Điều này có nghĩa là, không có hai bộ nào trong quan hệ có cùng giá trị cho tất cả các thuộc tính trong siêu khóa. Một siêu khóa có thể chứa các thuộc tính không cần thiết để xác định duy nhất một bộ. Một khóa (key) là một siêu khóa tối thiểu, tức là nếu bỏ bất kỳ thuộc tính nào khỏi khóa, nó sẽ không còn là siêu khóa nữa.

Vì một khóa là một siêu khóa tối thiểu, một siêu khóa chắc chắn chứa một khóa. Do đó, từ một siêu khóa cho trước, ta có thể xác định một khóa nằm trong nó.

Các lựa chọn khác không chính xác vì:

• Xác định một siêu khóa trong nó: Một siêu khóa đã là một tập hợp lớn nhất có thể xác định duy nhất các bộ, nên việc tìm một siêu khóa khác trong nó không có ý nghĩa (hoặc có thể tìm chính nó).
• Xác định một nhóm các thuộc tính: Siêu khóa có thể xác định một nhóm các thuộc tính, nhưng câu trả lời này quá chung chung và không nhấn mạnh vào tính duy nhất.
• Xác định một thuộc tính: Siêu khóa có thể bao gồm nhiều thuộc tính, nhưng không phải lúc nào cũng xác định được một thuộc tính cụ thể.

Câu hỏi này kiểm tra về các dạng chuẩn trong cơ sở dữ liệu, cụ thể là dạng chuẩn 2NF. Một quan hệ ở dạng chuẩn 2NF nếu nó ở dạng chuẩn 1NF và không có thuộc tính không khóa nào phụ thuộc hàm một phần vào khóa chính. Điều này có nghĩa là không có thuộc tính nào không phải là một phần của khóa lại phụ thuộc vào một tập con của khóa.

Phương án A đúng: Nếu thuộc tính vế phải là thuộc tính không khóa của quan hệ và vế trái là một tập con thực sự của khóa, thì có nghĩa là có sự phụ thuộc hàm một phần, vi phạm dạng chuẩn 2NF.