【正文】
an? 多值依賴( MVD) –設(shè) R(U)是屬性集 U上的一個關(guān)系。 X、 Y、 Z是 U的子集,且 Z=UXY。關(guān)系 R(U)中多值依賴 X→→Y 成立,當(dāng)且僅當(dāng)對 R(U)的任一元組 r, 給定一對 (x,z)值,有一組 y的值 ,這組值僅僅取決于 x值,而與 z值無關(guān)。 –對給定 X的值,則 Y的取值與 Z的取值無關(guān) ? 給定一對 (x,z)值,有一組 y的值 X Y Zt a1… aiai + 1… ajaj+ 1…anw a1… aibi + 1… bjaj+ 1…anu a1… aibi + 1… bjbj+ 1… bnv a1… aiai + 1… ajbj+ 1… bnname street city title year 123 maple St. Hollywood Star Wars 1977 123 maple St. Hollywood Empire Strikes Back 1980 123 maple St. Hollywood Return of the Jedi 1983 5 Locust Ln. Mailbu Star Wars 1977 5 Locust Ln. Mailbu Empire Strikes Back 1980 5 Locust Ln. Mailbu Return of the Jedi 1983 name→→title,year ? 平凡的多值依賴 – 如果 X包含 Y或 X∪ Y=U,則 X→→Y 是平凡的多值依賴 ? 性質(zhì) – If X→→Y,and Y→→Z then X→→Z Y – If X→→Y,and Z=U XY then X→→Z – If X→Y then X→→Y ? 無分解 /合并規(guī)則 ? 第四范式( 4NF) – 對于關(guān)系 R,若 R∈ 1NF,且 所有 非平凡的多值依賴,其決定因素是候選碼,則 R∈ 4NF。 – 基于數(shù)據(jù)依賴的最高范式 – 分解要求 ? 無損連接 ? 保持依賴 ? 4NF 1983 Return of the Jedi Hollywood 123 maple St. 1980 Empire Strikes Back Hollywood 123 maple St. 1983 Return of the Jedi Mailbu 5 Locust Ln. 1980 Empire Strikes Back Mailbu 5 Locust Ln. 1977 Star Wars Mailbu 5 Locust Ln. 1977 Star Wars Hollywood 123 maple St. year title city street name name→→title,year name→→street,city All Key is BCNF isn’t 4NF R1(name,title,year) R2(name,street,city) All Key is 4NF ? 范式間的聯(lián)系 – 高層范式包含低層范式 – 分解特性 特性 3N F B C N F 4N F消除 FD 引起的冗余 大部分 是 是消除 M V D 引起的冗余 否 否 是保持 FD 是 可能 可能保持 M V D 可能 可能 可能? 作業(yè) –思考所有帶 *的練習(xí),并上網(wǎng)查詢解答 –練習(xí)