... gọi là phụ thuộc hàm hiển nhiên.Ví dụ phụ thuộc hàm X → X là phụ thuộc hàm hiển nhiên.Vậy với r là quan hệ bất kỳ, F là tập phụ thuộc hàm thỏa trên r, ta luôn có F ⊇{các phụ thuộc hàm hiển ... hệ r thỏa các phụ thuộc hàm F nhưngkhông thỏa phụ thuộc hàm X → Y (điều này nghịch lý với giả thuyết là mọiquan hệ r thỏa các phụ thuộc hàm trong F thì r cũng thỏa phụ thuộc hàm X →Y). F+ ... các phụ thuộc hàm của F là f1, f2, , fm. Quy ước rằng chỉ cần môtả các phụ thuộc hàm không hiển nhiên trong tập F (các phụ thuộc hàm hiểnnhiên được ngầm hiểu là đã có trong F).1 Phụ thuộc...