第2章關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)

1、1第第2章章 關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)22第第2章章 關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)n 2.1 2.1 關(guān)系模型的基本概念關(guān)系模型的基本概念n 2.2 2.2 關(guān)系代數(shù)關(guān)系代數(shù)n 2.3 2.3 關(guān)系規(guī)范化關(guān)系規(guī)范化32.1 關(guān)系模型的基本概念關(guān)系模型的基本概念n 關(guān)系模型的基本術(shù)語(yǔ)關(guān)系模型的基本術(shù)語(yǔ) 部門號(hào)部門號(hào)部門名部門名部門經(jīng)理部門經(jīng)理電話號(hào)碼電話號(hào)碼101技術(shù)部技術(shù)部林克林克26540214102財(cái)務(wù)部財(cái)務(wù)部徐瑩華徐瑩華26540652103公關(guān)部公關(guān)部張文韜張文韜26544852104策劃部策劃部謝海謝海26543298職工號(hào)職工號(hào)職工名職工名性別性別年齡年齡部門號(hào)部門號(hào)10100

2、1王軍王軍男男24101101003黃明業(yè)黃明業(yè)男男34101103018張華張華女女35103104024吳林華吳林華女女27104表表2.1 職工信息表職工信息表表表2.2 部門信息表部門信息表42.1 關(guān)系模型的基本概念關(guān)系模型的基本概念1關(guān)系關(guān)系一個(gè)關(guān)系就是一張二維表，通常將一個(gè)沒(méi)有重復(fù)行、重一個(gè)關(guān)系就是一張二維表，通常將一個(gè)沒(méi)有重復(fù)行、重復(fù)列的二維表看成一個(gè)關(guān)系，每個(gè)關(guān)系都有一個(gè)關(guān)系名。復(fù)列的二維表看成一個(gè)關(guān)系，每個(gè)關(guān)系都有一個(gè)關(guān)系名。2. 屬性及值域?qū)傩约爸涤蚨S表的每一列在關(guān)系中稱為屬性二維表的每一列在關(guān)系中稱為屬性(Attribute)，每個(gè)屬性，每個(gè)屬性都有一個(gè)屬性名，各個(gè)屬

3、性的取值稱為屬性值。每個(gè)屬性有都有一個(gè)屬性名，各個(gè)屬性的取值稱為屬性值。每個(gè)屬性有一定的取值范圍，稱為值域。一定的取值范圍，稱為值域。3. 關(guān)系模式關(guān)系模式對(duì)關(guān)系的描述稱為關(guān)系模式，關(guān)系模式的一般形式為：對(duì)關(guān)系的描述稱為關(guān)系模式，關(guān)系模式的一般形式為： 關(guān)系名關(guān)系名(屬性屬性1，屬性，屬性2，屬性，屬性n) 例如，職工信息關(guān)系例如，職工信息關(guān)系(職工號(hào)，職工名，性別，年齡，職工號(hào)，職工名，性別，年齡，部門號(hào)部門號(hào))52.1 關(guān)系模型的基本概念關(guān)系模型的基本概念4元組元組二維表的每一行在關(guān)系中稱為元組二維表的每一行在關(guān)系中稱為元組(Tuple)。一行描述了。一行描述了現(xiàn)實(shí)世界中的一個(gè)實(shí)體，或者描

4、述了不同實(shí)體間的一種聯(lián)系?，F(xiàn)實(shí)世界中的一個(gè)實(shí)體，或者描述了不同實(shí)體間的一種聯(lián)系。5. 鍵鍵（1） 超鍵：在關(guān)系中能唯一標(biāo)識(shí)元組的屬性或?qū)傩缘慕M超鍵：在關(guān)系中能唯一標(biāo)識(shí)元組的屬性或?qū)傩缘慕M合稱為該關(guān)系的超鍵。合稱為該關(guān)系的超鍵。（2）候選鍵：不含有多余屬性的超鍵稱為候選鍵。）候選鍵：不含有多余屬性的超鍵稱為候選鍵。（3）主鍵：用戶選作元組標(biāo)識(shí)的一個(gè)候選鍵稱為主鍵。）主鍵：用戶選作元組標(biāo)識(shí)的一個(gè)候選鍵稱為主鍵。 例如，表例如，表2.1的職工信息關(guān)系中，屬性組合的職工信息關(guān)系中，屬性組合(職工號(hào)，職工職工號(hào)，職工名名)是超鍵，但不是候選鍵是超鍵，但不是候選鍵 。62.1 關(guān)系模型的基本概念關(guān)系模型的

5、基本概念6. 主屬性與非主屬性主屬性與非主屬性關(guān)系中包含在任何一個(gè)候選鍵中的屬性稱為主屬性，不關(guān)系中包含在任何一個(gè)候選鍵中的屬性稱為主屬性，不包含在任何一個(gè)候選鍵中的屬性稱為非主屬性。包含在任何一個(gè)候選鍵中的屬性稱為非主屬性。 例如，表例如，表2.1職工關(guān)系中，職工號(hào)和職工名是主屬性，其職工關(guān)系中，職工號(hào)和職工名是主屬性，其他屬性是非主屬性。他屬性是非主屬性。7. 外鍵、參照關(guān)系與依賴關(guān)系外鍵、參照關(guān)系與依賴關(guān)系如果關(guān)系中某個(gè)屬性或?qū)傩越M合并非關(guān)鍵字，但卻是另如果關(guān)系中某個(gè)屬性或?qū)傩越M合并非關(guān)鍵字，但卻是另一個(gè)關(guān)系的主關(guān)鍵字，則稱此屬性或?qū)傩越M合為本關(guān)系的外一個(gè)關(guān)系的主關(guān)鍵字，則稱此屬性或?qū)傩?/p>

6、組合為本關(guān)系的外部關(guān)鍵字或外鍵部關(guān)鍵字或外鍵(Foreign Key)。在關(guān)系數(shù)據(jù)庫(kù)中，用外部關(guān)鍵字表示兩個(gè)表間的聯(lián)系。在關(guān)系數(shù)據(jù)庫(kù)中，用外部關(guān)鍵字表示兩個(gè)表間的聯(lián)系。以外鍵作為主鍵的關(guān)系稱為參照關(guān)系或主關(guān)系，外鍵所在的以外鍵作為主鍵的關(guān)系稱為參照關(guān)系或主關(guān)系，外鍵所在的關(guān)系稱為依賴關(guān)系或從關(guān)系。關(guān)系稱為依賴關(guān)系或從關(guān)系。 72.1 關(guān)系模型的基本概念關(guān)系模型的基本概念n 關(guān)系的定義和性質(zhì)關(guān)系的定義和性質(zhì) 在關(guān)系模型中，對(duì)關(guān)系作了下列規(guī)范性限制。在關(guān)系模型中，對(duì)關(guān)系作了下列規(guī)范性限制。（1）關(guān)系中的每一個(gè)屬性值是不可分解的。）關(guān)系中的每一個(gè)屬性值是不可分解的。 （2）每一個(gè)關(guān)系模式中屬性的數(shù)據(jù)

7、類型以及屬性的個(gè)數(shù)）每一個(gè)關(guān)系模式中屬性的數(shù)據(jù)類型以及屬性的個(gè)數(shù)是固定的，并且每個(gè)屬性必須命名，在同一個(gè)關(guān)系模式中，是固定的，并且每個(gè)屬性必須命名，在同一個(gè)關(guān)系模式中，屬性名必須是不同的。屬性名必須是不同的。（2）每一個(gè)關(guān)系僅有一種關(guān)系模式。）每一個(gè)關(guān)系僅有一種關(guān)系模式。（4）在關(guān)系中沒(méi)有行序。）在關(guān)系中沒(méi)有行序。 （5）在關(guān)系中沒(méi)有列序。）在關(guān)系中沒(méi)有列序。（6）在同一個(gè)關(guān)系中不允許出現(xiàn)完全相同的元組。）在同一個(gè)關(guān)系中不允許出現(xiàn)完全相同的元組。 82.1 關(guān)系模型的基本概念關(guān)系模型的基本概念n 關(guān)系模型的三要素關(guān)系模型的三要素1. 數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu)2. 關(guān)系操作關(guān)系操作（1）代數(shù)方法，也稱為

8、關(guān)系代數(shù)，是以集合）代數(shù)方法，也稱為關(guān)系代數(shù)，是以集合(關(guān)系是元關(guān)系是元組的集合組的集合)操作為基礎(chǔ)，應(yīng)用對(duì)關(guān)系的專門運(yùn)算來(lái)表達(dá)查詢操作為基礎(chǔ)，應(yīng)用對(duì)關(guān)系的專門運(yùn)算來(lái)表達(dá)查詢的要求。的要求。（2）邏輯方法，也稱為關(guān)系演算，是以謂詞演算為基礎(chǔ)，）邏輯方法，也稱為關(guān)系演算，是以謂詞演算為基礎(chǔ)，通過(guò)元組必須滿足的謂詞公式來(lái)表達(dá)查詢要求。通過(guò)元組必須滿足的謂詞公式來(lái)表達(dá)查詢要求。3. 關(guān)系模型的三類完整性規(guī)則關(guān)系模型的三類完整性規(guī)則92.1 關(guān)系模型的基本概念關(guān)系模型的基本概念（1）實(shí)體完整性）實(shí)體完整性所謂實(shí)體完整性，就是一個(gè)關(guān)系模型中的所有元組都是所謂實(shí)體完整性，就是一個(gè)關(guān)系模型中的所有元組都是惟

9、一的，沒(méi)有兩個(gè)完全相同的元組，也就是一個(gè)二維表中沒(méi)惟一的，沒(méi)有兩個(gè)完全相同的元組，也就是一個(gè)二維表中沒(méi)有兩個(gè)完全相同行，也稱為行完整性。有兩個(gè)完全相同行，也稱為行完整性。 例如，表例如，表2.1的職工信息關(guān)系，根據(jù)實(shí)體完整性，的職工信息關(guān)系，根據(jù)實(shí)體完整性，“職工職工號(hào)號(hào)”不能取空值不能取空值 。（2）參照完整性）參照完整性當(dāng)一個(gè)數(shù)據(jù)表中有外部關(guān)鍵字當(dāng)一個(gè)數(shù)據(jù)表中有外部關(guān)鍵字(即該列是另外一個(gè)表的關(guān)即該列是另外一個(gè)表的關(guān)鍵字鍵字)時(shí)，外部關(guān)鍵字列的所有值，都必須出現(xiàn)在其所對(duì)應(yīng)時(shí)，外部關(guān)鍵字列的所有值，都必須出現(xiàn)在其所對(duì)應(yīng)的表中，這就是參照完整性的含義的表中，這就是參照完整性的含義 。例如，表例

10、如，表2.1的職工信息表和表的職工信息表和表2.2的部門信息表。的部門信息表。（3）用戶定義完整性）用戶定義完整性102.2 關(guān)系代數(shù)關(guān)系代數(shù)n 傳統(tǒng)的集合運(yùn)算傳統(tǒng)的集合運(yùn)算 對(duì)二維表格進(jìn)行運(yùn)算的機(jī)制。對(duì)二維表格進(jìn)行運(yùn)算的機(jī)制。 1并并設(shè)設(shè)A、B同為同為n元關(guān)系，則元關(guān)系，則A、B的并也是一個(gè)的并也是一個(gè)n元關(guān)系，元關(guān)系，記作記作AB。2差差設(shè)設(shè)A、B同為同為n元關(guān)系，則元關(guān)系，則A、B的差也是一個(gè)的差也是一個(gè)n元關(guān)系，元關(guān)系，記作記作A-B。A-B包含了所有屬于包含了所有屬于A但不屬于但不屬于B的元組。的元組。 3交交設(shè)設(shè)A、B同為同為n元關(guān)系，則元關(guān)系，則A、B的交也是一個(gè)的交也是一個(gè)n元

11、關(guān)系，元關(guān)系，記作記作AB。AB包含了所有同屬于包含了所有同屬于A、B的元組。的元組。112.2 關(guān)系代數(shù)關(guān)系代數(shù)4廣義笛卡爾積廣義笛卡爾積設(shè)設(shè)A1、A2、An為任意集合，為任意集合，A1、A2、An的笛的笛卡爾乘積記做：卡爾乘積記做：A1A2An,并且定義并且定義D= A1A2An =(a1，a2，an)|aiAi，i=1，2，n，其中，其中(a1，a2，an)是一個(gè)元組，它的每個(gè)元素是一個(gè)元組，它的每個(gè)元素ai取取自對(duì)應(yīng)的集合自對(duì)應(yīng)的集合Ai。例如，設(shè)例如，設(shè)A=1，2，B=a，b，則，則AB=(1，a)，(1，b)，(2，a)，(2，b)。12 R A B C a1 b1 c1 a1 b

12、2 c2 a2 b2 c1 (a) S A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 (b) R? S A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 a1 b3 c2 (c) RS A B C a1 b1 c1 (d) RS A B C a1 b2 c2 a2 b2 c1 (e) RS R.A R.B R.C S.A S.B S.C a1 b1 c1 a1 b2 c2 a1 b1 c1 a1 b3 c2 a1 b1 c1 a2 b2 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a1 b3 c2 a1 b2 c2 a2 b2 c1 a2 b

13、2 c1 a1 b2 c2 a2 b2 c1 a1 b3 c2 a2 b2 c1 a2 b2 c1 (f) 2.2 關(guān)系代數(shù)關(guān)系代數(shù)【例【例2.1】132.2 關(guān)系代數(shù)關(guān)系代數(shù)n 專門的關(guān)系運(yùn)算專門的關(guān)系運(yùn)算1. 選擇選擇對(duì)關(guān)系作水平分割對(duì)關(guān)系作水平分割 定義如下：定義如下：t是元組變量，是元組變量，F(xiàn)是元組需滿足的公式。是元組需滿足的公式。2. 投影投影對(duì)關(guān)系作垂直分割對(duì)關(guān)系作垂直分割設(shè)關(guān)系設(shè)關(guān)系R是是k元關(guān)系，元關(guān)系，R在其分量，在其分量，(mk，i1，im為為1到到k間的整數(shù)間的整數(shù))上的投影用上的投影用 表示，表示，它是一個(gè)它是一個(gè)m元元組的集合，定義如下元元組的集合，定義如下：（：（

14、t是元組變量是元組變量 ）)(|)(truetFRttRF11,1(R),Rmmiiiik t|ttttt1,(R)mii142.2 關(guān)系代數(shù)關(guān)系代數(shù)【例【例2.2】 (a)是關(guān)系是關(guān)系R，(b)表示表示 C3(R)，(c)表示表示C，A(R)。R A B C 5 2 8 1 7 4 6 9 3 (a) C3(R) A B C 5 2 8 1 7 4 (b) C，A(R) C A 8 5 4 1 3 6 (c) 152.2 關(guān)系代數(shù)關(guān)系代數(shù)3. 連接連接連接運(yùn)算的結(jié)果是笛卡爾積的子集連接運(yùn)算的結(jié)果是笛卡爾積的子集（1） 連接連接從關(guān)系從關(guān)系R和和S的笛卡爾積中選取屬性值滿足某一的笛卡爾積中選取

15、屬性值滿足某一 操作的元組。操作的元組。形式定義如下：形式定義如下：,|ttttttsjissjiSRttSRttsji,分別表示元組分別表示元組tr的第的第i個(gè)分量、元組個(gè)分量、元組ts的第的第j個(gè)分量個(gè)分量 ttsji表示這兩個(gè)分量的表示這兩個(gè)分量的 操作操作162.2 關(guān)系代數(shù)關(guān)系代數(shù)（2）F連接連接F連接操作是連接操作是從關(guān)系從關(guān)系R和和S的笛卡爾積中選取屬性值滿足的笛卡爾積中選取屬性值滿足某一公式某一公式F的元組的元組，記為，記為 R S。（3）自然連接）自然連接兩個(gè)關(guān)系兩個(gè)關(guān)系R和和S的自然連接操作用的自然連接操作用RS表示，計(jì)算過(guò)程表示，計(jì)算過(guò)程如下：如下：計(jì)算計(jì)算RS；設(shè)設(shè)R和

16、和S的公共屬性是的公共屬性是A1，Ak，挑選，挑選RS中滿足中滿足R.A1=S.A1，R.Ak=S.Ak的那些元組；的那些元組；去掉去掉S.A1，S.Ak這些列。這些列。因而因而RS定義如下：定義如下：RSF111,.()mkkiiR AS AR AS ARS172.2 關(guān)系代數(shù)關(guān)系代數(shù)【例【例2.3】 (a)和和(b)是兩個(gè)關(guān)系是兩個(gè)關(guān)系R和和S，(c)表示連接，表示連接，(d)表示表示F連接，連接，(e)表示自然連接。表示自然連接。R A B C 4 3 6 4 3 7 2 9 1 (a) RS A B C 4 3 6 4 3 7 (e) R22 1 2 S R.A R.B R.C S.A

17、 S.B 2 9 1 4 3 2 9 1 2 3 (d) S A B 4 3 8 1 2 3 (b) 182.2 關(guān)系代數(shù)關(guān)系代數(shù)4. 除法除法設(shè)關(guān)系設(shè)關(guān)系R和和S的元數(shù)分別為的元數(shù)分別為r和和s(設(shè)設(shè)rs0)，那么，那么R S是一個(gè)是一個(gè)(r-s)元的元組集合元的元組集合。 (R S)是滿足下列條件的最大關(guān)系：其是滿足下列條件的最大關(guān)系：其中每個(gè)元組中每個(gè)元組t與與S中每個(gè)元組中每個(gè)元組u組成的新元組組成的新元組必在關(guān)系必在關(guān)系R中。中。 192.2 關(guān)系代數(shù)關(guān)系代數(shù)【例【例2.4】 (a)和和(b)是兩個(gè)關(guān)系是兩個(gè)關(guān)系R和和S，(c)表示除法運(yùn)算。表示除法運(yùn)算。 R A B C D 5 7

18、 2 8 5 7 7 4 5 1 5 7 3 6 4 1 9 8 2 8 9 8 7 4 (a) S C D 2 8 7 4 (b) RS A B 5 7 9 8 (c) 202.2 關(guān)系代數(shù)關(guān)系代數(shù)n 關(guān)系代數(shù)表達(dá)式及其應(yīng)用實(shí)例關(guān)系代數(shù)表達(dá)式及其應(yīng)用實(shí)例 【例【例2.5】設(shè)教學(xué)數(shù)據(jù)庫(kù)中有三個(gè)關(guān)系：】設(shè)教學(xué)數(shù)據(jù)庫(kù)中有三個(gè)關(guān)系： 學(xué)生關(guān)系學(xué)生關(guān)系(學(xué)號(hào)學(xué)號(hào)，姓名，性別，年齡，所在系，專業(yè)，姓名，性別，年齡，所在系，專業(yè)) 課程關(guān)系課程關(guān)系(課程號(hào)課程號(hào)，課程名，學(xué)時(shí)數(shù)，課程名，學(xué)時(shí)數(shù)) 選課關(guān)系選課關(guān)系(學(xué)號(hào)，課程號(hào)學(xué)號(hào)，課程號(hào)，成績(jī)，成績(jī)) 下面用關(guān)系代數(shù)表達(dá)式表達(dá)每個(gè)查詢語(yǔ)句。下面用關(guān)系代數(shù)

19、表達(dá)式表達(dá)每個(gè)查詢語(yǔ)句。（1）檢索課程號(hào)為）檢索課程號(hào)為C201的學(xué)生的學(xué)號(hào)與成績(jī)。的學(xué)生的學(xué)號(hào)與成績(jī)。（2）檢索選修課程名為應(yīng)用數(shù)學(xué)的學(xué)生的學(xué)號(hào)與姓名。）檢索選修課程名為應(yīng)用數(shù)學(xué)的學(xué)生的學(xué)號(hào)與姓名。選課課程名成績(jī)學(xué)號(hào)201,C1,3(課程選課學(xué)生應(yīng)用數(shù)學(xué)課程名學(xué)號(hào)，姓名212.2 關(guān)系代數(shù)關(guān)系代數(shù)（3）檢索選修全部課程的學(xué)生姓名。）檢索選修全部課程的學(xué)生姓名。 過(guò)程如下：過(guò)程如下： 學(xué)生選課情況表示如下：學(xué)生選課情況表示如下： 全部課程表示如下：全部課程表示如下： 選修了全部課程的學(xué)生學(xué)號(hào)可用除法操作表示，操選修了全部課程的學(xué)生學(xué)號(hào)可用除法操作表示，操作結(jié)果是學(xué)號(hào)集作結(jié)果是學(xué)號(hào)集 ，表示如下

20、：，表示如下：從學(xué)號(hào)求學(xué)生姓名，可用自然連接和投影操作組合而從學(xué)號(hào)求學(xué)生姓名，可用自然連接和投影操作組合而成：成：課程選課學(xué)生課程名學(xué)號(hào)，課程名姓名選課學(xué)號(hào)，課程號(hào)課程課程號(hào)課程選課課程號(hào)學(xué)號(hào)，課程號(hào)222.3 關(guān)系規(guī)范化關(guān)系規(guī)范化n 關(guān)系模式的設(shè)計(jì)問(wèn)題關(guān)系模式的設(shè)計(jì)問(wèn)題引例引例：表：表2.3關(guān)系模型存在如下幾方面的問(wèn)題。關(guān)系模型存在如下幾方面的問(wèn)題。數(shù)據(jù)冗余；修改異常；插入異常；刪除異常數(shù)據(jù)冗余；修改異常；插入異常；刪除異常 SNOSNAMESCITYCODEPNOPNAMEWEIGHTQTYS1迅飛公司上海021P102六角螺栓2.58280S2網(wǎng)達(dá)公司天津022P432轉(zhuǎn)管45.1436

21、0S2網(wǎng)達(dá)公司天津022P761水暖三通34.96200S3新嘉公司北京010P432轉(zhuǎn)管45.14480S4中聯(lián)公司北京010P761水暖三通34.96100表表2.3 商品供應(yīng)關(guān)系模式商品供應(yīng)關(guān)系模式SUPPLY的實(shí)例的實(shí)例232.3 關(guān)系規(guī)范化關(guān)系規(guī)范化要解決上述要解決上述3個(gè)問(wèn)題，可將商品供應(yīng)關(guān)系模式個(gè)問(wèn)題，可將商品供應(yīng)關(guān)系模式SUPPLY分分解以下為四個(gè)模式：解以下為四個(gè)模式：SUPPLIER(SNO，SNAME，SCITY)CITY(SCITY，CODE)PART(PNO，PNAME，WEIGHT)S_P(SNO，PNO，QTY)24SNO SNAME SCITY S1 迅飛公司迅

22、飛公司 上海上海 S2網(wǎng)達(dá)公司網(wǎng)達(dá)公司 天津天津 S3 新嘉公司新嘉公司 北京北京 S4 中聯(lián)公司中聯(lián)公司 北京北京 SNO PNO QTY S1P102280S2P432360S2P761200S3 P432480S4 P761100SCITY SNAME 上海上海 021天津天津 022 北京北京 010PNO PNAME WEIGHT P102六角螺栓六角螺栓 2.58 P432轉(zhuǎn)管轉(zhuǎn)管 45.14 p761水暖三通水暖三通 34.96 關(guān)系模式關(guān)系模式SUPPLIER的實(shí)例的實(shí)例 關(guān)系模式關(guān)系模式CITY的實(shí)例的實(shí)例 關(guān)系模式關(guān)系模式PART的實(shí)例的實(shí)例 關(guān)系模式關(guān)系模式S_P的實(shí)例的

23、實(shí)例 表表2.4 關(guān)系模式關(guān)系模式SUPPLY的分解實(shí)例的分解實(shí)例252.3 關(guān)系規(guī)范化關(guān)系規(guī)范化n 函數(shù)依賴函數(shù)依賴 定義定義1 設(shè)設(shè)RR(A1,A2,An)是一個(gè)關(guān)系模式是一個(gè)關(guān)系模式(A1,A2,An是是R的屬性的屬性)，X A1,A2,An ，Y A1,A2,An ，即，即X和和Y是是R的屬性子集，的屬性子集，T1、T2是是R的兩個(gè)任意元組，即的兩個(gè)任意元組，即T1T1(A1,A2,An)，T2T2(A1,A2,An)，如果當(dāng)，如果當(dāng)T1(X)T2(X)成立時(shí)，總有成立時(shí)，總有T1(Y)T2(Y)，則稱，則稱X決定決定Y，或稱，或稱Y函數(shù)依賴于函數(shù)依賴于X。記為：。記為：XY。262.3 關(guān)系規(guī)范化關(guān)系規(guī)范化定義定義2 R，X，Y如定義如定義1所設(shè)，如果所設(shè)，如果XY成立，但對(duì)成立，但對(duì)X的任意真子集的任意真子集X1，都有，都有X1Y不成立，稱不成立，稱Y完全函數(shù)依賴