《第2章2.1-第二章-关系数据库--数据库原理教学课件.ppt》由会员分享，可在线阅读，更多相关《第2章2.1-第二章-关系数据库--数据库原理教学课件.ppt（80页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、第二章第二章 关系数据库关系数据库2.1 关系模型概述关系模型概述2.2 关系数据结构关系数据结构2.3 关系的完整性关系的完整性2.4 关系代数关系代数2.5 关系演算关系演算2.6 小结小结关系数据库简介关系数据库简介l系系统统而而严严格格地地提提出出关关系系模模型型的的是是美美国国IBM公司的公司的E.F.Codd1970年提出关系数据模型年提出关系数据模型E.F.Codd,“A Relational Model of Data for Large Shared Data Banks”,Communication of the ACM,1970之后，提出了关系代数和关系演算的概念之后，提
2、出了关系代数和关系演算的概念1972年提出了关系的第一、第二、第三范式年提出了关系的第一、第二、第三范式1974年提出了关系的年提出了关系的BC范式范式关系数据库简介关系数据库简介l关关系系数数据据库库应应用用数数学学方方法法来来处处理理数数据据库库中的数据中的数据l80年年代代后后，关关系系数数据据库库系系统统成成为为最最重重要要、最流行的数据库系统最流行的数据库系统关系数据库简介关系数据库简介l典型实验系统典型实验系统System RUniversity INGRESl典型商用系统典型商用系统ORACLESYBASEINFORMIXDB2INGRES2.1 关系模型概述关系模型概述l关关系
3、系数数据据库库系系统统是是支支持持关关系系模模型型的的数数据据库系统库系统l关系模型的组成关系模型的组成关系数据结构关系数据结构关系操作集合关系操作集合关系完整性约束关系完整性约束1.关系数据结构关系数据结构l单一的数据结构单一的数据结构-关系关系现现实实世世界界的的实实体体以以及及实实体体间间的的各各种种联联系系均均用用关系来表示关系来表示l数据的逻辑结构数据的逻辑结构-二维表二维表从从用用户户角角度度，关关系系模模型型中中数数据据的的逻逻辑辑结结构构是是一张二维表。一张二维表。2.关系操作集合关系操作集合l1)常用的关系操作常用的关系操作l2)关系操作的特点关系操作的特点l3)关系数据语言
4、的种类关系数据语言的种类l4)关系数据语言的特点关系数据语言的特点关系操作集合（续）关系操作集合（续）l2)关系操作的特点关系操作的特点集集合合操操作作方方式式，即即操操作作的的对对象象和和结结果果都都是是集集合。合。非关系数据模型的数据操作方式：一次一记录非关系数据模型的数据操作方式：一次一记录文件系统的数据操作方式文件系统的数据操作方式关系操作集合（续）关系操作集合（续）l3)关系数据语言的种类关系数据语言的种类l有三种：即关系代数语言有三种：即关系代数语言l 关系演算语言关系演算语言l 具有以上两种特点的语言具有以上两种特点的语言 关系代数语言关系代数语言 用对关系的运算来表达查询要求用
5、对关系的运算来表达查询要求典型代表：典型代表：ISBL关系操作集合（续）关系操作集合（续）l4)关系数据语言的特点关系数据语言的特点关系语言是一种高度非过程化的语言关系语言是一种高度非过程化的语言存取路径的选择由存取路径的选择由DBMS的优化机制来完成的优化机制来完成用户不必用循环结构就可以完成数据操作用户不必用循环结构就可以完成数据操作能够嵌入高级语言中使用能够嵌入高级语言中使用关关系系代代数数、元元组组关关系系演演算算和和域域关关系系演演算算三三种种语言在表达能力上完全等价语言在表达能力上完全等价第二章第二章 关系数据库关系数据库2.1 关系模型概述关系模型概述2.2 关系的数据结构及形式
6、化定义关系的数据结构及形式化定义2.3 关系的完整性关系的完整性2.4 关系代数关系代数2.5 关系演算关系演算2.6 小结小结2.2 关系的数据结构及形式化定义关系的数据结构及形式化定义l关系模型建立在集合代数的基础上关系模型建立在集合代数的基础上l关系数据结构的基本概念关系数据结构的基本概念关系关系关系模式关系模式关系数据库关系数据库2.2 关系数据结构关系数据结构l2.2.1 关系关系l2.2.2 关系模式关系模式l2.2.3 关系数据库关系数据库2.2.1 关系关系l 域（域（Domain）l 2.笛卡尔积（笛卡尔积（Cartesian Product）l 3.关系（关系（Relati
7、on）域（域（Domain）l域域是一组具有相同数据类型的值的集合。是一组具有相同数据类型的值的集合。例例整数整数实数实数介于某个取值范围的整数介于某个取值范围的整数长度指定长度的字符串集合长度指定长度的字符串集合男男，女女介于某个取值范围的日期介于某个取值范围的日期2.笛卡尔积（笛卡尔积（Cartesian Product）l1)笛卡尔积笛卡尔积给给定定一一组组域域D1，D2，Dn，这这些些域域中中可可以以有相同的。有相同的。D1，D2，Dn的的笛卡尔积笛卡尔积为：为：D1D2Dn（d1，d2，dn）di Di，i1，2，n所有域的所有取值的一个组合所有域的所有取值的一个组合不能重复不能重复
8、笛卡尔积（续笛卡尔积（续)例例2-1 给出三个域：给出三个域：D1=SUPERVISOR=张清玫，刘逸张清玫，刘逸 D2=SPECIALITY=计算机专业，信息专业计算机专业，信息专业 D3=POSTGRADUATE=李勇，刘晨，王敏李勇，刘晨，王敏则则D1，D2，D3的笛卡尔积为：的笛卡尔积为：D1D2D3(张张清清玫玫，计计算算机机专专业业，李李勇勇)，(张张清清玫玫，计计算算机机专专业业，刘刘晨晨)，(张清玫，计算机专业，王敏张清玫，计算机专业，王敏)，(张清玫，信息专业，李勇张清玫，信息专业，李勇)，(张清玫，信息专业，刘晨张清玫，信息专业，刘晨)，(张清玫，信息专业，王敏张清玫，信息
9、专业，王敏)，(刘逸，计算机专业，李勇刘逸，计算机专业，李勇)，(刘逸，计算机专业，刘晨刘逸，计算机专业，刘晨)，(刘逸，计算机专业，王敏刘逸，计算机专业，王敏)，(刘逸，信息专业，李勇刘逸，信息专业，李勇)，(刘逸，信息专业，刘晨刘逸，信息专业，刘晨)，(刘逸，信息专业，王敏刘逸，信息专业，王敏)笛卡尔积（续笛卡尔积（续)l4)基数（基数（Cardinal number）若若Di（i1，2，n）为为有有限限集集，其其基基数数为为mi（i1，2，n），则则D1D2Dn的基数的基数M为：为：在上例中，基数：在上例中，基数：22312，即，即D1D2D3共共有有22312个元组个元组笛卡尔积（续笛
10、卡尔积（续)l5)笛卡尔积的表示方法笛卡尔积的表示方法笛笛卡卡尔尔积积可可表表示示为为一一个个二二维维表表。表表中中的的每每行行对应一个元组，表中的每列对应一个域。对应一个元组，表中的每列对应一个域。在上例中，在上例中，12个元组可列成一张二维表个元组可列成一张二维表 3.关系（关系（Relation）1)关系关系D1D2Dn的的子子集集叫叫作作在在域域D1，D2，Dn上的上的关系关系，表示为，表示为 R（D1，D2，Dn）R：关系名关系名 n：关系的关系的目目或或度度（Degree）关系（续）关系（续）1)关系关系(续续)注意注意关关系系是是笛笛卡卡尔尔积积的的有有限限子子集集。无无限限关关
11、系系在在数数据据库库系统中是无意义的。系统中是无意义的。由于笛卡尔积不满足交换律，即由于笛卡尔积不满足交换律，即 (d1，d2，dn)(d2，d1，dn)但关系满足交换律，即但关系满足交换律，即(d1，d2，di，dj，dn）=（d1，d2，dj，di，dn）（i，j=1，2，n）解解决决方方法法：为为关关系系的的每每个个列列附附加加一一个个属属性性名名以以取取消关系元组的有序性消关系元组的有序性关系（续）关系（续）2)元组元组关关系系中中的的每每个个元元素素是是关关系系中中的的元元组组，通通常常用用t表示。表示。3)单元关系与二元关系单元关系与二元关系当当n=1时时，称称该该关关系系为为单单
12、元元关关系系（Unary relation）。）。当当n=2时时，称称该该关关系系为为二二元元关关系系（Binary relation）。）。关系（续）关系（续）4)关系的表示关系的表示关关系系也也是是一一个个二二维维表表，表表的的每每行行对对应应一一个个元元组组，表的每列对应一个域。表的每列对应一个域。关系（续）关系（续）5)属性属性关关系系中中不不同同列列可可以以对对应应相相同同的的域域，为为了了加加以以区区分分，必必须须对对每每列列起起一一个个名名字字，称称为为属属性性（Attribute）。）。n目关系必有目关系必有n个属性。个属性。关系（续）关系（续）6)码码候选码（候选码（Cand
13、idate key）若关系中的某一属性组的值能唯一地标识若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码，在有多个后选码一个元组，则称该属性组为候选码，在有多个后选码时可以选一个作为主码。时可以选一个作为主码。在最简单的情况下，候选码只包含一个属性。在最简单的情况下，候选码只包含一个属性。在最极端的情况下，关系模式的所有属性组在最极端的情况下，关系模式的所有属性组是这个关系模式的候选码，称为全码（是这个关系模式的候选码，称为全码（All-key）关系（续）关系（续）码码(续续)主码主码若一个关系有多个候选码，则选定其中一个若一个关系有多个候选码，则选定其中一个为为主码主码（P
14、rimary key）主码的诸属性称为主码的诸属性称为主属性主属性（Prime attribute）。）。不包含在任何侯选码中的属性称为不包含在任何侯选码中的属性称为非码属性非码属性（Non-key attribute）关系（续）关系（续）7)三类关系（或称三类表）三类关系（或称三类表）基本关系基本关系（基本表或基表）（基本表或基表）实际存在的表，是实际存储数据的逻辑表示实际存在的表，是实际存储数据的逻辑表示查询表查询表查询结果对应的表查询结果对应的表视图表视图表由基本表或其他视图表导出的表，是虚表，不对由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据应实际存储的数据8)基本关系的性
15、质基本关系的性质 列是同质的（列是同质的（Homogeneous）每一列中的分量是同一类型的数据，来自同每一列中的分量是同一类型的数据，来自同一个域一个域 不同的列可出自同一个域不同的列可出自同一个域其中的每一列称为一个属性其中的每一列称为一个属性不同的属性要给予不同的属性名不同的属性要给予不同的属性名基本关系的性质基本关系的性质(续续)上例中也可以只给出两个域：上例中也可以只给出两个域：人（人（PERSON）=张清玫，刘逸，李勇，刘晨，王敏张清玫，刘逸，李勇，刘晨，王敏专业（专业（SPECIALITY）=计算机专业，信息专业计算机专业，信息专业SAP关系的导师属性和研究生属性都从关系的导师属
16、性和研究生属性都从PERSON域中取值域中取值为了避免混淆，必须给这两个属性取不同的属性名，而不能直接使为了避免混淆，必须给这两个属性取不同的属性名，而不能直接使用域名。用域名。例如定义例如定义:导师属性名为导师属性名为SUPERVISOR-PERSON（或（或SUPERVISOR）研研究究生生属属性性名名为为POSTGRADUATE-PERSON（或或POSTGRADUATE）基本关系的性质基本关系的性质(续续)列的顺序无所谓列的顺序无所谓列的次序可以任意交换列的次序可以任意交换遵循这一性质的数据库产品遵循这一性质的数据库产品(如如ORACLE)，增加新属性时，永远是插至最后一列增加新属性时
17、，永远是插至最后一列但也有许多关系数据库产品没有遵循这一但也有许多关系数据库产品没有遵循这一性质，例如性质，例如FoxPro仍然区分了属性顺序仍然区分了属性顺序基本关系的性质基本关系的性质(续续)任意两个元组不能完全相同任意两个元组不能完全相同由笛卡尔积的性质决定由笛卡尔积的性质决定但许多关系数据库产品没有遵循这一性质。但许多关系数据库产品没有遵循这一性质。例如例如:Oracle，FoxPro等都允许关系表中存在两个完全相同等都允许关系表中存在两个完全相同的元组，除非用户特别定义了相应的约束条件。的元组，除非用户特别定义了相应的约束条件。基本关系的性质基本关系的性质(续续)行的顺序无所谓行的顺
18、序无所谓行的次序可以任意交换行的次序可以任意交换遵循这一性质的数据库产品遵循这一性质的数据库产品(如如ORACLE)，插入一个元组时永远插至最后一行插入一个元组时永远插至最后一行但也有许多关系数据库产品没有遵循这一性但也有许多关系数据库产品没有遵循这一性质，例如质，例如FoxPro仍然区分了元组的顺序仍然区分了元组的顺序基本关系的性质基本关系的性质(续续)分量必须取原子值分量必须取原子值每一个分量都必须是不可分的数据项。每一个分量都必须是不可分的数据项。这是规范条件中最基本的一条这是规范条件中最基本的一条2.2 关系数据结构关系数据结构2.2.1 关系关系2.2.2 关系模式关系模式2.2.3
19、 关系数据库关系数据库2.2.2 关系模式关系模式1什么是关系模式什么是关系模式2定义关系模式定义关系模式3.关系模式与关系关系模式与关系1什么是关系模式什么是关系模式关系模式（关系模式（Relation Schema）是型）是型关系是值关系是值关系模式是对关系的描述关系模式是对关系的描述元组集合的结构元组集合的结构属性构成属性构成属性来自的域属性来自的域 属性与域之间的映象关系属性与域之间的映象关系元组语义以及完整性约束条件元组语义以及完整性约束条件属性间的数据依赖关系集合属性间的数据依赖关系集合 2定义关系模式定义关系模式关系模式可以形式化地表示为：关系模式可以形式化地表示为：R（U，D，
20、dom，F）R 关系名关系名U 组成该关系的属性名集合组成该关系的属性名集合D 属性组属性组U中属性所来自的域中属性所来自的域dom 属性向域的映象集合属性向域的映象集合F 属性间的数据依赖关系集合属性间的数据依赖关系集合定义关系模式定义关系模式(续续)例例:导师和研究生出自同一个域导师和研究生出自同一个域人，人，取不同的属性名，并在模式中定义属性向域取不同的属性名，并在模式中定义属性向域的映象，即说明它们分别出自哪个域：的映象，即说明它们分别出自哪个域：dom（SUPERVISOR-PERSON）=dom（POSTGRADUATE-PERSON）=PERSON定义关系模式定义关系模式(续续)
21、关系模式通常可以简记为关系模式通常可以简记为 R(U)或或 R(A1，A2，An)R 关系名关系名A1，A2，An 属性名属性名注：域名及属性向域的映象常常直接说明为注：域名及属性向域的映象常常直接说明为 属性的类型、长度属性的类型、长度3.关系模式与关系关系模式与关系关系模式关系模式对关系的描述对关系的描述静态的、稳定的静态的、稳定的关系关系关系模式在某一时刻的状态或内容关系模式在某一时刻的状态或内容动态的、随时间不断变化的动态的、随时间不断变化的关系模式和关系往往统称为关系关系模式和关系往往统称为关系通过上下文加以区别通过上下文加以区别2.2 关系数据结构关系数据结构2.2.1 关系关系2
22、.2.2 关系模式关系模式2.2.3 关系数据库关系数据库2.2.3 2.2.3 关系数据库关系数据库1.关系数据库关系数据库2.关系数据库的型与值关系数据库的型与值1.关系数据库关系数据库在一个给定的应用领域中，所有实体及实在一个给定的应用领域中，所有实体及实体之间联系的关系的集合构成一个关系数体之间联系的关系的集合构成一个关系数据库。据库。2.关系数据库的型与值关系数据库的型与值关系数据库也有型和值之分关系数据库也有型和值之分关关系系数数据据库库的的型型称称为为关关系系数数据据库库模模式式，是是对关系数据库的描述对关系数据库的描述若干域的定义若干域的定义在这些域上定义的若干关系模式在这些域
23、上定义的若干关系模式关关系系数数据据库库的的值值是是这这些些关关系系模模式式在在某某一一时时刻刻对对应应的的关关系系的的集集合合，通通常常简简称称为为关关系系数据库数据库第二章第二章 关系数据库关系数据库2.1 关系模型概述关系模型概述2.2 关系数据结构关系数据结构2.3 关系的完整性关系的完整性2.4 关系代数关系代数2.5 关系演算关系演算2.6 小结小结2.3 关系的完整性关系的完整性关系模型的完整性规则是对关系的某种约束条件。关系模型的完整性规则是对关系的某种约束条件。关系模型中三类完整性约束：关系模型中三类完整性约束：实体完整性实体完整性参照完整性参照完整性用户定义的完整性用户定义
24、的完整性实实体体完完整整性性和和参参照照完完整整性性是是关关系系模模型型必必须须满满足足的的完完整整性性约约束束条条件件，被被称称作作是是关关系系的的两两个个不不变变性性，应该由关系系统自动支持。应该由关系系统自动支持。关系的完整性关系的完整性(续续)2.3.1 实体完整性实体完整性2.3.2.参照完整性参照完整性2.3.3.用户定义的完整性用户定义的完整性关系的完整性关系的完整性(续续)2.3.1 实体完整性实体完整性2.3.2.参照完整性参照完整性2.3.3.用户定义的完整性用户定义的完整性2.3.1 实体完整性实体完整性实体完整性规则（实体完整性规则（Entity Integrity）若
25、属性若属性A是基本关系是基本关系R的主属性，则属性的主属性，则属性A不能取空值不能取空值例例SAP(SUPERVISOR，SPECIALITY，POSTGRADUATE)POSTGRADUATE属性为主码属性为主码（假设研究生不会重名），则其不能取空值（假设研究生不会重名），则其不能取空值实体完整性实体完整性(续续)关系模型必须遵守实体完整性规则的原因关系模型必须遵守实体完整性规则的原因(1)实实体体完完整整性性规规则则是是针针对对基基本本关关系系而而言言的的。一一个个基基本本表表通通常常对对应应现现实实世世界界的的一一个个实实体体集集或或多多对多联系。对多联系。(2)现现实实世世界界中中的的
26、实实体体和和实实体体间间的的联联系系都都是是可可区区分的，即它们具有某种唯一性标识。分的，即它们具有某种唯一性标识。(3)相应地，关系模型中以主码作为唯一性标识。相应地，关系模型中以主码作为唯一性标识。实体完整性实体完整性(续续)关关系系模模型型必必须须遵遵守守实实体体完完整整性性规规则则的的原原因因(续续)(4)主码中的属性即主属性不能取空值。主码中的属性即主属性不能取空值。空值就是空值就是“不知道不知道”或或“无意义无意义”的值。的值。主主属属性性取取空空值值，就就说说明明存存在在某某个个不不可可标标识识的的实实体体，即即存存在在不不可可区区分分的的实实体体，这这与与第第（2）点点相相矛矛
27、盾盾，因因此此这这个个规规则则称称为为实实体完整性。体完整性。实体完整性实体完整性(续续)注意注意实体完整性规则规定基本关系的所有实体完整性规则规定基本关系的所有主属性都不能取空值主属性都不能取空值例例选修（学号，课程号，成绩）选修（学号，课程号，成绩）“学号、课程号学号、课程号”为主码，则两个属性为主码，则两个属性都不能取空值。都不能取空值。关系的完整性关系的完整性2.3.1 实体完整性实体完整性2.3.2.参照完整性参照完整性2.3.3.用户定义的完整性用户定义的完整性2.3.2 参照完整性参照完整性1.关系间的引用关系间的引用2.外码外码3.参照完整性规则参照完整性规则1.关系间的引用关
28、系间的引用在关系模型中实体及实体间的联系都是用在关系模型中实体及实体间的联系都是用关系来描述的，因此可能存在着关系与关关系来描述的，因此可能存在着关系与关系间的引用。系间的引用。例例2-2 学生实体、专业实体以及专业与学生学生实体、专业实体以及专业与学生 间的一对多联系间的一对多联系 学生（学生（学号学号，姓名，性别，姓名，性别，专业号专业号，年龄），年龄）专业（专业（专业号专业号，专业名），专业名）学生（学生（学号学号，姓名，性别，专业号，年龄），姓名，性别，专业号，年龄）专业（专业（专业号专业号，专业名），专业名）关系间的引用关系间的引用(续续)例例2-3 学学生生、课课程程、学学生生与与
29、课课程程之之间间的的多多对多联系对多联系 学生（学生（学号学号，姓名，性别，专业号，年龄姓名，性别，专业号，年龄 课程（课程（课程号课程号，课程名，学分），课程名，学分）选修（选修（学号学号，课程号课程号，成绩），成绩）学生学生学生选课学生选课课程课程关系间的引用关系间的引用(续续)例例2-4 学生实体及其内部的领导联系学生实体及其内部的领导联系(一对多一对多)学生（学生（学号学号，姓名，性别，专业号，年龄，姓名，性别，专业号，年龄，班长班长）2外码（外码（Foreign Key）设设F是基本关系是基本关系R的一个或一组属性，但不的一个或一组属性，但不是关系是关系R的码。如果的码。如果F与基本
30、关系与基本关系S的主码的主码Ks相对应，则称相对应，则称F是基本关系是基本关系R的的外码外码基本关系基本关系R称称为为参照关系参照关系（Referencing Relation）基本关系基本关系S称称为为被参照关系被参照关系（ReferencedRelation）或）或目标关系目标关系（Target Relation）。）。外码外码(续续)说明说明l关系关系R和和S不一定是不同的关系不一定是不同的关系l目标关系目标关系S的主码的主码Ks 和参照关系的外码和参照关系的外码F必须定义在同一个（或一组）域上必须定义在同一个（或一组）域上l外码并不一定要与相应的主码同名外码并不一定要与相应的主码同名
31、当外码与相应的主码属于不同关系时，当外码与相应的主码属于不同关系时，往往往往 取相同的名字，以便于识别取相同的名字，以便于识别3.参照完整性规则参照完整性规则若属性（或属性组）若属性（或属性组）F是基本关系是基本关系R的外码的外码它与基本关系它与基本关系S的主码的主码Ks相对应（基本关相对应（基本关系系R和和S不一定是不同的关系），则对不一定是不同的关系），则对于于R中每个元组在中每个元组在F上的值必须为：上的值必须为：或者取空值（或者取空值（F的每个属性值均为空值）的每个属性值均为空值）或者等于或者等于S中某个元组的主码值。中某个元组的主码值。参照完整性规则参照完整性规则(续续)学生关系中每
32、个元组的学生关系中每个元组的“专业号专业号”属性只属性只取下面两类值：取下面两类值：（1）空值空值，表示尚未给该学生分配专业，表示尚未给该学生分配专业（2）非非空空值值，这这时时该该值值必必须须是是专专业业关关系系中中某某个个元元组组的的“专专业业号号”值值，表表示示该该学学生生不可能分配到一个不存在的专业中不可能分配到一个不存在的专业中参照完整性规则参照完整性规则(续续)选修（选修（学号学号，课程号课程号，成绩），成绩）“学号学号”和和“课程号课程号”是选修关系中的主是选修关系中的主属性属性按照实体完整性和参照完整性规则，它们按照实体完整性和参照完整性规则，它们只能取相应被参照关系中已经存在
33、的主码只能取相应被参照关系中已经存在的主码值值参照完整性规则参照完整性规则(续续)学生（学生（学号学号，姓名，性别，专业号，年龄，姓名，性别，专业号，年龄，班长班长）“班长班长”属性值可以取两类值：属性值可以取两类值：（1）空值，表示该学生所在班级尚未选出班长，）空值，表示该学生所在班级尚未选出班长，或该学生本人即是班长；或该学生本人即是班长；（2）非空值，这时该值必须是本关系中某个元）非空值，这时该值必须是本关系中某个元组的学号值组的学号值关系的完整性关系的完整性(续续)l2.3.1 实体完整性实体完整性l2.3.2.参照完整性参照完整性l2.3.3.用户定义的完整性用户定义的完整性2.3.
34、3 用户定义的完整性用户定义的完整性l用用户户定定义义的的完完整整性性是是针针对对某某一一具具体体关关系系数数据据库库的的约约束束条条件件，反反映映某某一一具具体体应应用用所涉及的数据必须满足的语义要求。所涉及的数据必须满足的语义要求。l关关系系模模型型应应提提供供定定义义和和检检验验这这类类完完整整性性的的机机制制，以以便便用用统统一一的的系系统统的的方方法法处处理理它们，而不要由应用程序承担这一功能。它们，而不要由应用程序承担这一功能。用户定义的完整性用户定义的完整性(续续)例例:课程课程(课程号课程号，课程名，学分，课程名，学分)“课程名课程名”属性必须取唯一值属性必须取唯一值非主属性非主属性“课程名课程名”也不能取空值也不能取空值“学分学分”属性只能取值属性只能取值1，2，3，4小结小结l关系数据结构关系数据结构 关系关系域域笛卡尔积笛卡尔积关系关系关系，属性，元组关系，属性，元组候选码，主码，主属性候选码，主码，主属性基本关系的性质基本关系的性质 关系模式关系模式 关系数据库关系数据库l关系的数据操作集合关系的数据操作集合查询查询选择、投影、连接、除、并、交、差选择、投影、连接、除、并、交、差数据更新数据更新插入、删除、修改插入、删除、修改l关系的完整性约束关系的完整性约束实体完整性实体完整性参照完整性参照完整性外码外码用户定义的完整性用户定义的完整性