数据库作业13：【第五章】SQL练习8 - CHECK / CONSTRAINT / TRIGGER / PROCEDURE/ FUNCTION
数据库的完整性包括数据的正确性和数据的相容性。正确性：数据符合现实世界语义，反映了当前实际状况。相容性：同一对象在不同关系表中的数据是符合逻辑的。
数据的完整性：防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据。防范对象：不合语义的，不正确的数据。
数据的安全性：保护数据库，防止恶意的破坏和非法的存取。防范对象：非法用户和非法操作。
5.1 实体完整性
关系模型的实体完整性在CREATE TABLE中用PRIMARY KEY定义。
单属性构成的码：定义为列级约束条件或定义为表级约束条件。
多个属性构成的码：只能定义为表级约束条件。
实体完整性检查：
1.检查主码值是否唯一，如果不唯一就拒绝插入或修改。
2.检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改。
【例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.2 参照完整性
关系模型的参照完整性在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码，用REFERENCES短语指明这些外码参照哪些表的主码。
可能破坏参照完整性的情况及违约处理↓
【例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.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表中相应的元组*/
);·执行语句前的SC表
在学生表删除学号为201215121的学生
DELETE
FROM Student
WHERE Sno='201215121';再查询SC表，发现也没有了
·在学生表把201215122学生的学号更新为201215129
UPDATE Student
SET Sno='201215129'
WHERE Sno='201215122';查看SC表，发现已经更新了
··删除课程表中课程号为2的课程
DELETE
FROM Course
WHERE Cno='2';发现拒绝删除，因为SC表有课程号为2的学生的选课记录。
·把课程表课程号是2的课程改成课程号为10
UPDATE Course
SET Cno='10'
WHERE Cno='2';再看SC表，发现课程号也更新了
5.3 用户定义的完整性
针对某一具体应用的数据必须满足的语义要求。
5.3.1 属性上的约束条件
CREATE TABLE时定义属性上的约束条件
包括：
1.列值非空（NOT NULL）
2.列值唯一（UNIQUE）
3.检查列值是否满足一个条件表达式（CHECK短语）
（1）不允许取空值
属性上约束条件的检查和违约处理
插入元组或修改属性的值时，RDBMS检查属性上的约束条件是否被满足，如果不满足就拒绝执行。
【例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),
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表中相应的元组*/
);
（2）列值唯一
【例5.6】建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码。
CREATE TABLE DEPT
(Deptno NUMERIC(2),
Dname CHAR(9) UNIQUE NOT NULL, /*要求Dname列值唯一，且不能取空值*/
Location CHAR(10),
PRIMARY KEY(Deptno)
);
INSERT
INTO DEPT
VALUES ('1','设计部','河北保定' );再插入相同部门名称的，拒绝执行
主码唯一且不为空
（3）用CHECK短语指定列值应满足的条件
【例5.7】Student表的Ssex只允许取“男”或“女”。
CREATE TABLE Student
(Sno CHAR(9) PRIMARY KEY, /*在列级定义主码*/
Sname CHAR(8) NOT NULL, /*Sname属性不允许取空值*/
Ssex CHAR(2) CHECK(Ssex IN ('男','女')), /*性别属性Ssex只允许取‘男’或‘女’*/
Sage SMALLINT,
Sdept CHAR(20),
);
插入性别为M的学生
INSERT
INTO Student
VALUES('201215131','小宁','M',17,'CS');拒绝执行
INSERT
INTO Student
VALUES('201215131','小宁','女',17,'CS');性别为女，执行成功
INSERT
INTO Student
VALUES('201215132','小影','男',19,'MA');性别为男，执行成功
【例5.8】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)
);
insert
into SC
values ('201215120','1',91);
insert
into SC
values ('201215120','3',0);
insert
into SC
values ('201215120','4',100);插入成功
5.3.2 元组上的约束条件
1.元组上约束条件的定义
在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制。
2.元组上的约束条件检查和违约处理
插入元组或修改属性的值时，RDBMS检查元组上的约束条件是否满足，如果不满足就拒绝执行。
【例5.9】当学生的性别是男时，其名字不能以Ms.打头。
CREATE TABLE Student
(Sno CHAR(9) ,
Sname CHAR(8) NOT NULL,
Ssex CHAR(2),
Sage SMALLINT,
Sdept CHAR(20)
PRIMARY KEY(Sno),
CHECK (Ssex='女' OR Sname NOT LIKE 'Ms%') /*定义了元组中Sname和Ssex两个属性值之间的约束条件*/
);插入性别为男，名字为“Ms刘”的学生时，拒绝执行。
插入性别为女，名字为“Ms赵”的学生时，成功执行。
INSERT
INTO Student
VALUES('201215121','Ms赵','女',20,'CS');
5.4 完整性约束命名子句
1.完整性约束命名子句
CONSTRANT <完整性约束条件名> <完整性约束条件><完整性约束条件>包括NOT NULL,UNIQUE,PRIMARY KEY,FOREIGN KEY,CHECK短语等。
【例5.10】建立学生登记表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四个列级约束。
学号主码不能重复。
学号不在90000~99999内会拒绝执行。
年龄不能大于等于30岁
性别不是男或女就拒绝执行。
但是姓名为空时也会成功执行
INSERT
INTO Student
VALUES(90000,'Ms赵',20,'女');
INSERT
INTO Student
VALUES(99799,'',20,'女');
INSERT
INTO Student
VALUES(99999,'',20,'女');
已经约束姓名不能为空，但为空也成功执行，这是为什么呢？？？
发现约束那里，没有显示约束C2.
【例5.11】建立教师表TEACEHR，要求每个教师的应发工资不低于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 TEACHERKey FOREIGN KEY(Deptno)
REFERENCES DEPT(Deptno),
CONSTRAINT C1 CHECK (Sal+Deduct>=3000)
);numeric[ (p[ ,s] )]
固定精度和小数位数
INSERT
INTO TEACHER
VALUES(0013,'张三','讲师',6000.96,100,1);
2500.96减100小于3000，拒绝执行。
2.修改表中的完整性限制
使用ALTER TABLE语句修改表中的完整性限制。
【例5.12】去掉例5.10Student表中对性别的限制
ALTER TABLE Student
DROP CONSTRAINT C4;
INSERT
INTO Student
VALUES(99639,'赵',29,'W');
【例5.13】修改表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 语句与 CHECK 约束"C1"冲突。该冲突发生于数据库"Classmate"，表"dbo.Student", column 'Sno'。*/
ALTER TABLE Student
DROP CONSTRAINT C3;
ALTER TABLE Student
ADD CONSTRAINT C3 CHECK(Sage<40);5.7 触发器
5.7.1 定义触发器
CREATE TRIGGER <触发器名>
{BEFORE|AFTER} <触发事件> ON <表名>
REFERENCING NEW|OLD ROW AS <变量>
FOR EACH {ROW|STATEMENT}
[WHEN <触发条件>]<触发动作体>（1)触发事件
触发事件可以是INSERT、DELETE或UPDATE可以是这几个事件的组合
还可以UPDATE OF<触发列，…>，即进一步指明修改哪些列时激活触发器
AFTER/BEFORE是触发的时机
AFTER表示在触发事件的操作执行之后激活触发器
BEFORE表示在触发事件的操作执行之前激活触发器
（2）触发器类型
行级触发器（FOR EACH ROW）：表有几行，触发动作执行几次。
语句级触发器（FOR EACH STATEMENT）：执行完该语句后，触发动作只发生1次。
【例5.21】当对表SC的Grade属性进行修改时，若分数增加了10%，则将此次操作记录到另一个表SC_U(Sno、Cno、Oldgrade、Newgrade)中，其中 Oldgrade是修改前的分数，Newgrade是修改后的分数。
先建好SC_U表
CREATE TABLE SC_U
(Sno CHAR(9),
Cno CHAR(5),
OldGrade SMALLINT,
NewGrade SMALLINT
);CREATE TRIGGER SC_T /*SC_T触发器名字*/
AFTER UPDATE OF Grade ON SC /*UPDATE OF Grade ON SC是触发事件*/
REFERENCING
OLDROW AS OldTupe,
NEWROW AS NewTupe
FOR EACH ROW /*行级触发器，每执行一次成绩的更新，下面的规则就执行一次*/
WHEN (NewTupe.Grade>=1.1*OldTupe.Grade) /*触发条件，条件为真时执行下面的插入操作*/
INSERT INTO SC_U(Sno,Cno,OldGrade,NewGrade)
VALUES(OldTupe.Sno,OldTupe.Cno,OldTupe.Grade,NewTupe.Grade)上边这个是标准SQL，T-SQL如下↓
CREATE TRIGGER SC_T
ON SC
FOR UPDATE
AS DECLARE @OLD SMALLINT
DECLARE @NEW SMALLINT
DECLARE @Sno CHAR(9)
DECLARE @Cno CHAR(5)
IF(UPDATE(Grade))
BEGIN
SELECT @OLD =Grade FROM DELETED
SELECT @NEW =Grade FROM INSERTED
SELECT @Sno =Sno FROM DELETED
SELECT @Cno =Cno FROM DELETED
IF(@NEW>=1.1*@OLD)
INSERT INTO SC_U(Sno,Cno,OldGrade,NewGrade)
VALUES(@Sno,@Cno,@OLD,@NEW)
END
UPDATE SC
SET Grade=80
WHERE Sno='201215120' AND Cno='3';
SELECT * FROM SC;
SELECT * FROM SC_U;
【例5.22】将每次对表Student的插入操作所增加的学生个数记录到表Student-InsertLog中。
CREATE TABLE StudentInsertLog
(Numbers INT
); CREATE TRIGGER Student_Count
AFTER INSERT ON Student
REFERENCING
NEW TABLE AS DELTA
FOR EACH STATEMENT
INSERT INTO StudentInsertLog (Numbers)
SELECT COUNT(*) FROM DELTAT-SQL如下↓
CREATE TRIGGER Student_Count
ON Student
FOR INSERT
AS INSERT INTO StudentInsertLog(Numbers)
SELECT COUNT(*) FROM StudentINSERT
INTO Student
VALUES(90000,'张三',19,'男');
INSERT
INTO Student
VALUES(99999,'李四',20,'女');
SELECT * FROM Student;
SELECT * FROM StudentInsertLog;
【例5.23】定义一个BEFORE行级触发器，为教师表Teacher定义完整性规则“教授的工资不得低于4000元，如果低于4000元，自动改为4000元”。
CREATE TRIGGER Insert_Or_Update_Sal
BEFORE INSERT OR UPDATE ON Teacher
/*触发事件是插入或更新操作*/
FOR EACH ROW /*行级触发器*/
BEGIN /*定义触发动作体，是PL/SQL过程块*/
IF (new.Job='教授') AND (new.Sal < 4000)
THEN new.Sal :=4000;
END IF;
END; T-SQL如下↓
CREATE TRIGGER Insert_Or_Update_Sal
ON Teacher
AFTER INSERT,UPDATE
AS
BEGIN
DECLARE @Eno NUMERIC(4)
DECLARE @Ename CHAR(10)
DECLARE @Job CHAR(8)
DECLARE @Sal SMALLINT
SELECT @Sal=Sal FROM INSERTED
SELECT @Eno=Eno FROM Teacher
SELECT @Ename=Ename FROM Teacher
SELECT @Job=Job FROM Teacher
IF(@Sal<4000 AND @Job='教授')
UPDATE Teacher
SET Sal=4000
WHERE Sal<4000 AND Job='教授'
ENDINSERT
INTO Teacher
VALUES('2020','张三','教授',3500);
SELECT * FROM Teacher;
8.3.1 存储过程
存储过程：由过程化SQL语句，经编译和优化后存储在数据库服务器中，可以被反复调用，运行速度较快。
（1）创建存储过程
CREATE OR REPLACE PROCEDURE 过程名([参数1,参数2,...])
AS <过程化SQL块>;【例8.8】利用存储过程实现下面的应用：从账户1转指定数额的款项到账户2中。
假设账户关系表为Account
CREATE OR REPLACE PROCEDURE TRANSFER(inAccount INT,outAccount INT,amount FLOAT)
/*定义存储过程TRANSFER，参数为转入账户、转出账户、转账额度*/
AS DECLARE /*定义变量*/
totalDepositOut Float;
totalDepositIn Float;
inAccountnum INT;
BEGIN /*检查转出账户的余额 */
SELECT Total INTO totalDepositOut FROM Accout
WHERE accountnum=outAccount;
IF totalDepositOut IS NULL THEN
/*如果转出账户不存在或账户中没有存款*/
ROLLBACK; /*回滚事务*/
RETURN
END IF;
IF totalDepositOut< amount THEN /*如果账户存款不足*/
ROLLBACK; /*回滚事务*/
RETURN
END IF
SELECT Accountnum INTO inAccountnum FROM Account
WHERE accountnum=inAccount;
IF inAccount IS NULL THEN /*如果转入账户不存在*/
ROLLBACK; /*回滚事务*/
RETURN;
ENDIF;
UPDATE Account SET total=total-amount
WHERE accountnum=outAccount; /* 修改转出账户余额，减去转出额 */
UPDATE Account SET total=total + amount
WHERE accountnum=inAccount; /* 修改转入账户余额，增加转入额 */
COMMIT; /* 提交转账事务 */
END;（2）执行存储过程
CALL/PERFORM PROCEDURE 过程名([参数1,参数2,...]);【例8.9】从账户01003815868转10000元到01003813828账户中。
CALL PROCEDURE TRANSFER(01003815868,01003813828,10000);TSQL如下↓
先建立新表Account,并写入两个用户。
CREATE TABLE Account
(accountnum CHAR(12),
total FLOAT
);
INSERT INTO Account VALUES(01003815868,15000);
INSERT INTO Account VALUES(01003813828,2000);
SELECT * FROM Account;
建立存储过程
IF (exists (select * from sys.objects where name = 'Proc_TRANSFER'))
DROP PROCEDURE Proc_TRANSFER
GO
CREATE PROCEDURE Proc_TRANSFER
@inAccount INT,@outAccount INT,@amount FLOAT
/*定义存储过程TRANSFER，参数为转入账户、转出账户、转账额度*/
AS
BEGIN TRANSACTION TRANS
DECLARE /*定义变量*/
@totalDepositOut Float,
@totalDepositIn Float,
@inAccountnum INT;
/*检查转出账户的余额 */
SELECT @totalDepositOut = total FROM Account WHERE accountnum = @outAccount;
/*如果转出账户不存在或账户中没有存款*/
IF @totalDepositOut IS NULL
BEGIN
PRINT '转出账户不存在或账户中没有存款'
ROLLBACK TRANSACTION TRANS; /*回滚事务*/
RETURN;
END;
/*如果账户存款不足*/
IF @totalDepositOut < @amount
BEGIN
PRINT '账户存款不足'
ROLLBACK TRANSACTION TRANS; /*回滚事务*/
RETURN;
END
/*检查转入账户的状态 */
SELECT @inAccountnum = accountnum FROM Account WHERE accountnum = @inAccount;
/*如果转入账户不存在*/
IF @inAccountnum IS NULL
BEGIN
PRINT '转入账户不存在'
ROLLBACK TRANSACTION TRANS; /*回滚事务*/
RETURN;
END;
/*如果条件都没有异常，开始转账。*/
BEGIN
UPDATE Account SET total = total - @amount WHERE accountnum = @outAccount; /* 修改转出账户余额，减去转出额 */
UPDATE Account SET total = total + @amount WHERE accountnum = @inAccount; /* 修改转入账户余额，增加转入额 */
PRINT '转账完成，请取走银行卡'
COMMIT TRANSACTION TRANS; /* 提交转账事务 */
RETURN;
END执行存储过程
EXEC Proc_TRANSFER
@inAccount = 01003815868, --转入账户
@outAccount = 01003813828, --转出账户
@amount = 10000 --转出金额执行结果：账户存款不足（入账户有15000，出账户有2000）
EXEC Proc_TRANSFER
@inAccount = 01003813828, --转入账户
@outAccount = 01003815868, --转出账户
@amount = 10000 --转出金额这回转出账户有15000，可以转出10000.
发现系统是先检查转出账户的钱是否比转出金额多，然后才检查转入账户是否存在。
转出账户只有5000需要转出10000而且转出账户不存在的情况下，执行结果显示账户存款不足
感觉存储过程这都有点忘了，触发器那也是就有点印象，通过写例题巩固了一下。总体上感觉就是触发器和存储过程相比较有点难，代码也挺多的，还需要多看看。