第3讲关系模型摘要.ppt

回顾 概念模型 实体、属性、域、关键字、实体型、实体集、联系 数据模型 层次、网状、关系模型 组成要素 数据结构、数据操作、完整性约束 本章内容 关系模型 关系代数 关系演算 3.1关系模型 关系的数学描述 关系概念是对事物间数据依赖的一种描述 表达关系的数学模型：矩阵、图 集合论提供了关系概念 集合论中的关系本身也是一个集合，以具有某种联系的对象组合——“序组”为其成员。 3.1关系模型 关系的数学描述 关系不是通过描述其内涵来刻划事物间联系的，而是通过列举其外延（具有这种联系的对象组合全体）来描述这种联系。 关系的数据结构 关系的定义 关系的数据结构 关系的定义 3.1关系模型 关系的数据结构 关系的定义 3.1关系模型 关系的数据结构 关系的定义 关系的数据结构 关系的定义 3.1关系模型 关系的数据结构 关系的定义 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系模型 关系的数据结构 关系模型的相关概念 3.1关系及关系模型 关系的数据结构 关系模型的相关概念 3.1 关系模型 3.1 关系模型 关系的数据结构 关系的性质 集合论 关系可以是一个无限集合 元组（d1,d2,…,dn）与（d2,d1,…,dn）不同 关系数据模型 关系必须是有限集合 为关系的每个属性附加一个属性名取消分量的有序性，即关系R (A1,…,Ai,Aj,…,An)与关系R(A1,…,Aj,Ai,…,An)为同一关系模式，其对应的元组(d1,d2,…,di,dj,…,dn)和(d1,d2,…,dj,di,…,dn)相同。 3.1 关系模型 关系的数据结构 关系的性质 元组个数有限性 元组的唯一性 元组的次序无关性 属性名唯一性 属性的次序无关性 元组分量的原子性 分量值域同一性 3.1 关系模型 关系的数据结构 关系与二维表 3.1 关系模型 关系的数据结构 关系与二维表 在表中各列从左到右是有序的，关系中属性的次序是任意的； 在表中各行从上到下是有序的，关系中元组的次序是任意的； 在表中，可能包含重复的行，关系中不能有相同的元组； 表中至少含有一个列，但可存在不含任何属性的关系，相当于空集合； 表中允许包含空行（例SQL中），而关系中不允许； 表是“平面的”或是“二维的”，而关系却是“n维的”，是n个域上的一个n元组的集合。 3.1 关系模型 关系的数据结构 关系数据库 在某一应用领域中，所有实体集及实体之间联系所形成的关系的集合就构成了一个关系数据库。 关系数据库也有型和值的区别。 关系数据库的型称为关系数据库模式，是对关系数据库的描述，包括若干域的定义以及在这些域上定义的若干关系模式。 关系数据库的值是这些关系模式在某一时刻对应关系值的集合，即关系数据库的实例（数据）。 3.1 关系模型 关系的完整性约束 3.1 关系模型 关系的完整性约束 关系模型的完整性约束是关系模型对于存储在数据库中的数据具有的约束能力，也就是关系的值随着时间变化应该满足的一些约束条件。 这些约束条件实际上是现实世界的对关系数据的语义要求。关系数据库中的任何关系在任何时刻都需要满足这些语义。 3.1 关系模型 关系的完整性约束 实体完整性 参照完整性 用户定义的完整性 3.1 关系模型 关系的完整性约束 实体完整性 在关系模型中，实体用关系来描述，关系是元组的集合。为使候选键能惟一标识一个元组，需对构成候选键的每个主属性进行约束。 3.1 关系模型 关系的完整性约束 实体完整性 学生（学号，姓名，性别，出生时间，所在系） 课程（课程编号，课程名，先修课程号） 选课（学号，课程编号，成绩） 3.1 关系模型 关系的完整性约束 实体完整性 这条约束规则的实质是体现了关系模型中键约束特性，主属性为空，说明存在某个不可标识的元组，即存在不可区分的实体值。 针对系统中定义的基本关系（存储的关系表）而言的，并不对查询的结果关系（临时表）、视图等进行约束。 如果关系的候选键由若干属性组成，则所有构成候选键的属性即主属性都不能为空。 3.1 关系模型 关系的完整性约束 参照