第九章 函数依赖学习记录

1.基本概念

公式：Y=f(X).X函数决定Y，或Y函数依赖于X。

例如：省=f（城市）。

一般把X函数决定Y，或Y函数依赖于X表示为：XY

定义：设有关系模式R（A1,A2,A3,....,An），X和Y均为{A1,A2,A3,....,An}的子集，r是R的任意具体关系。

2.术语和符号

给出本章中使用的一些术语和符号。 设有关系模式R(A, A.,. A,)，x和Y均为 (A,A,.，An卜 的子集，则有以下结论:配园德升湖面德用百中在汉宝部价中加城 (1) 如果X→Y,但Y不包含于X，则称X→Y是非平凡的函数依赖。如不做特别说明， 我们讨论的都是非平凡的函数依赖。师一限包eiart要口舞，啪来则不 显敲沿义西的凯口 (2)如果Y不函数依赖于X,则记作XAY。湖楼西整宗示秀个一便界回股s金付共，合 康特克(3)如果X→Y,则称X为决定因子。面性连些一一民出荣武大回静孙波西的徐习灵 (4)如果X- Y,并且Y→x,则记作X→Y。A.古漱中eF许集出导殖旧肤摄男(5)如果X→Y,并且对于X的一个任意真子集X都有X'AY,则称Y完全函数依赖于X，记作X-了→Y;如果X'Y成立，则称Y部分函数依赖于X，记作X-→Y。

(6) 如果X一Y (非平凡函数依赖，并且Y+X)、Y→Z,则称Z传递函数依赖于X。(7)设K为关系模式R的一个属性或属性组，若满足:

f

K_→A, K-→A, ... K→A，今电话衔吱养业田血示

则称K为关系模式R的候选键(或候选码)。称包含在候选键中的属性为主属性，不包含在任何候选码中的属性称为非主属性。

例9.1设有关系模式 SC (Sno, Sname, Cno, Credit, Grade), 其中各属性分别为:学 号、姓名、课程号、学分和成绩，主键为(Sno, Cno)，则有如下函数依赖:

身中Sno→Sname 行 小丽会不出然月.0姓名函数依赖于学号的志感常非印外县聂丽函7(Sno,Cno)-P+Sname子个一首会姓名部分函数依赖于学号和课程号量双玉[叶X

f

关柏 (Sno, Cno) Grade

成绩完全函数依赖于学号和课程号

3.函数依赖的推理规则

1. Armstrong公理

(1)_自反律(reflexivity).si斗跳城

8时日一下首干由

若YCxCU,则X→Y在R

例如，对关系模式sc ( Sno 上成立。即一组属性函数决定它的所有子集。0小 10)(Sno，Cno)→Cno和

， Sname, Cno, Credit, Grade)，有: 30，R-1血因

(2)增广律(augmentation)。 (Sno, Cno)→Sno .8小)八龙勇展关味口 上.9图若X→Y在R上成立，且2CU、

00N .0- 08.M-0.0- 8A| =A

D (3)传递律( tanstivity)。..... 则Xz→YZ在R上也成立。t M谷县)1+ c8进氏

出办口08--0由:鞋

若X→Y和Y→Z在R上成立， 则X- +Z在R上也成立。1-050-38由义 2. Armstrong 公理推论

(1)合并规则(union rule)。

3.- 012出然面⑤①由

若X→Y和X-→Z在R上成立，则X→YZ在R上也成立。

例如对关系模式Suden (Sso, Same. Stept, Sg)，有Sm (Smm, Sep), Sno -Ssge,则有Sno-) (Sname, Sdept, Sge)成立。山1乐汉

(2)分解规则(ocompstioio mle)。山代就费不可民上果是又通 若X→Y和Z∈Y在R上成立，则x -Z在R上也成立。

从合并规则和分解规则可得到如下重要结论:儿N::世满滑增阳出，万5时想

如果A.4是关系模式R的属性集，那么X→A,成立的充分必要条件是X一A, (i=1, 2，，n)成立。

(3)伪传递规则(peudo-tansivi rule)。 2海民来出民中单简里小栖县公跟由要业身若X→Y和YW→Z在R上成立，则XW→Z在R上也成立。的不头个一宝的限开去 馆(4) 复合规则(compsition rule)。罗集刚刘炒雨望玉从电公 Sroan银应，绿然.8 家若X→Y和W→Z在R上成立，则XW +YZ在R上也成立。出衣系悦一说楚习效丙的威 例如，对关系模式SC (Sno, Sname, Cno, Credit, Grade), 有:热封富如王年帅游亦河Sno→Sname ( 和Cno→→Credit成立，想时面出辑4由浦石县1-1费示媛西宝钱 则有: (Sno, Cno)→( Sname, Credit)科鼠宋武北林田李何国田荣黄外霞西沈四想同 9.2. 4闭包及候选键求解方法9长日，3)分方勇限关自对ε.Q义宝

对于一个关系模式R(U,F)，要根据已给出的函数依赖F,利用推理规则推导出其全 郜的函数依赖集是很困难的，比如， 从F={X-→A,tK出发，至少可以推导出2n个不同的函数依赖。为此引人了函数依赖集闭包的概念。7集出周米.0.0)分发财来关顿1.函数依赖集的闭包

定义9.2，在关系模式R(U, F)中，U是R的属性全集，F是R上的一组函数依赖。设x、Y是∪的子集，对于关系模式R的任一关系r，如果r满足F，则r满足X→Y，那么 怀F 逻辑蕴涵X +y.或称函数依赖X→Y可由 F导出。