在关系模式中查找关键字的算法

摘要

在关系型数据库的设计过程中，在审查一个关系模式的规范化程度时，都必须求出关系模式的关键字，有时甚至需要找出所有的关键字。对给定的关系模式Ｒ（Ｕ）及Ｒ上的函数依赖集Ｆ，对属性子集Ｘ来说，如有Ｆ逻辑蕴涵Ｘ→Ｕ，或说Ｘ的属性闭包Ｘ＾ｘ＝Ｕ，则Ｘ为一个超关键字，若Ｘ上无冗余属性，Ｘ即为一个关键字，但选择哪个属性组来审查它能否满足以上条件并无持征可循，所以目标选择是盲目的。本文给出一个求关键字的算法以及分析