Lecture 7, Lecture 8, 3 关系数据库设计理论

核心问题：如何设计好的数据库？ 理论：依赖理论

函数依赖

函数依赖的定义

函数依赖 Functional Dependencies，FD：

• 作用在关系上的约束
• 关系中“键”的概念的泛化

定义：

• 如果关系 R 的两个元组在属性 A1～An 上一致，则它们必定在其他属性 B1～Bn 上一致
• 形式记法：A1A2...An → B1B2...Bn
• 称为“A1A2...An 函数决定 B1B2...Bn”

R 满足函数依赖 F：

• 确定关系 R 的每个实例都能使一个给定的 FD F 为真
• 作用：在 R 上声明了一个约束，而不是仅针对 R 的一个实例

关系的键：

• 键的属性函数决定关系的所有其他属性
• 键的属性的真子集没有一个能函数决定关系的所有其他属性（键是最小的）

主键：

• 有时一个关系可能会有多个键，通常需要指定其中一个为主键

超键：

• 一个包含键的属性的集合，键的超集