1、定义:在关系模式R(U,F)中,U是R的属性全集,F是R上的一组函数依赖。设X,Y是U的子集,对于关系模式R的任一关系r,如果r满足F,则r满足X决定Y,那么称F逻辑蕴涵X决定Y,或称函数依赖X决定Y可由F导出。
所有被F逻辑蕴涵的函数依赖的全集称为F的闭包,记作F+。
2、属性集闭包
定义:
3、候选键的求解方法
1、定义:在关系模式R(U,F)中,U是R的属性全集,F是R上的一组函数依赖。设X,Y是U的子集,对于关系模式R的任一关系r,如果r满足F,则r满足X决定Y,那么称F逻辑蕴涵X决定Y,或称函数依赖X决定Y可由F导出。
所有被F逻辑蕴涵的函数依赖的全集称为F的闭包,记作F+。
2、属性集闭包
定义:
3、候选键的求解方法