第十四讲 函数依赖及其公理/定理

数据库系统(中）第十四讲 函数依赖及其公理/定理

目录

​​第十四讲 函数依赖及其公理/定理​​

​​1.函数依赖​​

​​1.1函数依赖的特性​​

​​2.完全/部分​​

​​函数依赖​​

​​3.传递函数依赖​​

​​4.函数依赖几个重要的概念​​

​​4.1 候选键​​

​​4.2外来键​​

​​4.3逻辑蕴涵​​

​​4.4 闭包​​

​​5.函数依赖的公理和定理​​

​​5.1 函数依赖的Armstrong公理​​

​​5.2 引理​​

​​5.3属性闭包​​

​​5.4 属性闭包的计算方法​​

​​5.4 函数依赖的最小覆盖集​​

---

---

1.函数依赖

设R(U)是属性集合U={A1,A2...A}上的一个关系模式，X, Y是U上的两个子集，若对R(U)的任意一个可能的关系r,r中不可能有两个元组满足在X中的属性值相等而在Y中的属性值不等，则称“X函数决定Y”或“Y函数依赖于X”，记作X→Y。

1.1函数依赖的特性

2.完全/部分

函数依赖

3.传递函数依赖

4.函数依赖几个重要的概念

4.1 候选键

4.2外来键

4.3逻辑蕴涵

4.4 闭包

5.函数依赖的公理和定理

5.1 函数依赖的Armstrong公理

5.2 引理

5.3属性闭包

5.4 属性闭包的计算方法

5.4 函数依赖的最小覆盖集