m0_63787832的博客

原创 第九章 关系规范化理论

9.2.3 函数依赖的推理规则闭包及候选键求解方法 函数依赖集的闭包 定义 在关系模式 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+中

原创 第三章思维导图

原创 关系规范化理论

9.1 关系模式设计的问题 （1）数据冗余问题 （2）数据更新问题 （3）数据插入问题 （4）数据删除问题 解决上述问题的方法就是进行模式分解，即把一个关系模式分解成两个或多个关系模式，在分解的过程中消除那些“不良”的函数依赖，从而获得良好的关系模式。 9.2函数依赖 ...