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

数据库系统(中）

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

目录

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

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 函数依赖的最小覆盖集