設F是關係模式R的一個函式依賴集，X，Y是R的屬性子集，如果從F中的函式依賴能夠推出X→Y，則稱F邏輯蘊涵X→Y,記為F|=X→Y。
設F是關係模式R的一個函式依賴集,X,Y是R的屬性子集,如果從F中的函式依賴能夠推出X→Y,則稱F邏輯蘊涵X→Y,記為F|=X→Y。 ...
如果Y函式依賴於X,Z函式依賴於Y,其Y不是X的子集,X不依賴於Y,則稱Z傳遞依賴於X,否則稱Z直接函式依賴於X。函式依賴的邏輯蘊涵。 ,即對於關係模式上的函式...
被邏輯蘊涵的函式依賴的全體構成的集合,稱為F的閉包(closure),記為F+。 ...... 被邏輯蘊涵的函式依賴的全體構成的集合,稱為F的閉包(closure),記為F+。...
從已知的一些函式依賴,可以推導出另外一些函式依賴,這就需要一系列推理規則,這些規則常被稱作“Armstrong 公理”。...
6.2 函式依賴6.2.1 函式依賴定義6.2.2 關鍵字和超關鍵字6.3 數據依賴的公理系統6.3.1 函式依賴的邏輯蘊涵6.3.2 Armstrong公理系統...
第10章數據依賴和關係模式規範化10.1基本概念10.1.1函式依賴 [2] 10.1.2邏輯蘊涵10.1.3A氏公理10.1.4其他推理規則10.1.5函式依賴集的閉包F+...
3.2 函式依賴 52 3.2.1 數據依賴 52 3.2.2 函式依賴 52 3.2.3 函式依賴的邏輯蘊涵 53 3.2.4 鍵 53 3.3 關係模式的規範化 54 3.3.1 第一範式...
4.4.1 函式依賴的邏輯蘊涵 4.4.2 Armstrong公理 4.4.3 屬性集閉包 4.4.4 候選關鍵字的求解方法 4.5 關係模式的分解 4.5.1 無損連線 4.5.2 函式依賴...
3.2 數據的函式依賴 3.2.1 函式依賴 3.2.2 依賴的邏輯蘊涵 3.2.3 關鍵字 3.3 關係資料庫模式的規範化理論 3.3.1 關係模式規範化設計 3.3.2 第一...
主要介紹了函式依賴和邏輯蘊含的概念、模式分解及其準則,以及關係的規範化。這一章的內容是設計關係資料庫模式的理論基礎。第7章為資料庫的設計與實施。主要介紹了...
6.3.1函式依賴的定義6.3.2具有函式依賴約束的關係模式6.3.3函式依賴的邏輯蘊涵6.4函式依賴的公理體系6.4.1阿姆斯特朗公理6.4.2阿姆斯特朗公理的推論...
6.3.1函式依賴的定義6.3.2具有函式依賴約束的關係模式6.3.3函式依賴的邏輯蘊涵6.4函式依賴的公理體系6.4.1阿姆斯特朗公理6.4.2阿姆斯特朗公理的推論...
7.2函式依賴2107.2.1函式依賴的定義2107.2.2術語和符號2117.2.3函式依賴的邏輯蘊涵和閉包2127.2.4碼和主屬性2127.2.5函式依賴的公理系統2137.3關係的...
5.2 函式依賴5.2.1 函式依賴定義5.2.2 函式依賴的邏輯蘊涵定義5.2.3 函式依賴的推理規則5.2.4 把計算礦簡化為計算X+5.2.5 函式依賴推理規則的完備性*...
7.2數據依賴1327.2.1函式依賴的定義1327.2.2函式依賴的邏輯蘊涵1337.2.3函式依賴的推理規則1337.2.4屬性集的閉包1357.2.5函式依賴集的最小依賴集136...
3.2 數據的函式依賴3.2.1 函式依賴3.2.2 依賴的邏輯蘊涵3.2.3 關鍵字3.3 關係資料庫模式的規範化理論3.3.1 關係模式規範化設計...
3.2 函式依賴3.2.1 函式依賴的概念3.2.2 函式依賴的分類3.2.3 函式依賴的邏輯蘊涵與推理規則3.2.4 函式依賴集的閉包與屬性閉包...
3.2數據的函式依賴543.2.1函式依賴543.2.2函式依賴的邏輯蘊涵553.2.3關鍵字563.3關係資料庫模式的規範化理論583.3.1關係模式規範化設計583.3.2第一...
4.1.5冗餘和數據依賴4.1.6本章的符號規定4.2函式依賴4.2.1函式依賴的定義4.2.2FD的邏輯蘊涵4.2.3FD的推理規則4.2.4FD和健的聯繫...
5.2.1函式依賴的定義5.2.2FD的邏輯蘊涵5.2.3FD的推理規則5.2.4FD和關鍵碼的聯繫5.2.5屬性集的閉包5.2.6FD集的最小依賴集5.3關係模式的分解...
4.2函式依賴FD334.2.1FD的定義334.2.2函式依賴的類型344.2.3FD的邏輯蘊涵,FD集的閉包F+344.2.4鍵和FD的聯繫344.2.5FD的推理規則34...
4.2函式依賴 684.2.1屬性間聯繫 684.2.2函式依賴的定義 684.2.3候選關鍵字和外關鍵字 694.2.4邏輯蘊涵 704.2.5函式依賴的推理規則 704.3關係模式的範式 71...
2.5函式依賴2.5.1函式依賴的概念2.5.2邏輯蘊涵2.5.3關係模式的分解特性2.6範式和關係模式規範化2.6.1第一範式(1NF)2.6.2第二範式(2NF)...
5.2 函式依賴 1065.2.1 函式依賴的定義 1075.2.2 FD的邏輯蘊涵 1075.2.3 FD的推理規則 1085.2.4 FD和關鍵碼的聯繫 109...