傳遞函式依賴

傳遞函式依賴屬於關係模式R(U)，在關係模式R(U)中，設X，Y，Z是U的不同的屬性子集。

基本介紹

• 中文名：傳遞函式依賴
• 類型：數學
• 模式：關係模式
• 類別：函式依賴

在關係模式R(U)中，設X，Y，Z是U的不同的屬性子集，如果X確定Y、Y確定Z，且有X不包含Y，Y不確定X，（X∪Y）∩Z=空集合，則稱Z傳遞函式依賴(transitive functional dependency) 於X。傳遞函式依賴會導致數據冗餘和異常。傳遞函式依賴的Y和Z子集往往同屬於某一個事物，因此可將其合併放到一個表中。

學號 宿舍 費用

062201 A 900

062230 B 1200

062240 B 1200

學號確定宿舍、宿舍確定費用，且有學號不包含宿舍，宿舍不確定學號，符合傳遞函式依賴條件。

所以以上關係R存在添加異常（建了C宿舍但是沒人住無法添加了）刪除異常（學生062201退學了宿舍A也刪除掉）如果存在傳遞函式依賴，如下更改

學號 宿舍

062201 A

062230 B

062240 B

宿舍 費用

A 900

B 1200