无损join的分解.ppt

?黃三益2008 資料庫的核心理論與實務第四版 8-* Boyce-Codd正規式（Cont.) Transaction1 商品編號 pNo 報價單編號 invNo 數量 amount 單價 unitPrice bk001 A 3 500 bk200 D 2 400 cd100 C 5 350 vcd888 C 3 450 bk001 B 1 250 Transaction2 報價單編號 invNo 交易編號 tNo A c01 D c01 C c03 B f04 ?黃三益2008 資料庫的核心理論與實務第四版 8-* Boyce-Codd正規式（Cont.) 上頁Transaction關聯滿足3NF（但不滿足BCNF) 上頁Transaction1和Transaction2滿足BCNF 何者較好？ 考慮所有函數相依 （tNo, pNo）?amount （tNo, pNo）?salePrice （tNo, pNo）?invNo invNo?tNo （invNo, pNo）?amount （invNo, pNo）?salePrice ?黃三益2008 資料庫的核心理論與實務第四版 8-* Boyce-Codd正規式（Cont.) 只有Transaction關聯時，設定主鍵可決定 （tNo, pNo）?amount （tNo, pNo）?salePrice （tNo, pNo）?invNo 分解成Transaction1和Transaction2關聯時，設定主鍵可決定 （invNo, pNo）?amount （invNo, pNo）?salePrice invNo?tNo 當分解成Transaction1和Transaction2關聯時，若仍想維持函數相依 （tNo, pNo）?amount ，則需做跨關聯的檢查 保留函數相依的分解 :關聯綱目分解後各函數相依仍可藉由檢查單一關聯來確定 BCNF常無法保留所有函數相依 ?黃三益2008 資料庫的核心理論與實務第四版 8-* 練習8-6 有人可能認為8-12(b)的關聯綱目沒有比較省空間，請修改圖8-12範例關聯裡的記錄，使得空間的節省會較多 Ans: 交易編號 tNo 產品編號 pNo 數量 amount 單價 unitPrice 報價單編號 invNo c01 bk001 3 500 A c01 bk200 2 400 A c01 cd100 5 350 A c01 vcd888 3 450 A c01 bk005 1 250 A 報價單編號 invNo 交易編號 tNo A c01 3NF BCNF 報價單編號 invNo 產品編號 pNo 數量 amount 單價 unitPrice A bk001 3 500 A bk200 2 400 A cd100 5 350 A vcd888 3 450 A bk005 1 250 ?黃三益2008 資料庫的核心理論與實務第四版 8-* 第四正規式 第四正規式（簡稱4NF）是源於多值相依的概念 多值相依X?Y：給定一個X的屬性值，便有一組Y的屬性值 pNo?author pNo?transaction 商品編號 pNo 創作者 author 交易 transaction c01 ABC 50 c01 XYZ 42 c01 ABC 42 c01 XYZ 50 m05 DEF 51 m05 XYZ 33 m05 DEF 33 m05 XYZ 51 ?黃三益2008 資料庫的核心理論與實務第四版 8-* 第四正規式（Cont.) 在ProductAuthor關聯裡的多值相依pNo?author和ProductTransaction關聯裡的多值相依pNo?transaction稱為微不足道的多值相依 一個關聯綱目R滿足4NF，如果 每一個R的非微不足道的多值相依其左方都是超級鍵 滿足4NF也必定滿足BCNF ProductAuthor 商品編號 pNo 創作者 author c01 ABC c01 XYZ m05 DEF m05 XYZ ProductTransaction 商品編號 pNo 交易 transaction c01 50 c01 42 m05 51 m05 33 ?黃三益2008 資料庫的核心理論與實務第四版 8-* 第五正規式 一個關聯綱目R滿足5 NF： R無法再被分解成數個關聯R1, R2, …, Rk，使得R1*R2* …*Rk=R，或 R可以被分解成數個關聯R1, R2, …, Rk，使得R1*R2* …*Rk=R，但是每一個Ri, 1?i?k，都是R的超級鍵。 5NF限制條件的發現和檢查不易，也因此在實作上通常不予考慮 包含相依 考慮兩個關聯R和S的兩個屬性集合X和Y，如果R(X)的任