关系范式怎么判断,如何写出函数依赖、判断范式级别

如何写出函数依赖、判断范式级别

关系范式怎么判断,如何写出函数依赖、判断范式级别

文章插图
可能有点复杂,希望你认真看 。
设R(U)是一个属性集U上的关系模式,X和Y是U的子集 。
若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称 “X函数确定Y” 或 “Y函数依赖于X”,记作X→Y 。
X称为这个函数依赖的决定属性集(Determinant) 。
Y=f(x)
说明:
1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件,而是指R的所有关系实例均要满足的约束条件 。
2. 函数依赖是语义范畴的概念 。只能根据数据的语义来确定函数依赖 。
例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立
3. 数据库设计者可以对现实世界作强制的规定 。例如规定不允许同名人出现,函数依赖“姓名→年龄”成立 。所插入的元组必须满足规定的函数依赖,若发现有同名人存在,则拒绝装入该元组 。
例: Student(Sno, Sname, Ssex, Sage, Sdept)
假设不允许重名,则有:
Sno → Ssex,Sno → Sage , Sno → Sdept,
Sno ←→ Sname, Sname → Ssex,Sname → Sage
Sname → Sdept
但Ssex -\→ Sage
若 X → Y,并且 Y → X, 则记为 X ←→ Y 。
若 Y 不函数依赖于 X, 则记为 X -\→ Y 。
在关系模式R(U)中,对于U的子集X和Y,
1.如果 X → Y,但 Y 不为 X 的子集,则称 X → Y 是非平凡的函数依赖
例:在关系SC(Sno, Cno, Grade)中,
非平凡函数依赖: (Sno, Cno) → Grade
2.若 X → Y,但 Y 为 X 的子集, 则称 X → Y 是平凡的函数依赖
平凡函数依赖: (Sno, Cno) → Sno ,(Sno, Cno) → Cno
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(学号,系名,系主任),
学号 → 系名,系名 → 系主任,并且 系名 -\→ 学号,所以 学号 → 系主任 为传递函数依赖
数据库高手请进,怎么去区分几个范式 。
关系范式怎么判断,如何写出函数依赖、判断范式级别

文章插图
你好,
关系数据库的几种设计范式介绍
1、第一范式(1NF)
在任何一个关系数据库中,第一范式(1NF)是对关系模式的基本要求,不满足第一范式(1NF)的数据库就不是关系数据库 。
所谓第一范式(1NF)是指数据库表的每一列都是不可分割的基本数据项,同一列中不能有多个值,即实体中的某个属性不能有多个值或者不能有重复的属性 。如果出现重复的属性,就可能需要定义一个新的实体,新的实体由重复的属性构成,新实体与原实体之间为一对多关系 。在第一范式(1NF)中表的每一行只包含一个实例的信息 。例如,对于图3-2 中的员工信息表,不能将员工信息都放在一列中显示,也不能将其中的两列或多列在一列中显示;员工信息表的每一行只表示一个员工的信息,一个员工的信息在表中只出现一次 。简而言之,第一范式就是无重复的列 。