Cho lược đồ quan hệ và tập các phụ thuộc hàm F={AB → E, AG → I, BE → I, E → G, GI → H}. Các phụ thuộc hàm nào thoả R?
Trả lời:
Đáp án đúng: A
Để xác định các phụ thuộc hàm thỏa mãn, ta cần kiểm tra xem các phụ thuộc hàm được suy dẫn từ tập phụ thuộc hàm F đã cho có thể tạo ra các phụ thuộc hàm ở các đáp án hay không.
* **Phân tích tập phụ thuộc hàm F:**
* F = {AB → E, AG → I, BE → I, E → G, GI → H}
* **Xét đáp án A: AB → GH, AG → GH**
* Từ AB → E và E → G, ta có AB → G. Từ GI → H và E → G, ta cần có AB → I để suy ra AB → H. Ta có AB → E, BE → I nên không suy ra được AB → I. Vậy AB → GH không thể suy ra từ F.
* AG → I và GI → H, suy ra AG → H. E → G, AB → E, AB → G. AG → I, vậy AG → GH đúng.
* **Xét đáp án B: AG → GH**
* AG → I và GI → H, suy ra AG → H. E → G, AB → E, AB → G. AG → I, vậy AG → GH đúng.
* **Xét đáp án C: GH → AB**
* Không có cách nào suy ra GH → AB từ F.
* **Xét đáp án D: AB → BH**
* Từ AB → E và E → G, ta có AB → G. Để suy ra AB → BH, cần suy ra AB → H. Ta có AB → E, BE → I. Tuy nhiên ta không thể suy ra AB → H từ F.
Vậy, chỉ có AG → GH là phụ thuộc hàm có thể suy ra được từ tập phụ thuộc hàm F.