5.1.1关系模式中的数据依赖 1.关系模式描述为: R(U, D, DOM, F) R为关系名。U属性名集合。D为属性组U中属 性所来自的域。DOM属性向域的映象的集合。 F为属性间数据的依赖关系集合。 2.数据依赖F:限定组成关系的各元组必须满 足的完整性约東条件。如属性的取值范围;或 者属性值间的相互关联(即数据依赖)。 3.关系模式的简述为:R(U,F)
5.1.1 关系模式中的数据依赖 ▪ 1. 关系模式描述为： R（U，D，DOM，F） R为关系名。U属性名集合。D为属性组U中属 性所来自的域。DOM属性向域的映象的集合。 F为属性间数据的依赖关系集合。 ▪ 2. 数据依赖F：限定组成关系的各元组必须满 足的完整性约束条件。如属性的取值范围；或 者属性值间的相互关联（即数据依赖）。 ▪ 3. 关系模式的简述为： R（U，F）
5.1.2数据依赖分类 1.关系模式中的数据依赖有多种,比较重要的是函数依 赖、多值依赖、连接依赖 ■2.函数依赖:关系模式中属性间的普遍存在函数依赖 F: student(sno, sname ssex, sage, sdept 该关系模式中存在以下函数依赖: Sno->sname, sno>ssex, sno> sdept ■3.多值依赖:一门课由多个老师上,使用同一套参考书 4.连接依赖:关系与关系间往往存在联系
5.1.2 数据依赖分类 ▪ 1. 关系模式中的数据依赖有多种，比较重要的是函数依 赖、多值依赖、连接依赖。 ▪ 2. 函数依赖：关系模式中属性间的普遍存在函数依赖。 例：student(sno,sname,ssex,sage,sdept) 该关系模式中存在以下函数依赖： Sno—>sname, Sno—> ssex, Sno—> sdept。 ◼ 3. 多值依赖:一门课由多个老师上，使用同一套参考书。 ◼ 4. 连接依赖:关系与关系间往往存在联系
1.3学校关系模式的函数依赖 如学校数据库模式:一个系有若干学生,一个学生只属 于一个系 个系只有一个系主任;一个学生可以选修 多门课程,每门课程有若干同学选修;每个学生所学的 每门课程都有成绩 假设学校数据库模式仅由一个表构成。 student(sno sdept, mname, cname, grade 各属性为学号,所在系,系主任名,课程名,成绩 关系中存在的数据依赖为: Sno cname grade sdept Enamel
5.1.3 学校关系模式的函数依赖 sno cname grade sdept Mname ▪ 如学校数据库模式：一个系有若干学生，一个学生只属 于一个系；一个系只有一个系主任；一个学生可以选修 多门课程，每门课程有若干同学选修；每个学生所学的 每门课程都有成绩。 ▪ 假设学校数据库模式仅由一个表构成。 student（sno,sdept,mname,cname,grade） ▪ 各属性为学号，所在系，系主任名，课程名，成绩。 ▪ 关系中存在的数据依赖为：
5.1.4函数依赖对关系模式的影响 关系模式: student(sno, sdept, mname, chame, grade) 存在一些问题: 1.数据冗余太大。 sdept, mname, cname重复保存。 2.更新异常。 3.插入异常。 4.删除异常。 为什么会出现这些问题呢? 因为存在不合适的数据依赖!
5.1.4 函数依赖对关系模式的影响 ▪ 关系模式：student（sno,sdept,mname,cname,grade） 存在一些问题: ▪ 1. 数据冗余太大。 sdept,mname,cname重复保存。 ▪ 2. 更新异常。 ▪ 3. 插入异常。 ▪ 4. 删除异常。 ▪ 为什么会出现这些问题呢？ ▪ 因为存在不合适的数据依赖！
5.1.5函数依赖的概念 定义:设R(U)是一个关系模式,U是R的属性集合,Ⅹ, Y是U的子集。对于R(U)的任意一个可能的关系r,如 果r中不存在两个元组,它们在Ⅹ上的属性相同,而在Y 上的属性不同,则称“X函数确定Y〃或”Y函数依赖于 X,记作X→Y 说明: (1)对R中所有关系实例而言; (2)数据库设计者可作强制规定,如姓名不能同名 (3)如X→Y,X称为决定属性集; (4)如X→Y,并且Y→X则记为X→Y; (5)若Y不函数依赖于X,记作X-\->Y
5.1.5 函数依赖的概念 ▪ 定义：设R（U）是一个关系模式，U是R的属性集合，X， Y是U的子集。对于R（U）的任意一个可能的关系r，如 果r中不存在两个元组，它们在X上的属性相同，而在Y 上的属性不同，则称“X函数确定Y”或”Y函数依赖于 X“ ，记作 X→Y。 ▪ 说明： ▪ （1）对R中所有关系实例而言； ▪ （2）数据库设计者可作强制规定，如姓名不能同名； ▪ （3）如X→Y,X称为决定属性集； ▪ （4）如X→Y,并且Y→X 则记为X→Y； ▪ （5）若Y不函数依赖于X，记作X—\—>Y