数据库笔记（补充）——候选码的确定方法

注: 码或者是某一函数依赖的左部, 或是一个属性组 。

解： 验证AB是否码, 须证明 AB→ ^F ABCDE是否成立?
∵AB→C(已知), 而AB→AB(自反), ∴AB → ABC(合并)
∵B→D(已知), ∴AB→AD(增广), ∴AB → ABCD(合并)
∵C→E(已知), AB→C(已知), ∴AB → E(传递)
于是 AB → ABCDE(合并)

同理可证：AC也是一个候选码

答：ACD