《关系数据库》PPT课件.ppt

《《关系数据库》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第四章关系数据库4.1关系数据结构及形式化定义4.2关系操作4.3关系的完整性4.4关系代数4.5关系演算1关系数据库简介提出关系模型的是美国IBM公司的E.F.Codd1970年提出关系数据模型E.F.Codd,“ARelationalModelofDataforLargeSharedDataBanks”,《CommunicationoftheACM》,1970之后，提出了关系代数和关系演算的概念1972年提出了关系的第一、第二、第三范式1974年提出了关系的BC范式2关系单一的数据结构----关系现实世界的实体以及实体间的各种联系均用关系来表示逻辑结构

2、----二维表从用户角度，关系模型中数据的逻辑结构是一张二维表建立在集合代数的基础上3关系⒈域（Domain）2.笛卡尔积（CartesianProduct）3.关系（Relation）4⒈域（Domain）域是一组具有相同数据类型的值的集合。例:整数实数介于某个取值范围的整数长度指定长度的字符串集合{‘男’，‘女’}……………..52.笛卡尔积（CartesianProduct）笛卡尔积给定一组域D1，D2，…，Dn，这些域中可以有相同的。D1，D2，…，Dn的笛卡尔积为：D1×D2×…×Dn＝｛（d1，d2，…，dn）｜diDi，i＝1，2，…，n｝

3、所有域的所有取值的一个组合不能重复6笛卡尔积元组（Tuple）笛卡尔积中每一个元素（d1，d2，…，dn）叫作一个n元组（n-tuple）或简称元组(Tuple)(张清玫，计算机专业，李勇)、(张清玫，计算机专业，刘晨)等都是元组分量（Component）笛卡尔积元素（d1，d2，…，dn）中的每一个值di叫作一个分量张清玫、计算机专业、李勇、刘晨等都是分量7笛卡尔积基数（Cardinalnumber）若Di（i＝1，2，…，n）为有限集，其基数为mi（i＝1，2，…，n），则D1×D2×…×Dn的基数M为：笛卡尔积的表示方法笛卡尔积可表示为一个二维表表中

4、的每行对应一个元组，表中的每列对应一个域893.关系（Relation）1)关系D1×D2×…×Dn的子集叫作在域D1，D2，…，Dn上的关系，表示为R（D1，D2，…，Dn）R：关系名n：关系的目或度（Degree）10关系2)元组关系中的每个元素是关系中的元组，通常用t表示。3)单元关系与二元关系当n=1时，称该关系为单元关系（Unaryrelation）或一元关系当n=2时，称该关系为二元关系（Binaryrelation）11关系4)关系的表示关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域12关系5)属性关系中不同列可以对应相同的域为

5、了加以区分，必须对每列起一个名字，称为属性（Attribute）n目关系必有n个属性13关系6)码候选码（Candidatekey）若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码简单的情况：候选码只包含一个属性全码（All-key）最极端的情况：关系模式的所有属性组是这个关系模式的候选码，称为全码（All-key）14关系主码若一个关系有多个候选码，则选定其中一个为主码（Primarykey）主属性候选码的诸属性称为主属性（Primeattribute）不包含在任何侯选码中的属性称为非主属性（Non-Primeattribute）或非码

6、属性（Non-keyattribute）15关系D1，D2，…，Dn的笛卡尔积的某个子集才有实际含义例：表2.1的笛卡尔积没有实际意义取出有实际意义的元组来构造关系关系：SAP(SUPERVISOR，SPECIALITY，POSTGRADUATE)假设：导师与专业：1:1，导师与研究生：1:n主码：POSTGRADUATE（假设研究生不会重名）SAP关系可以包含三个元组｛(张清玫，计算机专业，李勇)，(张清玫，计算机专业，刘晨)，(刘逸，信息专业，王敏)}16关系7)三类关系基本关系（基本表或基表）实际存在的表，是实际存储数据的逻辑表示查询表查询结果对应的

7、表视图表由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据17关系8)基本关系的性质①列是同质的（Homogeneous）②不同的列可出自同一个域其中的每一列称为一个属性不同的属性要给予不同的属性名③列的顺序无所谓,，列的次序可以任意交换④任意两个元组的候选码不能相同⑤行的顺序无所谓，行的次序可以任意交换18基本关系的性质⑥分量必须取原子值这是规范条件中最基本的一条表4.3非规范化关系191．什么是关系模式关系模式（RelationSchema）是型关系是值关系模式是对关系的描述元组集合的结构属性构成属性来自的域属性与域之间的映象关系元组语义以及完

8、整性约束条件属性间的数据依赖关系集合202．定义关系模式关系模式可