第九章(2)
闭包及候选键求解方法函数依赖集的闭包定义 在关系模式 R(U,F)中 U是R的属性全集 ,F是R上的一组函数依赖。设X Y是U的子集,对于关系模式R的任一关系r,如果r满足F,则r满足XY,那么称F逻辑蕴含XY,或称函数依赖XY可由F导出。所有被F逻辑蕴含的函数依赖的全集称为F的闭包,记作 F+。对关系模式R(U,F),应用Armstrong公理系统系统计算F+的过程步骤1 初始 F+=F。步骤2 对F+中的每个函数依赖f,在f上应用自反性和增光性,将结果加入F+中;对F+中的一对函数依赖f1和
原创
2022-06-17 11:57:20 ·
462 阅读 ·
1 评论