《数据库原理及应用(MySQL版) 理论教案 第20次课(理论)最小函数依赖集.docx》由会员分享,可在线阅读,更多相关《数据库原理及应用(MySQL版) 理论教案 第20次课(理论)最小函数依赖集.docx(2页珍藏版)》请在第一文库网上搜索。
1、教案首页(以2课时为单元)课 序授课日期授课班次授课教师批准人20课题第9章关系模型规范化设计理论目的要求关系数据理论为数据库设计提供理论基础,表结构的拆分宜接影响数据库的 设计,表结构的拆分要按照规范化理论来拆分。要求掌握下述内容:数值依赖的 公理系统(闭包;最小函数依赖集)。教学内容1、最小函数依赖集重点难点重点:求关系模式的最小函数依赖集 难点:求最小函数依赖集。教学方法手 段教学方法:启发、引导、演示、归纳手 段:多媒体课件和黑板画的图例讲解教学步骤1 .提问引起思考引入课程2 .精讲课堂内容3 .课堂小结4 .布置作业复习 提问题关系模式存在的异常包括哪几种类型?作业题目课后选择填空
2、题预习内容求关系模式的候选键课时分配(以分钟计算)教学环节复习提问新课讲解课堂实践每课小结布置作业时间分配5781052课堂组织教学内容第9章关系模型规范化设计理论【课程导入】问题:关系模式存在的异常包括哪几种类型?【讲授内容】9. 2.3最小函数依赖集1 .函数依赖的推理规则函数依赖的推理规则如下:(1) Al (自反性):如果YU XUU,则XfYo(2) A2 (增广性):如果XfY且ZU U,则XZfYZo(3) A3 (传递性):如果XfY且Y-Z,则X-Z。(4) Bl (合并性):如果XfY且XfZ,则X-YZ。(5) B2 (分解性):如果 X-YZ,则 X-Y、XZo(6)
3、B3 (结合性):如果XfY且W-Z,则XWiYZ。(7) B4 (伪传递性):如果XfY且WYf Z,则XWfZ。A1A3就是有名的Armstrong公理,B1B4是Armstrong公理的推论。2,求最小函数依赖集如果函数依赖集F满足下列条件,则称F为一个最小函数依赖集。(8) 每个函数依赖的右边都是单属性(可以通过B2分解性实现);(9) 函数依赖集F中没有冗余的函数依赖(即F中不存在这样的函数依赖X- Y,使得F与F-X-Y等价);(10) F中每个函数依赖的左边没有多余的属性(即F中不存在这样的函数依赖 Xf Y, X有真子集W使得F-X-YU W-Y与F等价)。显然,每个函数依赖集至少存在一个最小依赖集,但并不一定唯一。【课程小结】通过掌握的函数依赖规则,实现求最小函数依赖集。思政案例