教案-80910239数据库原理教案（课程组）(9)

《数据库原里》课程教案

第15课

一、本次课的教学内容

6.3 数据依赖的公理系统

? 蕴含的概念 ? Armstrong公理系统

? Armstrong公理系统的有效性和完备性

二、本次课的教学方式

主讲式教学，将讲义内容讲解完毕后，留少许时间让学生提问。

三、本次课师生活动设计

针对学生的提问，进行解答，并对典型的问题进行启发式的讲解

四、本次课的电子教案

根据教材分章节进行组织，对部分内容进行了扩充，并引入实例进行解释。

五、本次课的小结（或总结）、作业布置等

本次课重点介绍了Armstrong公理系统以及该公理系统的有效性和完备性证明。

35

《数据库原里》课程教案

第16课

一、本次课的教学内容

6.4 模式的分解

6.4.1 模式分解的3个定义

? 无损连结性 ? 保持函数依赖

? 既要保持函数依赖又无损连结性 6.4.2 分解的无损连结性和保持函数依赖

? 保持无损连结性的证明 ? 保持函数依赖的证明

二、本次课的教学方式