第12讲函数依赖的理论.pptVIP

;关系模式的规范化设计;关系模式的规范化设计;回顾;理论研究的必要性 对于应用所表达的语义用一组函数依赖是否能充分表达模式属性间的约束关系，即得到一个给定的关系模式的完整函数依赖集F ？ 能否将完整函数依赖集F缩小到一个可管理的范围?即找到一个远远小于F的集合T，蕴含集合F的所有函数依赖，则DBMS只要实现函数依赖集T，函数依赖集F中的所有函数依赖便会自动实现。;主要内容 Armstrong公理 逻辑蕴含 函数依赖集F 的闭包F+ Armstrong公理推理规则 属性集闭包 函数依赖集等价和最小函数依赖集 候选码及其求解方法 ;【例】设有关系模式R（A，B，C），及其函数依赖集F={ A→B，B→C }，判断 A→C是否成立。;逻辑蕴含 设F是关系模式R上的函数依赖集，X→Y是R上的一个函数依赖，若对于R的每个满足F的关系r也满足X→Y，则称F逻辑蕴含X→Y 记为：F┝X→Y。;【例】R(学生学号，学生姓名，所在系，系主任，课程名称，成绩} ， F={学生学号→学生姓名，学生学号→所在系，所在系→系主任，（学生学号，课程名称）→成绩};【例】R(学生学号，学生姓名，所在系，系主任，课程名称，成绩} F={学生学号→学生姓名，学生学号→所在系，所在系→系主任，（学生学号，课程名称）→成绩};函数依赖集F 的闭包F+