如何使用2NF定义证明指定关系满足第二范式要求

结论 #

你的推导逻辑完全正确，该关系确实符合第二范式（2NF）的要求。

推导正确性验证 #

• 候选键判定无误：给定函数依赖中State和Governor相互决定，属于等价属性，因此{City, State}和{City, Governor}均可唯一确定关系内所有属性，是该关系仅有的两个候选键。
• 非主属性判定无误：所有出现在候选键中的属性（City、State、Governor）均为主属性，唯一非主属性只有Population，只需验证该属性的依赖关系即可。
• 2NF规则匹配正确：2NF的核心要求是不存在非主属性对候选键真子集的部分函数依赖，你通过闭包算法验证了：
  • 只有完整的候选键可以推导出Population
  • 任意候选键的真子集（单独City、单独State、单独Governor等）的闭包均不包含Population，不存在部分依赖情况，完全满足2NF的判定条件。

补充说明：该关系不满足第三范式（3NF），原因是State和Governor两个主属性之间存在不依赖于候选键的函数依赖，但这一问题属于更高范式的约束，不影响本次2NF的推导结论。

内容的提问来源于stack exchange，提问作者Sigmund