資料結構
網路
關係資料庫管理系統(RDBMS)
作業系統
Java
MS Excel
iOS
HTML
CSS
Android
Python
C語言程式設計
C++
C#
MongoDB
MySQL
Javascript
PHP
物理學
化學
生物學
數學
英語
經濟學
心理學
社會學
服裝設計
法學解釋資料庫管理系統(DBMS)中函式依賴的推理規則
函式依賴是從資料的含義和相互關係中推匯出的約束。設F是所有函式依賴的集合。包含F以及所有可以從F推斷出的依賴的依賴集合稱為F的閉包，記作F+。
示例1
下面是一個數據庫管理系統(DBMS)中函式依賴的示例：
F= { SSN-> {ENMAE,BDATE,ADDRESS,DNUMBER}, DNUMBER-> {DNAME,DMGRSSN} }輸出
你將得到以下結果：
示例2
下面是DBMS中函式依賴的另一個示例：
F+ = { SSN-> {ENAME,BDATE,ADDRESS,DNUMBER},
DNUMBER-> {DNAME, DMGRSSN},
SSN -> {DNAME, DMGRSSN},
ENO->ENO,
DNUMBER-> DNAME }為了確定推斷依賴關係的系統方法，我們必須發現一組推理規則，這些規則可用於從給定的依賴關係集中推斷新的依賴關係。
函式依賴規則
共有六條推理規則，如下所示：
- 自反性：X→X // 屬性(們)決定自身
- 增廣性：如果X→Y，則XZ→YZ
- 傳遞性：如果X→Y且Y→Z，則X→Z
- 加法性或並集：如果X→Y且X→Z，則X→YZ
- 投影性或分解性：如果X→YZ，則X→Y且X→Z
- 偽傳遞性：如果X→Y，YZ→W，則XZ→W
示例
讓我們以一個具有屬性R(A,B,C,D,E,F)的關係R為例
F: AB→C, BC→AD, D→E, E→F, CF→B，則證明F邏輯上蘊含CD→B
解答
D→E, E→F 則 D→F {傳遞性}
D→E, CF→B 則 D→B {偽傳遞性}
D→E, E→F 則 D→F {傳遞性}
D→F 則 CD→CF {增廣性}
CD→CF, CF→B 則 CD→B {傳遞性}
更新於：2021年7月3日
10K+ 瀏覽量
廣告