第2章数据库理论4.ppt

第2章 数据库设计理论及方法 2.1 数据库设计的理论依据 如何评价一个数据库设计得是否合理？ 衡量数据库的理论标准——关系数据库的规范化理论 规范化：一个低级范式的关系模式通过分解（投影）的方式可转变成多个高一级范式的关系模式集合。 范式：符合某一种级别标准的关系模式的集合。 规范化理论的作用：改造关系模式，通过分解关系模式来消除其中不合适的问题，以解决删除异常、更新异常、插入异常和数据冗余问题。 规范化的基础是函数依赖。（补充） 一、函数依赖（形式化定义） 二、函数依赖的性质 三、完全函数依赖与部分函数依赖 四、传递函数依赖 关系模式 用R(U,F)来描述一个关系，其中： R：关系名； U：关系中所有属性的集合； F：关系中所有函数依赖的集合。 函数依赖：如由学号能唯一确定一个学生的姓名，则称“学号”决定“姓名” ，也称： “姓名”函数依赖于“学号” 。记作：学号→姓名，即学号是决定因素。 候选码：能够确定关系模式中所有属性U的最小属性组。 如学生情况下不重名时，学号和姓名都是。 成绩情况下，（学号，课程号）才是。 说明： 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立