第8章关系数据理论.docVIP

第8章 关系数据理论 第8章 关系数据理论 8.1引言 8.2基本知识 8.3关系规范化设计理论-范式 8.4 关系规范化的步骤 8.5 模式的分解 8.1引言 一、概念回顾 二、关系模式的形式化定义 三、什么是数据约束 四、关系模式的简化定义 一、概念回顾 关系 从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。 关系模式：对关系的描述。 关系数据库：基于关系模型的数据库，利用关系来描述现实世界。 从形式上看，它由一组关系组成。 关系数据库的模式：定义这组关系的关系模式的全体。 二、关系模式的形式化定义 关系模式由五部分组成，即它是一个五元组： R(U, D, DOM, F) R： 关系名 U： 组成该关系的属性名集合 D： 属性组U中属性所来自的域 DOM：属性向域的映象集合 F： 属性间数据的约束条件的集合 三、什么是数据约束 一种是通过对数据的取值范围来实现。 另一种是通过数据之间的各种联系来实现， 四、关系模式的简化表示 关系模式R（U, D, DOM, F） 简化为一个三元组： R（U, F） 当且仅当U上的一个关系r 满足F时，r称为关系模式 R（U, F）的一个关系 第8章 关系数据理论 8.1引言 8.2基本知识 8.3关系规范化设计理论-范式 8.4 关系规范化的步骤 8.5 模式的分解 8.2 基本知识 8.2.1 函数依赖 8.2.2 码 8.2.3 函数依赖的推理规则 8.2.1 函数依赖 一、函数依赖 二、平凡函数依赖与非平凡函数依赖 三、完全函数依赖与部分函数依赖 四、传递函数依赖 一、函数依赖 定义8.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 X称为这个函数依赖的决定属性集(Determinant)。 Y=f(x) 说明 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立 3. 数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现，函数依赖“姓名→年龄”成立。所插入的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝装入该元组。 函数依赖（续） 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname, Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage 若X→Y，并且Y→X, 则记为X←→Y。 若Y不函数依赖于X, 则记为X─→Y。 二、平凡函数依赖与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 如果X→Y，但Y ( X，则称X→Y是非平凡的函数依赖 若X→Y，但Y ( X, 则称X→Y是平凡的函数依赖 例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖： (Sno, Cno) → Grade 平凡函数依赖： (Sno, Cno) → Sno (Sno, Cno) → Cno 平凡函数依赖与非平凡函数依赖（续） 对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义，因此若不特别声明， 我们总是讨论非平凡函数依赖 。 三、完全函数依赖与部分函数依赖 定义8.2 在关系模式R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有 X’ Y, 则称Y完全函数依赖于X，记作X ｆ Y。 若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记作X P Y。 完全函数依赖与部分函数依赖（续） 例: 在关系SC(Sno, Cno, Grade)中， 由于：Sno →Grade，Cno → Grade， 因此：(Sno, Cno) ｆ Grade 四、传递函数依赖 定义8.3 在关系模式R(U)中，如果X→Y，Y→Z，且