【2019-2020春学期】数据库作业13：SQL练习8 - CHECK / CONSTRAINT / TRIGGER / PROCEDURE/ FUNCTION

数据库完整性

数据库完整性是指数据的正确性和相容性。
数据的正确性：符合现实世界语义
数据的相容性：同一对象在不同关系中的数据是符合逻辑的
数据的完整性：防范对象：不合语义的、不正确的数据
数据的安全性：防范对象：非法用户和非法操作

实体完整性
CREATE TABLE中用PRIMAY KEY来定义为主码
检查主码值是否唯一 检查主码的各个属性是否为空
例5.1
将Student表中的Sno属性定义为码。

CREATE TABLE Student
(
Sno CHAR(9) PRIMARY KEY,
Sname CHAR(20) NOT NULL,
Ssex SMALLINT,
Sdept CHAR(20)
);

或者最后定义主码：

CREATE TABLE Student
(
Sno CHAR(9),
Sname CHAR(20) NOT NULL,
Ssex SMALLINT,
Sdept CHAR(20),
 PRIMARY KEY(Sno)
);

例5.2
将SC表中的Sno,Cno属性定义为码。

CREATE TABLE SC
(
Sno CHAR(9) NOT NULL,
Cno CHAR(9) NOT NULL,
Grade SMALLINT,
PRIMARY KEY(Sno,Cno)
);

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

参照完整性
CREATE TABLE中用FOREIGN KEY短语定义为外码，还应该定义外码列是否允许为空值。
FOREIGN KEY(Sno) REFERENCES Student(Sno)在表级定义参照完整性
主码不能设为空值，外码可以
例5.3
定义SC中的参照完整性

CREATE TABLE SC
(
Sno CHAR(9) NOT NULL,
Cno CHAR(9) NOT NULL,
Grade SMALLINT,
PRIMARY KEY(Sno,Cno)
FOREIGN KEY(Sno) REFERENCES Student(Sno),
FOREIGN KEY(CNO) REFERENCES Course(Cno)
);

处理策略：
1、拒绝执行（默认策略）
2、级联操作
3、设置为空值
例5.4
显示说明参照完整性的违约处理实例。

CREATE TABLE SC
(
Sno CHAR(9),
Cno CHAR(9),
Grade SMALLINT,
PRIMARY KEY(Sno,Cno)
FOREIGN KEY(Sno) REFERENCES Student(Sno)
         ON DELETE CASCADE
		 ON UPDATE CASCADE,
FOREIGN KEY(CNO) REFERENCES Course(Cno)
        ON DELETE NO ACTION
		ON UPDATE CASCADE
);

显示说明 ON DELETE CASCADE级联删除
ON DELETE NO ACTION 拒绝删除
ON UPDATE CASCADE 级联更新

用户定义的完整性
针对某一具体应用的数据必须满足的语义要求
属性上的：NOT NULL(列值非空)、UNIQUE（列值唯一）、CHECK（检查列值是否满足一个条件）
例：CHECK (Ssex IN (‘男’,’女’))

1、不允许取空值
例5.5
在定义SC表时，说明Sno,Cno,Grade属性不允许为空值。

CREATE TABLE SC
(
Sno CHAR(9) NOT NULL,
Cno CHAR(9) NOT NULL,
Grade SMALLINT NOT NULL,
PRIMARY KEY(Sno,Cno)
FOREIGN KEY(Sno) REFERENCES Student(Sno),
FOREIGN KEY(CNO) REFERENCES Course(Cno)
);

2、列值唯一
例5.6
建立部门表DEPT,要求部门名称Dname列值唯一，部门编码Deptno列为主码。

CREATE TABLE DEPT
(
Deptno NUMERIC(2),
Dname CHAR(9) UNIQUE NOT NULL,
Dlocation CHAR(10),
PRIMARY KEY(Deptno)
);

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

CREATE TABLE Stuent
(
Sno CHAR(9) PRIMARY KEY,
Sname CHAR(8) NOT NULL,
Sname CHAR(2) CHECK(Ssex IN('男','女')),
Sage SMALLINT,
Sdept CHAR(2