規(guī)范化理論 省賽獲獎(jiǎng)

數(shù)據(jù)庫(kù)技術(shù)與應(yīng)用規(guī)范化理論創(chuàng)建采集任務(wù)01函數(shù)依賴范式0102目錄CONTENTS函數(shù)依賴01定義設(shè)R(U)是一個(gè)屬性集U上的關(guān)系模式，X和Y是U的子集。若對(duì)于R(U)的任意一個(gè)可能的關(guān)系r，r中不可能存在兩個(gè)元組在X上的屬性值相等，而在Y上的屬性值不等，則稱“X函數(shù)確定Y”或“Y函數(shù)依賴于X”，記作X→Y。X稱為這個(gè)函數(shù)依賴的決定屬性集(Determinant)。Y=f(x)函數(shù)依賴說(shuō)明函數(shù)依賴不是指關(guān)系模式R的某個(gè)或某些關(guān)系實(shí)例滿足的約束條件，而是指R的所有關(guān)系實(shí)例均要滿足的約束條件。函數(shù)依賴是語(yǔ)義范疇的概念。只能根據(jù)數(shù)據(jù)的語(yǔ)義來(lái)確定函數(shù)依賴。例如“姓名→年齡”這個(gè)函數(shù)依賴只有在不允許有同名人的條件下成立數(shù)據(jù)庫(kù)設(shè)計(jì)者可以對(duì)現(xiàn)實(shí)世界作強(qiáng)制的規(guī)定。例如規(guī)定不允許同名人出現(xiàn)，函數(shù)依賴“姓名→年齡”成立。所插入的元組必須滿足規(guī)定的函數(shù)依賴，若發(fā)現(xiàn)有同名人存在，則拒絕裝入該元組。函數(shù)依賴?yán)?Student(Sno,Sname,Ssex,Sage,Sdept)

假設(shè)不允許重名，則有:Sno→Ssex，Sno→Sage,Sno→Sdept，Sno←→Sname,Sname→Ssex，Sname→SageSname→Sdept但Ssex→Sage若X→Y，并且Y→X,則記為X←→Y。若Y不函數(shù)依賴于X,則記為X─→Y。函數(shù)依賴平凡函數(shù)依賴與非平凡函數(shù)依賴在關(guān)系模式R(U)中，對(duì)于U的子集X和Y，如果X→Y，但YX，則稱X→Y是非平凡的函數(shù)依賴若X→Y，但YX,則稱X→Y是平凡的函數(shù)依賴?yán)涸陉P(guān)系SC(Sno,Cno,Grade)中，非平凡函數(shù)依賴：(Sno,Cno)→

Grade

平凡函數(shù)依賴：(Sno,Cno)→

Sno(Sno,Cno)→Cno函數(shù)依賴于任一關(guān)系模式，平凡函數(shù)依賴都是必然成立的，它不反映新的語(yǔ)義，因此若不特別聲明，我們總是討論非平凡函數(shù)依賴。函數(shù)依賴完全函數(shù)依賴與部分函數(shù)依賴在關(guān)系模式R(U)中，如果X→Y，并且對(duì)于X的任何一個(gè)真子集X’，都有

X’Y,則稱Y完全函數(shù)依賴于X，記作Xｆ

Y。若X→Y，但Y不完全函數(shù)依賴于X，則稱Y部分函數(shù)依賴于X，記作XPY。

函數(shù)依賴?yán)?在關(guān)系SC(Sno,Cno,Grade)中，由于：Sno→Grade，Cno→Grade，因此：(Sno,Cno)ｆGrade

函數(shù)依賴傳遞函數(shù)依賴定義

在關(guān)系模式R(U)中，如果X→Y，Y→Z，且YX，Y→X，則稱Z傳遞函數(shù)依賴于X。注:如果Y→X，即X←→Y，則Z直接依賴于X。例:在關(guān)系Std(Sno,Sdept,Mname)中，有：

Sno→Sdept，Sdept→MnameMname傳遞函數(shù)依賴于Sno函數(shù)依賴范式02范式是符合某一種級(jí)別的關(guān)系模式的集合。關(guān)系數(shù)據(jù)庫(kù)中的關(guān)系必須滿足一定的要