数据库范式

比眉伴天荒 2022-02-19 23:22 346阅读 0赞

多值依赖的定义：

设R(U)是一个属性集合U上的一个关系模式，X, Y, 和Z是U的子集，并且Z=U-X-Y，多值依赖X->->Y成立当且仅当对R的任一个关系r，r在(X,Z)上的每个值对应一组Y的值，这组值仅仅决定于X值而与Z值无关。

若X->->Y，而Z=空集，则称X->->Y为平凡的多值依赖。否则，称X->->Y为非平凡的多值依赖。

可以看出，如果把上面的一组改为一个，那么多值依赖就变成了函数依赖。当然一个值组成的组也是组，所以说，函数依赖是多值依赖的特殊情况。

如下表：

课程C                                   教师T                              参考书B

数学                                      邓军                                数学分析

数学                                      邓军                                高等代数

数学                                      邓军                                微分方程

表中，U = C+T+B，（C,T）确定一组B,但是这组B其实与T无关，仅由C确定，所以(C,T)->->B。又因为T不是空集，所以(C,T)->->B为非平凡多值依赖。

要想消除多只依赖，可以分解为：(C,T), (C,B)及

表1：

课程C                  教师T

数学                     邓军

表2:

课程C                    参考书B

数学                      数学分析

数学                      高等代数

数学                      微分方程

对于R中的每个非平凡多值依赖X->->Y（Y不属于X)，X都含有候选码，则R属于4NF。

分析：对于每一个非平凡多值依赖X->->Y，X若含有候选码，也就是X->Y，所以4NF所允许的非平凡多值依赖是函数依赖。

百度知道

函数依赖是唯一确定的关系，例如在一个表  授课（课程号，课程名，课程学分，教师号，教师姓名，参考书号，参考书名)。当然这个表的主键是（课程号，教师号，参考书号）

课程名和课程学分函数依赖课程号，也就是说课程号唯一确定名字和学分；

同理，教师姓名函数依赖教师号；参考书名函数依赖参考书号。

但是，教师号可能多值依赖课程号，因为给定一个（课程号，参考书号）的组合，可能有对应多个教师号。这是因为多个老师可以使用相同或不同的参考书上同一门课。

简单点讲，函数就是唯一确定的关系；多值依赖却不能唯一确定。

我是看了百度知道才明白的, 标公式的都去使啊看都看不懂, 部分函数依赖是一种特殊的多值依赖, 多值依赖是有多个教师依赖到同一个（课程号，参考书号）组合里了, 而部分函数依赖只是一个教师依赖一个（课程号，参考书号）, 就是单单老王依赖于（01，数据库）中的01了, 这是部分函数依赖, 如果还有个老五也依赖于（01，数据库）中的01的话, 就是多值依赖了, 有n个值部分函数依赖于一个东西上了

贴一个分解为4NF的步骤

一般情况求主键只看函数依赖,但一般也不是与多值依赖无关  
你说的问题有点象将一个关系分解成4NF,分解成4NF的步骤  
1.先将该关系模式分解成BCNF,消除了基于函数依赖的多值依赖不包含码,因为各个子模式中的函数依赖的左部都包含码(书上有分解成BCNF的方法)  
2.再在各个分解成BCNF的关系模式中,看是否有不是基于函数依赖的非平凡的多值依赖,也就是说例如一个子模式存在X-->Y,X-->Z,Z=U-X-Y,Z非空集,此时必定X不->Y且X不->Z,  
分解成(X,Y)和(X,Z)就将该子模式分解成4NF了,理论上是这样,当然在一般的数工考试题目中不需要这样,有时当分解成3NF和BCNF时,原有的多值依赖就破坏了.

关系模式R〈U,F〉∈1NF。若X→Y且YX时X必含有码,则R〈U,F>∈BCNF。  
也就是说,关系模式R〈U,F〉中,若每一个决定因素都包含码,则R〈U,F>∈BCNF。  
  
由BCNF的定义可以得到以下结论:  
一个满足BCNF的关系模式有  
1.所有非主属性对每一个码都是完全函数依赖。  
2.所有的主属性对每一个不包含它的码,也是完全函数依赖。  
3.没有任何属性完全函数依赖于非码的任何一组属性。  
由于RBCNF,按定义排除了任何属性对码的传递依赖与部分依赖,所以R3NF。但是若R3NF,则R未必属于BCNF。  
  
 关系模式STJ(S,T,J)中,S表示学生,T表示教师,J表示课程。每一教师只教一门课。每门课有若干教师,某一学生选定某门课,就对应一个固定的教师。由语义可得到如下的函数依赖。  
  
(S,J)→T；(S,T)→J；T→J。  
  
这里(S,J),(S,T)都是候选码。  
STJ是3NF,因为没有任何非主属性对码传递依赖或部分依赖。但STJ不是BCNF关系,因为T是决定因素,而T不包含码。  
  
3NF的“不彻底”性表现在可能存在主属性对码的部分依赖和传递依赖。非BCNF的关系模式也可以通过分解成为BCNF。例如STJ可分解为ST(S,T)与TJ（T,J),它们都是BCNF。  
  
一个模式中的关系模式如果都属于BCNF,那么在函数依赖范畴内,它已实现了彻底的分离,已消除了插入和删除的异常                                                                                       、