文章目录
概述
数据库完整性
-
数据库的完整性是指数据的正确性和相容性
- 数据的正确性是指数据是符合现实世界语义,反映了当前实际状况
- 数据的相容性是指数据库同一对象在不同关系表中的数据是符合逻辑的。
-
数据的完整性和安全性是两个不同概念
- 数据的完整性
- 防止数据库中存在不符合语义的数据,也就是防止数据库中存在不正确的数据
- 防范对象:不合语义的、不正确的数据
- 数据的安全性
- 保护数据库防止恶意的破坏和非法的存取。
- 防范对象:非法用户和非法操作
- 数据的完整性
-
为维护数据库的完整性,数据库管理系统必须提供定义完整性约束条件的机制
- 完整性约束条件也称为完整性规则,是数据库中的数据必须满足的语义约束条件。
- SQL标准使用了一系列概念来描述完整性,包括关系模型的实体完整性、参照完整性和用户定义完整性。
- 这些完整性一般由SQL的数据定义语言语句来实现。
提供完整性检查的方法
- 数据库管理系统中检查数据是否满足完整性约束条件的机制称为完整性检查。
- 一般在INSERT、UPDATE、DELETE语句执行后开始检查,也可以在事务提交时检查。
违约处理
- 数据库管理系统若发现用户的操作违背了完整性约束条件,就采取一定的动作
- 拒绝(NO ACTION)执行该操作
- 级连(CASCADE)执行其他操作
实体完整性
实体完整性定义
- 关系模型的实体完整性
CREATE TABLE
中用PRIMARY KEY
定义
- 单属性构成的码有两种说明方法
- 定义为列级约束条件
- 定义为表级约束条件
- 多个属性构成的码只有一种说明方法
- 定义为表级约束条件
例:将Student表中的Sno属性定义为码
(1)在列级定义主码 CREATE TABLE Student ( Sno CHAR(9) PRIMARY KEY, Sname CHAR(20) NOT NULL, Ssex CHAR(2), Sage SMALLINT, Sdept CHAR(20) ); (2)在表级定义主码 CREATE TABLE Student ( Sno CHAR(9), Sname CHAR(20) NOT NULL, Ssex CHAR(2), Sage SMALLINT, Sdept CHAR(20), PRIMARY KEY (Sno) );
实体完整性检查和违约处理
-
插入或对主码列进行更新操作时,关系数据库管理系统按照实体完整性规则自动进行检查。
-
包括:
- 检查主码值是否唯一,如果不唯一则拒绝插入或修改。
- 检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改。
-
检查记录中主码值是否唯一的方法
-
全表扫描
- 依次判断表中每一条记录的主码值与将插入记录上的主码值(或者修改的新主码值)是否相同。
- 表扫描缺点
- 十分耗时
- 为避免对基本表进行全表扫描,RDBMS核心一般都在主码上自动建立一个索引
-
B+树索引
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-EQEI53Qy-1642051179604)(https://gitee.com/hydrogenion/drawing-bed-two/raw/master/img/image-20210502174046590.png)]
-
参照完整性
参照完整性定义
- 在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码
- 用REFERENCES短语指明这些外码参照哪些表的主码
例如,关系SC中(Sno,Cno)是主码。Sno,Cno分别参照Student表的主码和Course表的主码
定义SC中的参照完整性
CREATE TABLE SC
( Sno CHAR(9) NOT NULL,
Cno CHAR(4) NOT NULL,
Grade SMALLINT,
PRIMARY KEY (Sno, Cno), /*在表级定义实体完整性*/
FOREIGN KEY (Sno) REFERENCES Student(Sno), /*在表级定义参照完整性*/
FOREIGN KEY (Cno) REFERENCES Course(Cno) /*在表级定义参照完整性*/
);
参照完整性检查和违约处理
- 一个参照完整性将两个表中的相应元组联系起来
- 对被参照表和参照表进行增删改操作时有可能破坏参照完整性,必须进行检查
对表SC和Student有四种可能破坏参照完整性的情况 :
- SC表中增加一个元组
- 该元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等
- 修改SC表中的一个元组
- 修改后该元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等
- 从Student表中删除一个元组
- 造成SC表中某些元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等
- 修改Student表中一个元组的Sno属性
- 造成SC表中某些元组的Sno属性的值在表Student中找不到一个元组,其Sno属性的值与之相等
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-fljuUBow-1642051179605)(https://gitee.com/hydrogenion/drawing-bed-two/raw/master/img/image-20210502174606233.png)]
参照完整性违约处理
- 拒绝(NO ACTION)执行
- 不允许该操作执行。该策略一般设置为默认策略
- 级联(CASCADE)操作
- 当删除或修改被参照表(Student)的一个元组造成了与参照表(SC)的不一致,则删除或修改参照表中的所有造成不一致的元组
- 设置为空值(SET-NULL)
- 当删除或修改被参照表的一个元组时造成了不一致,则将参照表中的所有造成不一致的元组的对应属性设置为空值。
例如,有下面2个关系
学生(学号,姓名,性别,专业号,年龄)
专业(专业号,专业名)
假设专业表中某个元组被删除,专业号为12
按照设置为空值的策略,就要把学生表中专业号=12的所有元组的专业号设置为空值
对应语义:某个专业删除了,该专业的所有学生专业未定,等待重新分配专业
对于参照完整性,除了应该定义外码,还应定义外码列是否允许空值
显式说明参照完整性的违约处理示例
CREATE TABLE SC
( Sno CHAR(9) NOT NULL,
Cno CHAR(4) NOT NULL,
Grade SMALLINT,
PRIMARY KEY(Sno,Cno),
FOREIGN KEY (Sno) REFERENCES Student(Sno)
ON DELETE CASCADE /*当删除Student表中的元组时,级联删除SC表中相应的元组*/
ON UPDATE CASCADE, /*当更新Student表中的元组时,级联更新SC表中相应的元组*/
FOREIGN KEY (Cno) REFERENCES Course(Cno)
ON DELETE NO ACTION /*当删除Course 表中的元组造成与SC表不一致时,拒绝删除*/
ON UPDATE CASCADE /*当更新Course表中的cno时,级联更新SC表中相应的元组*/
);
用户定义的完整性
- 用户定义的完整性是:针对某一具体应用的数据必须满足的语义要求
- 关系数据库管理系统提供了定义和检验用户定义完整性的机制,不必由应用程序承担
属性上的约束条件
- CREATE TABLE时定义属性上的约束条件
- 列值非空(NOT NULL)
- 列值唯一(UNIQUE)
- 检查列值是否满足一个条件表达式(CHECK)
不允许取空值
在定义SC表时,说明Sno、Cno、Grade属性不允许取空值。
CREATE TABLE SC
( Sno CHAR(9) NOT NULL,
Cno CHAR(4) NOT NULL,
Grade SMALLINT NOT NULL,
PRIMARY KEY (Sno, Cno),
…
/* 如果在表级定义实体完整性,隐含了Sno,Cno不允许取空值,则在
列级不允许取空值的定义 可以不写 * /
);
列值唯一
建立部门表DEPT,要求部门名称Dname列取值唯一,部门编号Deptno列为主码
CREATE TABLE DEPT
( Deptno NUMERIC(2),
Dname CHAR(9) UNIQUE NOT NULL, /*要求Dname列值唯一, 并且不能取空值*/
Location CHAR(10),
PRIMARY KEY (Deptno)
);
用CHECK短语指定列值应该满足的条件
Student表的Ssex只允许取“男”或“女”。
CREATE TABLE Student
( Sno CHAR(9) PRIMARY KEY,
Sname CHAR(8) NOT NULL,
Ssex CHAR(2) CHECK (Ssex IN (‘男’,’女’)), /*性别属性Ssex只允许取'男'或'女' */
Sage SMALLINT,
Sdept CHAR(20)
);
SC表的Grade的值应该在0和100之间。
CREATE TABLE SC
( Sno CHAR(9) ,
Cno CHAR(4),
Grade SMALLINT CHECK (Grade>=0 AND Grade <=100),/*Grade取值范围是0到100*/
PRIMARY KEY (Sno,Cno),
FOREIGN KEY (Sno) REFERENCES Student(Sno),
FOREIGN KEY (Cno) REFERENCES Course(Cno)
);
属性上的约束条件检查和违约处理
- 属性上的约束条件检查和违约处理
- 插入元组或修改属性的值时,关系数据库管理系统检查属性上的约束条件是否被满足
- 如果不满足则操作被拒绝执行
元组上的约束条件
- 在CREATE TABLE时可以用CHECK短语定义元组上的约束条件,即元组级的限制
- 同属性值限制相比,元组级的限制可以设置不同属性之间的取值的相互约束条件
当学生的性别是男时,其名字不能以Ms.打头
CREATE TABLE Student ( Sno CHAR(9), Sname CHAR(8) NOT NULL, Ssex CHAR(2), Sage SMALLINT, Sdept CHAR(20), PRIMARY KEY (Sno), CHECK (Ssex=‘女’ OR Sname NOT LIKE ‘Ms.%’) /*定义了元组中Sname和 Ssex两个属性值之间的约束条件*/ );
性别是女性的元组都能通过该项检查,因为Ssex=‘女’成立;
当性别是男性时,要通过检查则名字一定不能以Ms.打头
元组上约束条件检查和违约处理
- 元组上的约束条件检查和违约处理
- 插入元组或修改属性的值时,关系数据库管理系统检查元组上的约束条件是否被满足
- 如果不满足则操作被拒绝执行
完整性约束命名子句
完整性约束命名子句CONSTRAINT
- 优点:CONSTRAINT用来完整性约束条件命名,从而灵活地增加、删除一个完整性约束条件。
- CONSTRAINT <完整性约束条件名><完整性约束条件>
- <完整性约束条件>包括NOT NULL、UNIQUE、PRIMARY KEY短语、FOREIGN KEY短语、CHECK短语等
例9.10:建立学生登记表Student,要求学号在90000~99999之间,姓名不能取空值,年龄小于30,性别只能是“男”或“女”
CREATE TABLE Student ( Sno NUMERIC(6) CONSTRAINT C1 CHECK (Sno BETWEEN 90000 AND 99999), Sname CHAR(20) CONSTRAINT C2 NOT NULL, Sage NUMERIC(3) CONSTRAINT C3 CHECK (Sage < 30), Ssex CHAR(2) CONSTRAINT C4 CHECK (Ssex IN ( ‘男’,'女')), CONSTRAINT StudentKey PRIMARY KEY(Sno) );
在Student表上建立了5个约束条件,包括主码约束(命名为StudentKey)以及C1、C2、C3、C4四个列级约束
例9.11:建立教师表TEACHER,要求每个教师的应发工资不低于3000元
CREATE TABLE TEACHER ( Eno NUMERIC(4) PRIMARY KEY /*在列级定义主码*/ Ename CHAR(10), Job CHAR(8), Sal NUMERIC(7,2), Deduct NUMERIC(7,2), Deptno NUMERIC(2), CONSTRAINT TEACHERFKey FOREIGN KEY (Deptno) REFERENCES DEPT(Deptno), CONSTRAINT C1 CHECK (Sal + Deduct >= 3000) );
修改表中的完整性限制
使用ALTER TABLE
语句修改表中的完整性限制
例:去掉例9.10 Student表中对性别的限制
ALTER TABLE Student DROP CONSTRAINT C4;
修改表Student中的约束条件,要求学号改为在900000~999999之间,年龄由小于30改为小于40
可以先删除原来的约束条件,再增加新的约束条件
ALTER TABLE Student DROP CONSTRAINT C1; ALTER TABLE Student ADD CONSTRAINT C1 CHECK (Sno BETWEEN 900000 AND 999999), ALTER TABLE Student DROP CONSTRAINT C3; ALTER TABLE Student ADD CONSTRAINT C3 CHECK(Sage < 40);
域中的完整性限制
- 域是一组具有相同数据类型的值的集合
- SQL可用
CREATE DOMAIN
建立一个域,以及该域应该满足的完 整性约束条件,然后用域来定义属性。 - 优点:数据库中不同的属性可来自同一个域,当域上的完整性约 束条件改变时只要修改域的定义即可,而不必一一修改域上的各个属性。
例子
建立一个性别域,并声明性别域的取值范围。CREATE DOMAIN GenderDomain CHAR(2) CHECK(VALUE IN(‘男’, ‘女’))
断言
- SQL中,可以使用 CREATE ASSERTION语句,通过声明性断言来指定更具一般性的约束。
- 优点:可以定义涉及多个表的或聚集操作的比较复杂的完整性约束。
- 断言创建以后,任何对断言中所涉及的关系的操作都会触发关系数据库管理系统对断言的检查,
- 任何使断言不为真值的操作都会被拒绝执行
创建断言
CREATE ASSERTION<断言名><CHECK 子句>
每个断言都被赋予一个名字,<CHECK 子句>中的约束条件与WHERE子句的条件表达式类似。
[例9.18] 限制数据库课程最多60名学生选修
CREATE ASSERTION ASSE_SC_DB_NUM CHECK (60 >= (select count(*) /*此断言的谓词涉及聚集操作count的SQL语句*/ From Course,SC Where SC.Cno=Course.Cno and Course.Cname ='数据库') );
[例9.19]限制每一门课程最多60名学生选修
CREATE ASSERTION ASSE_SC_CNUM1 CHECK(60 >= ALL (SELECT count(*) /*此断言的谓词,涉及聚集count */ FROM SC /*和分组函数group by的SQL语句*/ GROUP by cno) );
限制每个学期每一门课程最多60名学生选修
首先需要修改SC表的模式,增加一个“学期(TERM)”属性 ALTER TABLE SC ADD TERM DATE; 然后,定义断言: CREATE ASSERTION ASSE_SC_CNUM2 CHECK(60 >= ALL (SELECT count(*) FROM SC GROUP by cno,TERM) );
删除断言
DROP ASSERTION <断言名>;
缺点
如果断言很复杂,则系统在检测和维护断言的开销较高,这是在使用断言时应该注意的
触发器
触发器定义
- 触发器(Trigger)是用户定义在关系表上的一类由事件驱动的特殊过程
- 触发器保存在数据库服务器中。
- 任何用户对表的增、删、改操作均由服务器自动激活相应的触发器。
- 优点:触发器类似约束,但比约束更加灵活,可以实施更为复杂的检查和操作,具有更精细和更强大的数据控制能力。
定义触发器
CREATE TRIGGER <触发器名> /*每当触发事件发生时,该触发器被激活 */
{BEFORE | AFTER} <触发事件> ON <表名> /*指明触发器激活的时间是执行触发事件前或后 */
REFERENCING NEW|OLD ROW AS<变量> /*Referencing指出应用的变量*/
FOR EACH {ROW | STATEMENT} /*定义触发器的类型,指明动作体执行的频率 */
[WHEN <触发条件>]<触发动作体> /*仅当触发条件为真时才执行触发动作体*/
触发器又叫做事件-条件-动作(event-condition-action)规则。
当特定的系统事件发生时,对规则的条件进行检查,如果条件成立则执行规则中的动作,否则不执行该动作。规则中的动作体可以很复杂,通常是一段SQL存储过程。
定义触发器的语法说明
-
表的拥有者才可以在表上创建触发器
-
触发器名
- 触发器名可以包含模式名,也可以不包含模式名
- 同一模式下,触发器名必须是唯一的
- 触发器名和表名必须在同一模式下
-
表名
- 触发器只能定义在基本表上,不能定义在视图上
- 当基本表的数据发生变化时,将激活定义在该表上相应触发事件的触发器
-
触发事件
- 触发事件可以是INSERT、DELETE或UPDATE也可以是这几个事件的组合
- 还可以UPDATE OF<触发列,…>,即进一步指明修改哪些列时激活触发器
- AFTER/BEFORE是触发的时机
- AFTER表示在触发事件的操作执行之后激活触发器
- BEFORE表示在触发事件的操作执行之前激活触发器
-
触发器类型
-
行级触发器(FOR EACH ROW)
-
语句级触发器(FOR EACH STATEMENT)
-
例:在例9.11的TEACHER表上创建一个AFTER UPDATE触发器,触发事件是UPDATE语句:
UPDATE TEACHER SET Deptno=5;假设表TEACHER有1000行
如果是行级触发器,触发动作将执行1000次
如果是语句级触发器,那么执行完该语句后,触发动作只发生一次
-
-
触发条件
- 触发器被激活时,只有当触发条件为真时触发动作体才执行;
- 否则触发动作体不执行。
- 如果省略WHEN触发条件,则触发动作体在触发器激活后立即执行
- 触发器被激活时,只有当触发条件为真时触发动作体才执行;
-
触发动作体
- 触发动作体可以是一个匿名SQL过程块也可以是对已创建存储过程的调用
- 如果是行级触发器,用户都可以在过程体中使用NEW和OLD引用事件之后的新值和事件之前的旧值
- 如果是语句级触发器,则不能在触发动作体中使用NEW或OLD进行引用
- 如果触发动作体执行失败,激活触发器的事件就会终止执行,触发器的目标表或触发器可能影响的其他对象不发生任何变化
[例9.21]当对表SC的Grade属性进行修改时,若分数增加了10%则将此次操作记录到下面表中:
SC_U(Sno,Cno,Oldgrade,Newgrade)
其中Oldgrade是修改前的分数,Newgrade是修改后的分数。CREATE TRIGGER SC_T AFTER UPDATE OF Grade ON SC /*After是触发的时机,表示当对SC的Grade属性修改完后再触发下面的规则*/ REFERENCING OLD row AS OldTuple, NEW row AS NewTuple FOR EACH ROW /*行级触发器,即每执行一次Grade的更新,下面的规则执行一次*/ WHEN (NewTuple.Grade >= 1.1*OldTuple.Grade) /*触发条件,下面条件为真才执行*/ INSERT INTO SC_U(Sno,Cno,OldGrade,NewGrade) VALUES(OldTuple.Sno,OldTuple.Cno,OldTuple.Grade,NewTuple.Grade)
[例9.22] 将每次对表Student的插入操作所增加的学生个数记录到表StudentInsertLog中
CREATE TRIGGER Student_Count AFTER INSERT ON Student /*指明触发器激活的时间是在执行INSERT后*/ REFERENCING NEW TABLE AS DELTA FOR EACH STATEMENT /*语句级触发器, 即执行完INSERT语句后下面的触发动作体才执行一次*/ INSERT INTO StudentInsertLog (Numbers) SELECT COUNT(*) FROM DELTA
[例9.23] 定义一个BEFORE行级触发器,为教师表Teacher定义完整性规则“教授的工资不得低于4000元,如果低于4000元,自动改为4000元”。
CREATE TRIGGER Insert_Or_Update_Sal /*触发事件是插入或更新操作*/ BEFORE INSERT OR UPDATE ON Teacher /*before触发事件*/ FOR EACH ROW /*行级触发器*/ BEGIN /*定义触发动作体,是SQL过程块*/ IF (new.Job='教授') AND (new.Sal < 4000) THEN new.Sal :=4000; END IF; END;
激活触发器
- 触发器的执行,是由触发事件激活的,并由数据库服务器自动执行。
- 一个数据表上可能定义了多个触发器,遵循如下的执行顺序:
(1) 执行该表上的BEFORE触发器;
(2) 激活触发器的SQL语句;
(3) 执行该表上的AFTER触发器。
删除触发器
删除触发器的SQL语法:
DROP TRIGGER <触发器名> ON <表名>
触发器必须是一个已经创建的触发器,并且只能由具有相应权限的用户删除
缺点
- 触发器是很强大的工具,但在使用时要慎重
- 因为在每次访问一个表时,都可能触发一个触发器,这样会影响系统的性能。
- 一个触发器的动作可能激活另一个触发器,最坏的情况是导致一个触发链,从而造成难以预见的错误。
数据库完整性总结
- 数据库的完整性是为了保证数据库中存储的数据是正确的。
- 所谓正确是指符合现实世界语义的。
- 关系数据库管理系统完整性实现的机制
- 完整性约束定义机制
- 完整性检查机制
- 违背完整性约束条件时采取的动作
- 数据库完整性的定义一般由SQL的数据定义语言来实现。
- 它们作为数据库模式的一部分存入数据字典中
- 在数据库数据修改时,关系数据库管理系统的完整性检查机制将按照数据字典中定义的这些约束进行检查。
- 完整性机制的实施会影响系统性能。
- 因此许多数据库管理系统对完整性机制的支持比对安全性的支持要晚得多,也弱得多。
- 随着硬件性能的提高以及数据库技术的发展,目前的关系数据库管理系统都提供了完整性的机制
- 对于违反完整性的操作一般的处理是采用默认方式,如拒绝执行
- 对于违反参照完整性的操作,有不同的处理策略。用户要根据应用语义来定义合适的处理策略,以保证数据库的正确性。