1. 考点：保持函数依赖分解

1.1 定义

• 核心概念：设数据库模式 $\rho = \{R_1, R_2, \cdots, R_k\}$ 是关系模式 $R$ 的一个分解，$F$ 是 $R$ 上的函数依赖集，$\rho$ 中每个模式 $R_i$ 的 $\text{FD}$ 集是 $F_i$。如果 $\{F_1, F_2, \cdots, F_k\}$ 与 $F$ 是等价的（即相互逻辑蕴含），那么称分解 $\rho$ 保持 $\text{FD}$。