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的一個函數依賴。