数据库作业13：SQL练习8 - CHECK / CONSTRAINT / TRIGGER / PROCEDURE/ FUNCTION

数据库的完整性：
数据的正确性：数据是符合现实世界语义，反映了当前实际状况的
数据的相容性：同一对象在不同关系表中的数据是符合逻辑的
【例如】学生的学号必须唯一、性别只能是男或女、本科学生年龄的取值范围为14~50的整数、学生所选的课程必须是学校开设的课程，学生所在的院系必须是学校已成立的院系。

数据的“完整性”和“安全性”是两个不同概念：
数据的完整性：防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据。防范对象：不合语义的、不正确的数据。
数据的安全性：保护数据库 防止恶意的破坏和非法的存取。防范对象：非法用户和非法操作。

5.1 实体完整性

5.1.1 定义 PRIMARY KEY
关系模型的实体完整性在CREATE TABLE中用PRIMARY KEY定义。
[例5.1] 将Student表中的Sno属性定义为码

CREATE TABLE Student
  (  Sno  CHAR(9)  PRIMARY KEY,   --在列级定义主码
     Sname  CHAR(20) NOT NULL,     
     Ssex  CHAR(2),
     Sage  SMALLINT,
     Sdept  CHAR(20)
  );

CREATE TABLE Student
    (  Sno  CHAR(9),  
       Sname  CHAR(20) NOT NULL,
       Ssex  CHAR(2),
       Sage  SMALLINT,
       Sdept  CHAR(20),
       PRIMARY KEY (Sno)    --在表级定义主码
    ); 

[例5.2] 将SC表中的Sno，Cno属性组定义为码

CREATE TABLE SC
     (  Sno  CHAR(9)  NOT NULL, 
        Cno  CHAR(4)  NOT NULL,  
        Grade  SMALLINT,
        PRIMARY KEY (Sno,Cno)    /*只能在表级定义主码*/
     );

5.1.2 实体完整性检查和违约处理
插入或更新操作时，DBMS按照实体完整性规则自动进行检查。
检查主码值是否唯一，如果不唯一则拒绝插入或修改；
检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改。

5.2 参照完整性

5.2.1 定义参照完整性
关系模型的参照完整性定义：在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码；用REFERENCES短语指明这些外码参照哪些表的主码。

[例5.3]定义SC中的参照完整性（关系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)    /*在表级定义参照完整性*/
);

5.2.2 参照完整性检查和违约处理
例如，有下面2个关系：
学生（学号，姓名，性别，专业号，年龄）
专业（专业号，专业名）
假设专业表中某个元组被删除，专业号为12：
按照设置为空值的策略，就要把学生表中专业号=12的所有元组的专业号设置为空值。对应语义：某个专业删除了，该专业的所有学生专业未定，等待重新分配专业。
[例5.4] 显式说明参照完整性的违约处理示例

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)	                    
     ON DELETE NO ACTION 	 /*当删除course表中的元组造成了与SC表不一致时拒绝删除*/
     ON UPDATE CASCADE       /*当更新course表中的cno时，级联更新SC表中相应的元组*/
);

5.3 用户定义的完整性

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

5.3.1 属性上的约束条件

1、 定义 （CREATE TABLE 时）
（1）不允许取空值 （NOT NULL）
[例5.5] 在定义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不允许取空值，则在列级不允许取空值的定义 可以不写 */
);

（2）列值唯一 （UNIQUE）
[例5.6]建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码

CREATE TABLE DEPT
(   Deptno NUMERIC(2),
    Dname CHAR(9) UNIQUE NOT NULL,/*要求Dname列值唯一, 并且不能取空值*/
    Location  CHAR(10),
    PRIMARY KEY (Deptno)
);

（3）用CHECK短语指定列值应该满足的条件
[例5.7] Student表的Ssex只允许取“男”或“女”。

CREATE TABLE Student
( Sno  CHAR(9) PRIMARY KEY,
  Sname  CHAR(8)