9.1 关系模式设计的问题
数据冗余问题
数据更新问题
数据插入问题
数据删除问题
9.2 函数依赖
基本概念:Y=f(x)
,X和Y在数量上的对应关系,即给定一个X值,都会有一个Y值和它对应,也可以说,X函数决定Y,或Y函数依赖于X
一些术语和符号
-
函数依赖:X—>Y,即X函数决定Y,或Y函数依赖于X。
- 例:学号—>姓名 #学号决定姓名
-
平凡函数依赖:X—>Y,但X包含Y (Y包含于X)。
- 例:(学号,课号)—>课号 #课号存在于 (学号,课号) 之中。
-
非平凡函数依赖: X—>Y,但X不包含Y。
- 例:(学号,课号)—>成绩 #成绩不存在于 (学号,课号) 之中。
-
完全函数依赖:X—>Y,对于X的任意一个真子集X'都有X'不能函数决定Y。
- 例:(学号,课号)—>成绩 #只有学号或姓名无法决定成绩,二者缺一不可。
-
部分函数依赖:X—>Y,存在X的某一个真子集X'能够函数决定Y。
- 例:(学号,课号)—>姓名 #只有学号就能决定姓名,课号为冗余项。
-
传递函数依赖:X—>Y,X不包含Y,Y不函数决定X,Y—>Z,即Z对X传递函数依赖。
- 例:学号—>系号,(系号不函数决定学号) ,系号—>系主任,则系主任传递函数依赖于学号。
-
多值依赖:X—>—>Y,设R(U)是属性集U上的一个关系模式。X,Y,Z是U的子集,并且Z=U-X-Y,关系模式R(U)中多值依赖X—>—>Y成立,当且仅当对R(U)的任一关系r,给定的一对(x,z)值有一组Y的值,这组值仅仅决定于x值而与z值无关
- 平凡的多值依赖:若X—>—>Y, 并且X,Y,Z是U的子集,Z=U-X-Y,而Z为空集,则称X—>—>Y为平凡的多值依赖;
- 非平凡的多值依赖:若X—>—>Y, 并且X,Y,Z是U的子集,Z=U-X-Y,若Z不为空,则称X—>—>Y为非平凡的多值依赖。