数据库理论-函数依赖

数据依赖与函数依赖

1)关系模式存在的问题

• 数据冗余，浪费存储空间
• 更新异常（如果要修改一个元素，则要修改多条数据中的这个元素）
• 插入异常（该插入的数据插入不进去）
• 删除异常（删除了不该删的数据）

2)什么是数据依赖

函数唯一确定对应值的关系
是现实世界属性间相互联系的抽象

3)数据依赖的主要类型

• 函数依赖
• 多值依赖
• 连接依赖

4)关系模式的简化表示

• 关系模式的形式化定义R（U、D、DOM、F）
  R：关系名
  U：该关系的属性集合
  D：属性组U中属性所来自的域
  DOM：属性向域的映象集合
  F：属性间数据的依赖关系集合
• 关系模式的简化表示R<U、F>

5)函数依赖

函数依赖指R的所有关系实例r均要满足的约束条件
确定函数依赖只能根据数据的语义来确定，并且函数依赖是关系模式R在任何时刻的关系实例均要满足的约束条件

• 平凡函数依赖和非平凡函数依赖
  

在第一个例子中，（Sno,Cno）函数确定Grade，但是Grade不包含在（Sno,Cno）中，所以为非平凡的函数依赖
在第二个例子中，（Sno,Cno）函数确定Sno，（Sno,Cno）函数确定Cno，同时Sno和Cno都包含在（Sno,Cno）中，所以为平凡函数依赖

对任一关系模式，平凡函数依赖都是必然成立的

• 完全函数依赖和部分函数依赖
  如果X->Y并且X的任何一个真子集X’都有X’不函数确定Y，则Y完全函数依赖于X
  如果X->Y，但Y不完全函数依赖于X，则Y部分函数依赖于X

在上面的例子中：
对于Grade，（Sno,Cno）这个组合函数确定Grade，但是这个组合的子集，即Sno或Cno不能函数确定Grade，所以是完全函数依赖
对于Sdept，由于（Sno,Cno）这个组合能函数确定Grade，同时这个组合的子集Sno能函数确定Sdept，所以Sdept不完全函数依赖于（Sno，Cno），所以Sdept部分函数依赖于（Sno，Cno）

• 传递函数依赖
  如果X->Y，Y不函数依赖X，且Y不包含于X，且Y->Z，则Z对X传递函数依赖
  

图片来源：中国人民大学_数据库系统概论完整版(基础篇+高级篇+新技术篇)视频