一、函数依赖
1、定义
表中某一字段Y的值是由另外一个字段X的值来确定的,就称为Y函数依赖于X。
设X,Y是关系R的两个属性集合,当任何时刻R中的任意两个元组中的X属性值相同时,则它们的Y属性也是相同的,则称为X函数决定Y,或Y函数依赖X。
①平凡函数依赖
当关系中属性集合Y是属性集合X的子集时(Y⊆X),存在函数依赖X→Y,即一组属性函数决定它的所有子集,这种函数依赖称为平凡函数依赖。
②非平凡函数依赖
当关系中属性集合Y不是属性集合X的子集时,存在函数依赖X→Y,则称这种函数依赖为非平凡函数依赖。
③完全函数依赖
设X,Y是关系R的两个属性集合,X’是X的真子集,存在X→Y,但对每一个X’都有X’!→Y,则称Y完全函数依赖于X。
④部分函数依赖
设X,Y是关系R的两个属性集合,存在X→Y,若X’是X的真子集,存在X’→Y,则称Y部分函数依赖于X。
⑤传递函数依赖
设X,Y,Z是关系R中互不相同的属性集合,存在X→Y(Y !→X),Y→Z,则称Z传递函数依赖于X。
2、属性关系
属性之间有三种关系,但并不是每一种关系都存在函数依赖。
设R(U)是属性集U上的关系模式,X、Y是U的子集:
● 如果X和Y之间是1:1关系(一对一关系),如学校和校长之间就是1:1关系,则存在函数依赖X → Y和Y →X。
● 如果X和Y之间是1:n关系(一对多关系),如年龄和姓名之间就是1:n关系,则存在函数依赖Y → X。
● 若 X → Y,并且 Y → X, 则记为 X ←→ Y。
● 若 Y 不函数依赖于 X, 则记为 X -\→ Y。
●如果X和Y之间是m:n关系(多对多关系),如学生和课程之间就是m:n关系,则X和Y之间不存在函数依赖。
3、案例分析
学生表S(学号Sno,姓名Sname,年龄Sage,性别Ssex,班级Sdept)。
年级表C(年级号Cno,年级等级Grade)。
成绩表CJ(学号,课程号,成绩)。
如果不允许重名,则有:
学号→ 性别, 学号→ 年龄,
学号 → 班级,学号 ←→ 姓名,
姓名→ 性别, 姓名→ 年龄,
姓名→ 班级,性别-\→ 年龄。
在关系模式R(U)中,对于U的子集X和Y:
1、如果 X → Y,但 Y 不为 X 的子集,则称 X → Y 是非平凡的函数依赖
例:在关系SC(学号,年级号,年级等级)中,
非平凡函数依赖: (学号,年级号) → 年级等级。
2、若 X → Y,但 Y 为 X 的子集, 则称 X → Y 是平凡的函数依赖
平凡函数依赖:(学号, 年级号) →学号,(学号, 年级号) →年级号。
3、若 x → y 并且,存在 x 的真子集 x1,使得 x1 → y, 则 y 部分依赖于 x。
例:学生表(学号,姓名,性别,班级,年龄)关系中,
部分函数依赖:(学号,姓名)→性别,学号 →性别。
所以(学号,姓名)→性别 是部分函数依赖。
4、若 x → y 并且,对于 x 的任何一个真子集 x1,都不存在 x1 → y 则称y完全依赖于x。
例:成绩表(学号,课程号,成绩)关系中,
完全函数依赖:(学号,课程号)→成绩,学号-\→成绩,课程号 -\→成绩。
所以(学号,课程号)→成绩 是完全函数依赖。
5、若x → y并且y → z,而y -\→ x,则有x → z,称这种函数依赖为传递函数依赖。
例:关系S1(学号,系名,系主任),
学号 →系名,系名 →系主任,并且系名 -\→学号,系主任 -\→系名。
所以学号 →系主任为传递函数依赖。
二、范式
范式的定义
范式是关系数据库关系模式规范化的标准,从规范化的宽松到严格,分为不同的范式,通常使用的有第一范式、第二范式、第三范式及BC范式。范式是建立在函数依赖基础上的。
满足最低要求的范式是第一范式。在第一范式的基础上进一步满足更多要求的称为第二范式,其余范式以此类推
1、第一范式(1NF)
第一范式满足关系表中的属性不可分割。属性即关系表中的字段;不可分割即该属性/字段已经是不可分割的最小单位了。
一范式是关系数据库的基础。1NF是关系模式应具备的最起码的条件,如果数据库设计不能满足第一范式,就不能称为关系型数据库。关系数据库设计研究的关系规范化是在1NF之上进行的。
如果关系模式R是第一范式的模式,那么R的每一个关系r的属性都是原子项,不可分割。