第5章 数据库完整性_第1页
第5章 数据库完整性_第2页
第5章 数据库完整性_第3页
第5章 数据库完整性_第4页
第5章 数据库完整性_第5页
已阅读5页,还剩30页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第5章数据库完整性数据库的完整性是指数据的正确性和相容性。数据库是否具备完整性关系到数据库系统能否真实地反映现实世界,因此维护数据库的完整性是非常重要的。数据的完整性和安全性是两个不同概念数据的完整性是防止数据库中存在不符合语义的数据,也就是防止数据库中存在不正确的数据。数据的安全性是保护数据库防止恶意的破坏和非法的存取,防范对象是非法用户和非法操作。为维护数据库的完整性,DBMS必须:1、提供定义完整性约束条件的机制2、提供完整性检查的方法3、违约处理。5.1实体完整性5.1.1实体完整性定义关系模型的实体完整性在CREATETABLE中用PRIMARYKEY定义。单属性构成的码有两种说明方法定义为列级约束条件定义为表级约束条件对多个属性构成的码只有一种说明方法定义为表级约束条件[例1]将S表中的S#属性定义为码(1)在列级定义主码CREATETABLES(S#CHAR(9)PRIMARYKEY,

SNCHAR(20)NOTNULL,SASMALLINT,SDCHAR(20));(2)在表级定义主码CREATETABLES(S#CHAR(9),

SNCHAR(20)NOTNULL,SASMALLINT,

SDCHAR(20),PRIMARYKEY(S#));[例2]将SC表中的S#,C#属性组定义为码

CREATETABLESC(S#CHAR(9)NOTNULL,

C#CHAR(4)NOTNULL,GSMALLINT,

PRIMARYKEY(S#,C#)

/*只能在表级定义主码*/);5.1实体完整性5.1.2实体完整性检查和违约处理定义插入或对主码列进行更新操作时,RDBMS按照实体完整性规则自动进行检查。包括:1.检查主码值是否唯一,若不唯一则拒绝插入或修改。2.检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改。5.2参照完整性5.2.1参照完整性定义关系模型的参照完整性定义:在CREATETABLE中用FOREIGNKEY短语定义哪些列为外码;用REFERENCES短语指明这些外码参照哪些表的主码。[例3]定义SC中的参照完整性CREATETABLESC(S#CHAR(9)NOTNULL,

C#CHAR(4)NOTNULL,GSMALLINT,PRIMARYKEY(S#,C#),/*在表级定义实体完整性*/FOREIGNKEY(S#)REFERENCESS(S#),

/*在表级定义参照完整性*/FOREIGNKEY(C#)REFERENCESC(C#)

/*在表级定义参照完整性*/);5.2参照完整性5.2.2参照完整性检查和违约处理一个参照完整性将两个表中的相应元组联系起来了。因此,对被参照表和参照表进行增删改操作时可能破坏参照完整性,必须进行检查。被参照表(例如Student)参照表(例如SC)违约处理可能破坏参照完整性插入元组拒绝可能破坏参照完整性修改外码值拒绝删除元组可能破坏参照完整性拒绝/级连删除/设置为空值修改主码值可能破坏参照完整性拒绝/级连修改/设置为空值可能破坏参照完整性的情况及违约处理当发生上述不一致时,系统可以采用以下的策略进行参照完整性违约处理。1、拒绝(NOACTION)执行该策略一般设置为默认策略2、级联(CASCADE)操作当删除或修改被参照表的一个元组造成了与参照表的不一致,则删除或修改参照表中的所有造成不一致的元组。3、设置为空值(SET-NULL)当删除或修改被参照表的一个元组造成了与参照表的不一致,则将参照表中的所有造成不一致的元组的对应属性设置为空值。[例4]显式说明参照完整性的违约处理示例

CREATETABLESC(S#CHAR(9)NOTNULL,

C#CHAR(4)NOTNULL,GSMALLINT,PRIMARYKEY(S#,C#),

FOREIGNKEY(S#)REFERENCESS(S#) ONDELETECASCADE/*级联删除SC表中相应的元组*/

ONUPDATECASCADE,/*级联更新SC表中相应的元组*/

FOREIGNKEY(C#)REFERENCESC(C#) ONDELETENOACTION /*当删除c表中的元组造成了与SC表不一致时拒绝删除*/

ONUPDATECASCADE /*当更新c表中的c#时,级联更新SC表中相应的元组*/);5.3用户自定义的完整性用户定义的完整性就是针对某一具体应用的数据必须满足的语义要求。5.3.1属性上的约束条件的定义在CREATETABLE时定义,包括:列值非空(NOTNULL)

列值唯一(UNIQUE)

检查列值是否满足一个布尔表达式(CHECK)1、不允许取空值[例5]在定义SC表时,说明S#、C#、G属性不允许取空值。

CREATETABLESC(S#CHAR(9)NOTNULL,

C#CHAR(4)NOTNULL, GSMALLINTNOTNULL, PRIMARYKEY(S#,C#),/*如果在表级定义实体完整性,隐含了S#,C#不允许取空值,则在列级不允许取空值的定义就不必写了*/);2、列值唯一[例6]建立部门表DEPT,要求部门名称DN列取值唯一,部门编号D#列为主码

CREATETABLEDEPT(D#NUMERIC(2),

DNCHAR(9)UNIQUE,/*要求DN列值唯一*/

LocationCHAR(10),PRIMARYKEY(D#));3、用CHECK短语指定列值应该满足的条件[例7]S表的Ssex只允许取“男”或“女”。

CREATETABLES(S#CHAR(9)PRIMARYKEY,

SNCHAR(8)NOTNULL,

SsexCHAR(2)CHECK(SsexIN(‘男’,‘女’)),/*性别属性Ssex只允许取'男'或'女'*/

SASMALLINT,

SDCHAR(20));[例8]SC表的G的值在0到100之间。

CREATETABLESC(S#CHAR(9)NOTNULL,

C#CHAR(4)NOTNULL,GSMALLINTCHECK(G≥0ANDG≤100),PRIMARYKEY(S#,C#)

FOREIGNKEY(S#)REFERENCESS(S#),

/*在表级定义参照完整性*/

FOREIGNKEY(C#)REFERENCESC(C#)

);5.3.2属性上的约束条件检查和违约处理

插入元组或修改属性的值时,RDBMS检查属性上的约束条件是否被满足,如果不满足则操作被拒绝执行。5.3.3元组上的约束条件的定义

在CREATETABLE时可以用CHECK短语定义元组上的约束条件,即元组级的限制。同属性值限制相比,元组级的限制可以设置不同属性之间的取值的相互约束条件。[例9]当学生的性别是男时,其名字不能以Ms.打头。

CREATETABLES(S#CHAR(9),

SNCHAR(8)NOTNULL,SsexCHAR(2),SASMALLINT,

SDCHAR(20),PRIMARYKEY(S#),

CHECK(Ssex='女'ORSNNOTLIKE'Ms.%')/*定义元组中SN和Ssex两属性值之间的约束条件*/);

性别是女性的元组都能通过该项检查,因为Ssex=‘女’成立;当性别是男性时,要通过检查则名字不能以Ms.打头。5.3.4元组上的约束条件检查和违约处理

插入元组或修改属性的值时,RDBMS检查元组上的约束条件是否被满足。如果不满足则操作被拒绝执行。5.4完整性约束命名子句

SQL还在CREATETABLE语句中提供了完整性约束命名子句CONSTRAINT,用来对完整性约束条件命名。从而灵活地增加、删除一个完整性约束条件。1、完整性约束命名子句CONSTRAINT<完整性约束条件名>[PRIMARYKEY短语|FOREIGNKEY短语|CHECK短语][例10]建立学生登记表S,要求学号在90000~99999之间,姓名不能取空值,年龄小于30,性别只能是“男”或“女”。

CREATETABLES(S#NUMERIC(6)

CONSTRAINTC1CHECK(S#BETWEEN90000AND99999),

SNCHAR(20)

CONSTRAINTC2NOTNULL,SANUMERIC(3)

CONSTRAINTC3CHECK(SA<30),SsexCHAR(2)

CONSTRAINTC4CHECK(SsexIN('男','女')),

CONSTRAINTSKeyPRIMARYKEY(S#));

在S表上建立了5个约束条件,包括主码约束(命名为SKey)以及C1、C2、C3、C4四个列级约束。2.修改表中的完整性限制

使用ALTERTABLE语句修改表中的完整性限制[例11]修改表S的约束条件,要求学号改在900000~999999之间,年龄由小于30改为小于40可以先删除原来的约束条件,再增加新的约束条件

ALTERTABLESDROPCONSTRAINTC1;

ALTERTABLESADDCONSTRAINTC1CHECK(S#BETWEEN900000AND999999),

ALTERTABLESDROPCONSTRAINTC3;

ALTERTABLESADDCONSTRAINTC3CHECK(SA<40);5.5域中的完整性控制

SQL支持域的概念,并可以用CREATEDOMAIN语句建立一个域以及该域应该满足的完整性约束条件。[例12]建立一个性别域,并声明性别域的取值范围

CREATEDOMAINGenderDomainCHAR(2)CHECK(VALUEIN('男','女'));这样[例10]中对Ssex的说明可以改写为

SsexGenderDomain[例13]建立一个性别域GenderDomain,并对其中的限制命名

CREATEDOMAINGenderDomainCHAR(2)CONSTRAINTGDCHECK(VALUEIN('男','女'));[例14]删除域GenderDomain的限制条件GD。ALTERDOMAINGenderDomain

DROPCONSTRAINTGD;[例15]在域GenderDomain上增加限制条件GDD。ALTERDOMAINGenderDomain

ADDCONSTRAINTGDDCHECK(VALUEIN('1','0')

通过[例14]和[例15],就把性别的取值范围由('男','女')改为('1','0')5.6触发器

触发器(Trigger)是用户定义在关系表上的一类由事件驱动的特殊过程。由服务器自动激活可以进行更为复杂的检查和操作,具有更精细和更强大的数据控制能力5.6.1定义触发器

CREATETRIGGER语法格式:

CREATETRIGGER<触发器名>{BEFORE|AFTER}<触发事件>ON<表名>

FOREACH{ROW|STATEMENT}[WHEN<触发条件>]<触发动作体>定义触发器的语法说明:1.创建者:表的拥有者2.触发器名3.表名:触发器的目标表4.触发事件:INSERT、DELETE、UPDATE5.触发器类型行级触发器(FOREACHROW)语句级触发器(FOREACHSTATEMENT)6.触发条件触发条件为真时才执行7.触发动作体

触发动作体可以是一个匿名PL/SQL过程块,也可以是对已创建存储过程的调用。

例如,若TEACHER表上创建了一个AFTERUPDATE触发器。如果表TEACHER有1000行,执行如下语句:

UPDATETEACHERSETDeptno=5;如果该触发器为语句级触发器,那么执行完该语句后,触发动作只发生一次如果是行级触发器,触发动作将执行1000次[例16]定义一个BEFORE行级触发器,为教师表Teacher定义完整性规则“教授的工资不得低于4000元,如果低于4000元,自动改为4000元”。

CREATETRIGGERInsert_Or_Update_SalBEFOREINSERTORUPDATEONTeacher/*触发事件是插入或更新操作*/

FOREACHROW/*行级触发器*/

ASBEGIN/*定义触发动作体,是PL/SQL过程块*/

IF(new.Job='教授')AND(new.Sal<4000)THENnew.Sal:=4000;ENDIF;END;[例17]定义AFTER行级触发器,当教师表T的工资发生变化后就自动在工资变化表Sal_log中增加一条相应记录首先建立工资变化表Sal_logCREATETABLESal_log(EnoNUMERIC(4)referencesteacher(eno),SalNUMERIC(7,2),Usernamechar(10),DateTIMESTAMP);CREATETRIGGERInsert_Sal

AFTERINSERTONTeacher/*触发事件是INSERT*/FOREACHROWASBEGININSERTINTOSal_logVALUES(new.Eno,new.Sal,CURRENT_USER,CURRENT_TIMES

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论