... Bài tập Tìm phủ không dư tập phụ thuộc hàm F={A→C, AB→C, C→DI, EC→AB, EI→C} Bài tập Cho F={A→B, C→D} với C⊂B, chứng minh A→D suy dẫn từ F Bài tập + Một phụ thuộc hàm X→Y gọi dư thừa tập phụ thuộc ... tập phụ thuộc hàm tập thuộc tính U, f phụ thuộc hàm U, (f không thuộc F), nói f suy dẫn từ tập F theo quan hệ ký hiệu F ╞f, với quan hệ R U, R thoả mãn F R thoả mãn f Ký hiệu F* tập tất phụ thuộc ... X(i) = U Phụ thuộc hàm dư thừa Cho F tập phụ thuộc hàm U, f phụ thuộc hàm F tức f ∈F, f gọi dư thừa F (F-f)+ =F+ Hay nói tương đương f gọi dư thừa F nến suy dẫn từ tập F sau bỏ phụ thuộc hàm f Thuật...