FD

徠在資料庫系統中，設有關係模式R或簡記為R，X，Y是U的子集，r是R的任一具體關係，如果對r的任意兩個元組t1，t2，由t1[X]=t2[X]導致t1[Y]=t2[Y]，則稱X函數決定Y，或Y函數依賴於X，記為X→Y。X→Y為模式R的一個函數依賴。