第五章——数据库完整性

数据库的完整性

• 数据的正确性：是指数据是符合现实世界语义，反映了当前实际状况的
• 数据的相容性：是指数据库同一对象在不同关系表中的数据是符合逻辑的

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

1.提供定义完整性约束条件的机制

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

        2.提供完整性检查的方法

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

         3.违约处理

数据库管理系统若发现用户的操作违背了完整性约束条件，就采取一定的动作

Ø拒绝（NO ACTION）执行该操作

Ø级连（CASCADE）执行其他操作 

5.1  实体完整性

5.1.1 实体完整性定义

关系模型的实体完整性：CREATE  TABLE中用PRIMARY KEY定义

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

• 定义为列级约束条件
• 定义为表级约束条件

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

• 定义为表级约束条件

5.1.2 实体完整性检查和违约处理

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

• 检查主码值是否唯一，如果不唯一则拒绝插入或修改
• 检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改

5.2  参照完整性

5.2.1 参照完整性定义

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

• 在CREATE  TABLE中用FOREIGN KEY短语定义哪些列为外码
• 用REFERENCES短语指明这些外码参照哪些表的主码

5.2.2 参照完整性检查和违约处理

5.3  用户定义的完整性

用户定义的完整性是：针对某一具体应用的数据必须满足的语义要求

5.3.1 属性上的约束条件

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

• 列值非空（NOT NULL）
• 列值唯一（UNIQUE）
• 检查列值是否满足一个条件表达式（CHECK）

    [例 1]  Student表的Ssex只允许取“男”或“女”。

     CREATE TABLE Student

          ( Sno  CHAR(9) PRIMARY KEY,

            Sname CHAR(8) NOT NULL,                    

            Ssex  CHAR(2)  CHECK （Ssex IN （‘男’,’女’）），          

                                                     /*性别属性Ssex只允许取'男'或'女' */

          );

[例 2]  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)

           );

注意：如果在表级定义实体完整性，隐含了Sno，Cno不允许取空值，则在列级不允许取空值的定义可以不写 

5.3.2 元组上的约束条件

v在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制

v同属性值限制相比，元组级的限制可以设置不同属性之间的取值的相互约束条件

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

    CREATE TABLE Student

         (  Sno    CHAR(9),

            Sname  CHAR(8) NOT NULL，

            PRIMARY KEY (Sno),

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

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

          );

Ø性别是女性的元组都能通过该项检查，因为Ssex=‘女’成立;

Ø当性别是男性时，要通过检查则名字一定不能以Ms.打头

5.4  完整性约束命名子句

1.完整性约束命名子句

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

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

[例4]建立学生登记表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四个列级约束。

2. 修改表中的完整性限制

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

   [例5]  修改表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.6  断言

vSQL中，可以使用 CREATE ASSERTION语句，通过声明性断言来指定更具一般性的约束。

v可以定义涉及多个表的或聚集操作的比较复杂的完整性约束。

v断言创建以后，任何对断言中所涉及的关系的操作都会触发关系数据库管理系统对断言的检查，任何使断言不为真值的操作都会被拒绝执行

1. 创建断言的语句格式

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

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

[例6] 限制数据库课程最多60名学生选修

  CREATE ASSERTION ASSE_SC_DB_NUM

  CHECK (60 >= (select count(*)                             /*此断言的谓词涉及聚集操作count的SQL语句*/

                            From Course,SC

                            Where SC.Cno=Course.Cno and   Course.Cname ='数据库')

       );

 

  [例7]限制每一门课程最多60名学生选修

  CREATE ASSERTION ASSE_SC_CNUM1

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

                                    FROM  SC

                                    GROUP by cno)

            )；                /*此断言的谓词，涉及聚集操作count 和分组函数group by  的SQL语句*/

 

 [例8]限制每个学期每一门课程最多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)

     );

2. 删除断言的语句格式为

• DROP ASSERTION <断言名>;
• 如果断言很复杂，则系统在检测和维护断言的开销较高，这是在使用断言时应该注意的

5.7  触发器

触发器（Trigger）是用户定义在关系表上的一类由事件驱动的特殊过程

• 触发器保存在数据库服务器中
• 任何用户对表的增、删、改操作均由服务器自动激活相应的触发器
• 触发器可以实施更为复杂的检查和操作，具有更精细和更强大的数据控制能力

5.7.1 定义触发器

CREATE TRIGGER语法格式

     CREATE TRIGGER <触发器名> 

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

       REFERENCING NEW|OLD ROW AS<变量>

       FOR EACH  {ROW | STATEMENT}

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

触发器又叫做事件-条件-动作（event-condition-action）规则。当特定的系统事件发生时，对规则的条件进行检查，如果条件成立则执行规则中的动作，否则不执行该动作。规则中的动作体可以很复杂，通常是一段SQL存储过程。

定义触发器的语法说明

（1）表的拥有者才可以在表上创建触发器

（2）触发器名

l触发器名可以包含模式名，也可以不包含模式名

l同一模式下，触发器名必须是唯一的

l触发器名和表名必须在同一模式下

（3）表名

l触发器只能定义在基本表上，不能定义在视图上

l当基本表的数据发生变化时，将激活定义在该表上相应触发事件的触发器

（4）触发事件

l触发事件可以是INSERT、DELETE或UPDATE，也可以是这几个事件的组合

l还可以UPDATE OF<触发列，...>，即进一步指明修改哪些列时激活触发器

lAFTER/BEFORE是触发的时机

ØAFTER表示在触发事件的操作执行之后激活触发器

ØBEFORE表示在触发事件的操作执行之前激活触发器

（5）触发器类型

Ø行级触发器（FOR EACH ROW）

Ø语句级触发器（FOR EACH STATEMENT）

例如,在例5.11的TEACHER表上创建一个AFTER UPDATE触发器，触发事件是UPDATE语句：

            UPDATE TEACHER SET Deptno=5;                     // 假设表TEACHER有1000行 

l 如果是语句级触发器，那么执行完该语句后，触发动作只发生一次

l如果是行级触发器，触发动作将执行1000次

（6）触发条件

l触发器被激活时，只有当触发条件为真时触发动作体才执行;否则触发动作体不执行。

l如果省略WHEN触发条件，则触发动作体在触发器激活后立即执行

（7）触发动作体

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

l如果是行级触发器，用户都可以在过程体中使用NEW和OLD引用事件之后的新值和事件之前的旧值

l如果是语句级触发器，则不能在触发动作体中使用NEW或OLD进行引用

l如果触发动作体执行失败，激活触发器的事件就会终止执行，触发器的目标表或触发器可能影响的其他对象不发生任何变化

5.7.2 激活触发器

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

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

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

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

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

5.7.3 删除触发器

v删除触发器的SQL语法：

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

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