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

数据库完整性

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

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

实体完整性
关系模型的实体完整性
CREATE TABLE中用PRIMARY KEY定义
[例5.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)
); 

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

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

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

参照完整性
关系模型的参照完整性定义
◾️在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码
◾️用REFERENCES短语指明这些外码参照哪些表的主码
例如，关系SC中（Sno，Cno）是主码。Sno，Cno分别参照Student表的主码和Course表的主码
[例5.3]定义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)    /*在表级定义参照完整性*/
);

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

[例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表中相应的元组*/
);

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

1. 属性上约束条件的定义
   CREATE TABLE时定义属性上的约束条件
   ▫️列值非空（NOT NULL）
   ▫️列值唯一（UNIQUE）
   ▫️检查列值是否满足一个条件表达式（CHECK）

（1）不允许取空值
[例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）列值唯一
[例5.6]建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码

CREATE TABLE DEPT
(Deptno NUMERIC(2),
 Dname CHAR(9)  UNIQUE NOT NULL,<