7.数据库完整性

数据库完整性

        数据库的完整性：

（1）数据的正确性：是指数据是符合现实世界语义，反映了当前实际状况的。

        例如：学生的学号必须唯一；性别只能是男或女；成绩的取值范围为 0~100。

（2）数据的相容性：是指数据库同一对象在不同关系表中的数据是符合逻辑的。

        例如：学生所选的课程必须是学校开设的课程；学生所在的院系必须是学校已成立的院系。

        数据的完整性和安全性是两个不同概念：

（1）数据的完整性：防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据。

防范对象：不合语义的、不正确的数据。

（2）数据的安全性：保护数据库，防止恶意的破坏和非法的存取。

防范对象：非法用户和非法操作。

总结：完整性是阻止合法用户通过合法操作向数据库中加入不正确的数据；安全性防范的是非法用户和非法操作存取数据库中的正确数据。

        为维护数据库的完整性，数据库管理系统必须：

（1）提供定义完整性约束条件的机制：

        完整性约束条件也称为完整性规则，是数据库中的数据必须满足的语义约束条件。SQL 标准使用了一系列概念来描述完整性，包括关系模型的实体完整性、参照完整性和用户定义完整性。这些完整性一般由 SQL 的数据定义语言语句来实现。

（2）提供完整性检查机制：

        数据库管理系统中检查数据是否满足完整性约束条件的机制称为完整性检查。一般在 INSERT、UPDATE、DELETE 语句执行后开始检查， 也可以在事务提交时检查。

（3）违约处理：

        数据库管理系统若发现用户的操作违背了完整性约束条件，就采取一定的动作：拒绝（NO ACTION）执行该操作、级连（CASCADE）执行其他操作。

        由 DBMS 进行完整性检查的好处：不必由应用程序来完成，从而减轻了应用程序员的负担。能够为所有的用户和所有的应用提供一致的数据库完整性，避免出现漏洞。

1、实体完整性

（1.1）实体完整性定义

        关系模型的实体完整性：

CREATE TABLE 中用 PRIMARY KEY 定义。

        单属性构成的码有两种说明方法：

（1）定义为列级约束条件；

（2）定义为表级约束条件。

        对多属性构成的码只有一种说明方法：

（1）定义为表级约束条件。

【例1】将 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)

        );

【例2】将 SC 表中的 Sno，Cno 属性组定义为码。

CREATE TABLE SC

        ( Sno CHAR(9) NOT NULL,

          Cno CHAR(4) NOT NULL,

          Grade SMALLINT,

          PRIMARY KEY (Sno,Cno)                // 只能在表级定义主码

        );

（1.2）实体完整性检查和违约处理

        插入或对主码列进行更新操作时，关系数据库管理系统按照实体完整性规则自动进行检查。

（1）检查主码值是否唯一，如果不唯一则拒绝插入或修改；

（2）检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改。

        检查记录中主码值是否唯一的一种方法是进行全表扫描：依次判断表中每一条记录的主码值与将插入记录上的主码值（或者修改的新主码值）是否相同。

        表扫描缺点：十分耗时。为避免对基本表进行全表扫描，RDBMS 核心一 般都在主码上自动建立一个索引。

2、参照完整性

（2.1）参照完整性定义

        若属性（或属性组）F 是基本关系 R 的外码它与基本关系 S 的主码 Ks 相对应（基本关系 R和 S 不一定是不同的关系），则对于 R 中每个元组在 F 上的值必须为：或者取空值（ F 的每个属性值均为空值）或者等于 S 中某个元组的主码值。

        关系模型的参照完整性定义：

（1）在 CREATE TABLE 中用 FOREIGN KEY 短语定义哪些为外码；

（2）用 REFERENCES 短语指明这些外码参照哪些表的主码。

【例1】Student 表的 Sdept 属性是外码，参照 DEPT 表的主码 Deptno。

CREATE TABLE Student

        (Sno CHAR(9) PRIMARY KEY,                         // 列级完整性约束条件，Sno是主码

         Sname CHAR(20) UNIQUE,

         Ssex CHAR(2),

         Sage SMALLINT,                             

         Sdept CHAR(20)

         FOREIGN KEY REFERENCES DEPT(Deptno)  // 在表级定义参照完整性                           

         );

【例2】关系 SC 中（Sno，Cno）是主码。Sno，Cno分别参照 Student 表的主码和 Course表的主码。

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)  // 在表级定义参照完整性

         );

（2.2）参照完整性检查和违约处理

        一个参照完整性将两个表中的相应元组联系起来。对被参照表和参照表进行增删改操作时有可能破坏参照完整性，必须进行检查。

【例1】表 SC 和 Student 有四种可能破坏参照完整性的情况。

（1）SC 表中增加一个元组，该元组的 Sno 属性的值在表 Student 中找不到一个元组，其Sno属性的值与之相等。

（2）修改 SC 表中的一个元组，修改后该元组的 Sno 属性的值在表 Student 中找不到一个元组，其 Sno 属性的值与之相等。

（3）从 Student 表中删除一个元组，造成 SC 表中某些元组的 Sno 属性的值在表 Student 中找不到一个元组，其 Sno 属性的值与之相等。

（4）修改 Student 表中一个元组的 Sno 属性，造成 SC 表中某些元组的 Sno 属性的值在表Student 中找不到一个元组，其 Sno 属性的值与之相等

可能破坏参照完整性的情况及违约处理

被参照表	参照表	违约处理
	插入元组	拒绝
	修改外码值	拒绝
删除元组		拒绝/级联删除/设置为空值
修改主码值		拒绝/级联删除/设置为空值

        参照完整性违约处理：

（1）拒绝（NO ACTION）执行：

        不允许该操作执行。

        该策略一般设置为默认策略。

（2）级联（CASCADE）操作：

        当删除或修改被参照表（Student）的一个元组造成了与参照 表（SC）的不一致，则删除或修改参照表中的所有造成不一致的元组。

（3）设置为空值（SET-NULL）：

        当删除或修改被参照表的一个元组时造成了不一致，则将参照 表中的所有造成不一致的元组的对应属性设置为空值。

【例2】显式说明参照完整性的违约处理示例。

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                // 级联删除SC表中相应的元组

                ON UPDATE CASCADE,               // 级联更新SC表中相应的元组

          FOREIGN KEY (Cno) REFERENCES Course(Cno)

                 // 当删除 course 表中的元组造成了与 SC 表不一致时拒绝删除

                ON DELETE NO ACTION

                // 当更新 course 表中的 cno 时，级联更新 SC 表中相应的元组

                ON UPDATE CASCADE

          );

3、用户定义的完整性

        用户定义的完整性是：针对某一具体应用的数据必须满足的语义要求。关系数据库管理系统提供了定义和检验用户定义完整性的机制，不必由应用程序承担。

（3.1）属性上的约束条件

        CREATE TABLE 时定义属性上的约束条件：

（1）列值非空（NOT NULL）；

（2）列值唯一（UNIQUE）；

（3）检查列值是否满足一个条件表达式（CHECK）。

【例1】在定义 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),

          …

        );

【例2】建立专业表 DEPT，要求专业名称 Dname 列取值唯一且不能取空值，专业编号Deptno 列为主码。

CREATE TABLE DEPT

         ( Deptno NUMERIC(2),

           Dname CHAR(9) UNIQUE NOT NULL,   // 要求 Dname 列值唯一, 并且不能取空值

           PRIMARY KEY (Deptno)

         );

【例3】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)

        );

【例4】SC 表的 Grade 的值应该在 0 和 100 之间。

CREATE TABLE SC

        ( Sno CHAR(9) ,

          Cno CHAR(4),

          // Grade 取值范围是 0 到 100

          Grade SMALLINT CHECK (Grade >= 0 AND Grade <= 100),

          PRIMARY KEY (Sno,Cno),

          FOREIGN KEY (Sno) REFERENCES Student(Sno),

          FOREIGN KEY (Cno) REFERENCES Course(Cno)

       );

        属性上的约束条件检查和违约处理：插入元组或修改属性的值时，关系数据库管理系统检查属性上的约束条件是否被满足。如果不满足则操作被拒绝执行。

（3.2）元组上的约束条件

        属性上的约束条件：只涉及单个属性。元组级的限制：可以设置不同属性之间的取值的相互约束 条件。在 CREATE TABLE 时可以用 CHECK 子句定义元组上的约束条件。

【例1】]当学生的性别是男时，其名字不能以 Ms. 打头。

CREATE TABLE Student

        ( Sno CHAR(9),

          Sname CHAR(8) NOT NULL,

          Ssex CHAR(2),

          Sage SMALLINT,

          Sdept CHAR(20),

          PRIMARY KEY (Sno),

          // 定义了元组中 Sname 和 Ssex 两个属性值之间的约束条件

          CHECK ( Ssex = '女' OR Sname NOT LIKE 'Ms.%')

        );

        元组上的约束条件检查和违约处理：插入元组或修改属性的值时，关系数据库管理系统检查元组上的约束条件是否被满足，如果不满足则操作被拒绝执行。

小结：

	实体完整性	参照完整性	用户定义的完整性
定义方法	CREATE TABLE	CREATE TABLE	CREATE TABEL
检查时机	执行插入 修改操作	参照表：插入/修改 被参照表：删除/修改	执行插入 修改操作
违约处理	拒绝执行	拒绝执行/级联操作/置为空值	拒绝执行

4、完整性约束命名子句

（4.1）完整性约束命名子句

CONSTRAINT <完整性约束条件名> <完整性约束条件>

<完整性约束条件> 包括 NUT NULL、UNIQUE、PRIMARY KEY短语、FOREIGN KEY短语、CHECK短语。

【例1】建立学生登记表 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)

        );

【例2】建立教师表 TEACHER，要求每个教师的应发工资不低于 3000 元。应发工资是工资列 Sal 与扣除项 Deduct 之和。

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)

        );

（4.2）修改表中的完整性限制

        使用 ALTER TABLE 语句修改表中的完整性限制。

【例3】去掉例【1】Student 表中对性别的限制。

ALTER TABLE Studen

t DROP CONSTRAINT C4;

【例4】修改表 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);

5、断言

        SQL 中，可以使用 CREATE ASSERTION 语句，通过声明性断言来指定更具一般性的约束。可以定义涉及多个表的或聚集操作的比较复杂的完整性约束。断言创建以后，任何对断言中所涉及的关系的操作都会触发关系数据库管理系统对断言的检查，任何使断言不为真值的操作都会被拒绝执行。

（5.1）创建断言

        一般格式：

CREATE ASSERTION <断言名> <CHECK 子句>

每个断言都被赋予一个名字。<CHECK 子句> 中的约束条件与 WHERE 子句的条件表达式类似。

【例1】限制数据库课程最多 60 名学生选修。

CREATE ASSERTION ASSE_SC_DB_NUM

CHECK (60 >= (select count(*)

                          From Course,SC

                          Where SC.Cno = Course.Cno and

                          Course.Cname = '数据库')

                          );

【例2】限制每一门课程最多 60 名学生选修。

CREATE ASSERTION ASSE_SC_CNUM1

CHECK(60 >= ALL (SELECT count(*)

                                 FROM SC

                                 GROUP by cno)

               );

【例3】限制每个学期每一门课程最多 60 名学生选修。

（1）首先需要修改 SC 表的模式，增加一个“学期（TERM）” 属性

ALTER TABLE SC

ADD TERM DATE;

（2）然后，定义断言：

CREATE ASSERTION ASSE_SC_CNUM2

CHECK(60 >= ALL (SELECT count(*)

                                 FROM SC

                                 GROUP BY CNO,TERM)

             );

如果断言很复杂，则系统检测和维护断言的开 销较高，这是在使用断言时应该注意的。

（5.2）删除断言

        删除断言：

DROP ASSERTION <断言名>;

6、触发器

        触发器（Trigger）是用户定义在关系表上的一类由事件驱动的特殊过程。任何用户对表的增、删、改操作均由服务器自动激活相应的触发器。触发器可以实施更为复杂的检查和操作，具有更精细和更强大的数据控制能力。

（6.1）定义触发器

        CREATE TRIGGER 语法格式：

CREATE TRIGGRT <触发器名>

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

REFERENCING NEW | OLD ROW AS <变量>

FOR EACH { ROW | STATEMENT }

[ WITH <触发条件> ] <触发动作体>

注意：

（1）只有表的拥有者，即创建表的用户才可以在表上创建触发器，并且一个表上只能创建一定数量的触发器。触发器的具体数量由具体的关系数据库管理系统在设计时确定。

（2）触发器名
        触发器名可以包含模式名，也可以不包含模式名。同一模式下，触发器名必须是唯一的,并且触发器名和表名必须在同一模式下。

（3）表名
        触发器只能定义在基本表上，不能定义在视图上。当基本表的数据发生变化时，将激活定义在该表上相应触发事件的触发器，因此该表也称为触发器的目标表。

（4）触发事件
        触发事件可以是 INSERT、DELETE 或 UPDATE，也可以是这几个事件的组合，例如INSERT OR DELETE 等，还可以是 UPDATE OF <触发列，…>，即进一步指明修改哪些列时激活触发器。AFTER/BEFORE 是触发的时机。AFTER 表示在触发事件的操作执行之后激活触发器；BEFORE 表示在触发事件的操作执行之前激活触发器。

（5）触发器类型
        触发器按照所触发动作的间隔尺寸可以分为行级触发器 (FOR EACHROW) 和语句级触发器 (FOR EACH STATEMENT)。

（6）触发条件
        触发器被激活时，只有当触发条件为真时触发动作体才执行，否则触发动作体不执行.如果省略 WHEN 触发条件，则触发动作体在触发器激活后立即执行。

（7）触发动作体
        触发动作体既可以是一个匿名 PL/SQL 过程块，也可以是对已创建存储过程的调用。如果是行级触发器，用户可以在过程体中使用 NEW 和 OLD 引用 UPDATE/INSERT 事件之后的新值和 UPDATE/DELETE 事件之前的旧值；如果是语句级触发器，则不能在触发动作体中使用 NEW 或 OLD 进行引用。
        如果触发动作体执行失败，激活触发器的事件(即对数据库的增、删、改操作）就会终止执行，触发器的目标表或触发器可能影响的其他对象不发生任何亦化。

【例1】当对表 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

        OLDROW AS OldTuple,

        NEWROW AS NewTuple

FOR EACH ROW        // 行级触发器，即没执行一次 Grade 的更新，下面规则就执行一次

WHEN (NewTuple.Grade >= 1.1*OldTuple.Grade)                // 触发条件

             INSERT INTO SC_U(Sno,Cno,OldGrade,NewGrade)        // INSERT 操作

             VALUES (OldTuple.Sno, OldTuple.Cno, OldTuple.Grade, NewTuple.Grade)

注意：

        在本例中 REFERENCING 指出引用的变量，如果触发事件是 UPDATE 操作并且有FOREACH ROW 子句，则可以引用的变量有 OLDROW 和 NEWROW，分别表示修改之前的元组和修改之后的元组。若没有 FOR EACH ROW 子句，则可以引用的变量有 OLDTABLE 和 NEW TABLE，OLDTABLE 表示表中原来的内容，NEWTABLE 表示表中变化后的部分。

【例2】将每次对表 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

默认的触发器是语句级触发器。DELTA 是一个关系名，其模式与 Student 相同，包含的元组是 INSERT 语句增加的元组。

【例3】定义一个BEFORE 行级触发器，为教师表 Teacher 定义完整性规则 “教授的工资不得低于4000元，如果低于4000元，自动改为4000元”。

CREATE TRIGGER Insert_Or_Update_Sal        // 对教师表插入或更新时激活触发器

BEFORE INSERT OR UPDATE ON Teacher      // BEFORE 触发事件

REFERENCING NEW row AS newTuple

FOR EACH ROW                                                // 行级触发器

BEGIN

        IF (newtuple.Job='教授') AND (newtuple.Sal < 4000)

// 因为是行级触发器，可以在过程体中使用插入或更新操作后的新值

                THEN newtuple.Sal :=4000;

        END IF;

END;

因为定义的是 BEFORE 触发器，在插入和更新教师记录前就可以按照触发器的规则调整教授的工资，不必等插入后再检查再调整。

（6.2）激活触发器

        触发器的执行，是由触发事件激活的，并由数据库服务器自动执行。

        一个数据表上可能定义了多个触发器，遵循如下的执行顺序:

（1） 执行该表上的 BEFORE 触发器；

（2） 激活触发器的SQL 语句；

（3） 执行该表上的AFTER触发器。

        对于同一个表上的多个 BEFORE(AFTER) 触发器，遵循 “谁先创建谁先执行” 的原则，即按照触发器创建的时间先后顺序执行。有些关系数据库管理系统是按照触发器名称的字母排序顺序执行触发器。

（6.3）删除触发器

        删除触发器的 SQL 语法：

DROP TRIGGER <触发器名> ON <表名>;

        触发器必须是一个已经创建的触发器，并且只能由具有相应权限的用户删除。