... chứa phụ thuộc hàm CD→E => F không tương đương với G+ 3 12. 3: Phụ thuộc hàm không dư thừa 12. 3.1: Phụ thuộc hàm dư thừa Cho F là tập các phụ thuộc hàm trêu U, f là một phụ thuộc hàm của F ... bước 2. 9 12. 4.2: Tập phụ thuộc hàm có vế phải một thuộc tính Mỗi tập phụ thuộc hàm F đều tương đương với một tập phụ thuộc hàm G mà vế phải của các phụ thuộc hàm trong G chỉ gồm một thuộc tính. ... mọi phụ thuộc hàm trong F đều không dư thừa) Định lý: Mọi tập phụ thuộc hàm đều tồn tại phủ không dư. 7 12. 4: Phủ thu gọn 12. 4.1: Phụ thuộc hàm có vế trái dư thừa F là tập các phụ thuộc hàm...