闭包及候选键求解方法

在关系模式R中，U是属性全集，F是R上一组函数依赖，XY是U的子集，所有被F逻辑所蕴涵的函数依赖的全集为F的闭包，为F+，既可以用Armstrong公理退出。属性集闭包比F+要方便，X是一个子集，可以用公理退出的A的所有集合就是属性集闭包 属性集闭包一定是函数依赖集闭包。          候选键求解就是先找到LN类属性，如果不等于U则是不能单独作为候选键，则在加入R分别求闭包，看是否等于U就行了。