第九章 关系规划理论

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为非平凡的多值依赖。