数据库 第三节 关系数据库.ppt

第二章 关系数据库 提纲 2.1 关系数据结构及形式化定义 2.2 关系操作 2.3 关系的完整性 2.4 关系代数 2.5 关系演算 关系数据库简介 美国IBM公司的E.F.Codd于70年代初提出关系数据理论。 1970年提出关系数据模型 E.F.Codd, “A Relational Model of Data for Large Shared Data Banks”, 《Communication of the ACM》,1970 之后，提出了关系代数和关系演算的概念 1972年提出了关系的第一、第二、第三范式 1974年提出了关系的BC范式 关系数据库简介 关系理论是建立在集合代数理论基础上的，有着坚实的数学基础 早期代表系统 SystemＲ：由IBM研制 INGRES：由加州Berkeley分校研制 目前主流的商业数据库系统 Oracle，Informix，Sybase，SQL Server，DB2 Access，Foxpro，Foxbase 2.1关系数据结构及形式化定义 域（Domain） 是一组具有相同数据类型的值的集合。例: 整数 实数 介于某个取值范围的整数 长度指定长度的字符串集合 {‘男’，‘女’} …………….. 2.1关系数据结构及形式化定义 笛卡尔积（Car’tesian Product） 给定一组域D1，D2，…，Dn，这些域中可以有相同的。 D1 , D2 ,…, Dn的笛卡尔积为: D1×D2×…×Dn = {(d1 , d2 , … , dn) | di∈Di , i=1,…,n} 含义: 所有域的所有取值的一个组合； 不能重复 2.1关系数据结构及形式化定义 例：设 D1为教师集合（T）= {t1，t2} D2为学生集合（S）= {s1，s2 ，s3} D3为课程集合（C）= {c1，c2} 则D1×D2×D3是个三元组集合，是所有可能的（教师，学生，课程）元组集合. 笛卡尔积可表为二维表的形式，表中的每行对应一个元组，表中的每列对应一个域。 2.1关系数据结构及形式化定义 1. 元组（Tuple） 笛卡尔积中每一个元素（d1，d2，…，dn）叫作一个n元组（n-tuple）或简称元组(Tuple) (t1，s1，c1)、(t1，s1，c2)等都是元组 2. 分量（Component） 笛卡尔积元素（d1，d2，…，dn）中的每一个值di叫作一个分量. t1,s1,c1等都是分量 2.1关系数据结构及形式化定义 3.基数（Cardinal number） 若Di（i＝1，2，…，n）为有限集，其基数为mi（i＝1，2，…，n），则D1×D2×…×Dn的基数M为： 4.笛卡尔积的表示方法 笛卡尔积可表示为一个二维表 表中的每行对应一个元组，表中的每列对应一个域 2.1关系数据结构及形式化定义 关系 笛卡尔积D1×D2×…×Dn的子集叫做在域D1 , D2 ,…, Dn上的关系，用R(D1 , D2 ,…, Dn )表示 R是关系的名字，n是关系的度或目（ Degree ） 关系是笛卡尔积中有意义的子集 关系也可以表示为二维表 关系TEACH(T, S, C) 2.1关系数据结构及形式化定义 1. 元组 关系中的每个元素是关系中的元组，通常用t表示。 2. 单元关系与二元关系 当n=1时，称该关系为单元关系（Unary relation） 或一元关系 当n=2时，称该关系为二元关系（Binary relation） 2.1关系数据结构及形式化定义 3.关系的表示 关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域 4. 属性 关系中不同列可以对应相同的域 为了加以区分，必须对每列起一个名字，称为属性（Attribute） n目关系必有n个属性 2.1关系数据结构及形式化定义 5. 码 候选码（Candidate Key） 关系中的一个属性组，其值能唯一标识一个元组。若从属性组中去掉任何一个属性，它就不具有这一性质了，这样的属性组称作候选码 如DEPT中的D#，DN都可作为候选码 任何一个候选码中的属性称作主属性,不包含在任何侯选码中的属性称为非主属性,或非码属性。 如SC中的S#，C# 主码（Primary Key） 进行数据库设计时，从一个关系的多个候选码中选定一个作为主码 如可选定D#作为DEPT的主码 2.1关系数据结构及形式化定义 全码（All-key） 最极端的情况：关系模式的所有属性组是