数据库第七周实验——数据库完整性+存储过程——例题实现
文章目录
-
- 数据库的完整性
- 5.1实体完整性
- 5.2 参照完整性
- 5.3 用户定义的完整性
- 5.4 完整性约束命名子句
- 5.6 断言
- 5.7触发器
- 8.3 存储过程和函数
- 8.3.2 函数
数据库的完整性
数据的正确性:数据是符合现实世界语义，反映了当前实际状况的
数据的相容性:同一对象在不同关系表中的数据是符合逻辑的
【例如】
(1)学生的学号必须唯一
(2)性别只能是男或女
(3)本科学生年龄的取值范围为14~50的整数
(4)学生所选的课程必须是学校开设的课程，学生所在的院系必须是学校已成立的院系
数据的“完整性”和“安全性”是两个不同概念
数据的完整性:防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据
防范对象：不合语义的、不正确的数据
数据的安全性:保护数据库 防止恶意的破坏和非法的存取
防范对象：非法用户和非法操作
5.1实体完整性
5.1.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.1.2 实体完整性检查和违约处理
用PRIMARYKEY短语定义了关系的主码后，每当用户程序对基本表插入一条记录或对主码列进行更新操作时，DBMS按照实体完整性规则自动进行检查:
（1）检查主码值是否唯一，如果不唯一则拒绝插入或修改
（2）检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改
5.2 参照完整性
5.2.1 定义参照完整性
关系模型的参照完整性
(1)在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码
(2)用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 参照完整性检查和违约处理
对被参照表与参照表进行增、删、改操作时有可能破坏参照完整性，必须进行检查以保证两个表的相容性。
例如：对表SC和Student有4种可能破坏参照完整性的情况：
(1)SC表中增加一个元组，该元组的Sno属性值在表Student中找不到一个元组，其Sno属性值与之相等
（2）修改SC表中的一个元组，修改后该元组的Sno属性值在表Student中找不到一个元组，，其Sno属性值与之相等
（3）从Student表中删除一个元组，造成SC表中某些元组的Sno属性值在表Student中找不到一个元组，，其Sno属性值与之相等
（4）修改Student表中一个元组的Sno属性，造成SC表中某些元些元组的Sno属性值在表Student中找不到一个元组，，其Sno属性值与之相等
当上述的不一致发生时，系统可以采用以下策略加以处理
（1）拒绝（NO ACTION）执行
不允许该操作执行。该策略一般设置为默认策略
（2）级联（CASCADE）操作
当删除或修改被参照表（Student）的一个元组导致与参照表（SC）的不一致时，删除或修改参照表中的所有导致不一致的元组。
（3）设置为空值
当删除或修改被参照表的一个元组时造成了不一致，则将参照表中的所有造成不一致的元组的对应属性设置为空值。
例如，有下面2个关系
学生（学号，姓名，性别，专业号，年龄）
专业（专业号，专业名）
（1）假设专业表中某个元组被删除，专业号为12
（2）按照设置为空值的策略，就要把学生表中专业号=12的所有元组的专业号设置为空值
（3）对应语义：某个专业删除了，该专业的所有学生专业未定，等待重新分配专业
外码能否接受空值:见书162页
对于参照完整性，除了应该定义外码，还应该定义外码列是否允许空值
一般地，当对参照表和被参照表的操作违反了参照完整性时，系统选用默认策略，即拒绝执行。如果想让系统采用其他策略则必须在创建参照表时显式地加以说明。
【例5.4】显式说明参照完整性的违约处理示例
CREATE TABLE SC
( Sno CHAR(9) NOT NULL，
Cno CHAR(4) NOT NULL，
Grade SMALLINT,
PRIMARY KEY(Sno,Cno), /*在表级定义实体完整性，Sno、Cno都不能取空值*/
FOREIGN KEY (Sno) REFERENCES Student(Sno) /*在表级定义参照完整性*/
ON DELETE CASCADE /*当删除Student表中的元组时，级联删除SC表中相应的元组*/
ON UPDATE CASCADE, /*当更新Student表中的sno时，级联更新SC表中相应的元组*/
FOREIGN KEY (Cno) REFERENCES Course(Cno) /*在表级定义参照完整性*/
ON DELETE NO ACTION /*当删除course 表中的元组造成了与SC表不一致时拒绝删除*/
ON UPDATE CASCADE /*当更新course表中的cno时，级联更新SC表中相应的元组*/
);
5.3 用户定义的完整性
用户定义的完整性是：针对某一具体应用的数据必须满足的语义要求
5.3.1属性上的约束条件
在CREATE TABLE中定义属性的同时，可以根据应用要求定义属性上的约束条件，即属性值限制，包括：
（1）列值非空（NOT NULL）
（2）列值唯一（UNIQUE）
（3）检查列值是否满足一个条件表达式（CHECK短语）
1.不允许取空值
【例5.5】在定义SC表时，说明Sno、Cno、Grade属性不允许取空值。
CREATE TABLE SC
( Sno CHAR(9) NOT NULL, --Sno属性不允许取空值
Cno CHAR(4) NOT NULL, --Cno属性不允许取空值
Grade SMALLINT NOT NULL, --Grade属性不允许取空值
PRIMARY KEY (Sno, Cno), --在表级定义实体完整性，隐含Sno，Cno不允许取空值，在列级不允许取空值的定义可以不写
...
);
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)
);
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)
);.
【例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)
);
属性上的约束条件检查和违约处理
往表中插入元组或修改属性的值时，关系数据库管理系统检查属性上的约束条件是否被满足,如果不满足则操作被拒绝执行 。
5.3.2元组上的约束条件
在CREATE TABLE语句中时可以用CHECK短语定义元组上的约束条件，即元组级的限制。同属性值限制相比，元组级的限制可以设置不同属性之间的取值的相互约束条件。
【例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两个属性值之间的约束条件*/
性别是女性的元组都能通过该项检查，因为Ssex=‘女’成立;
当性别是男性时，要通过检查则名字一定不能以Ms.打头
元组上约束条件检查和违约处理
往表中插入元组或修改属性的值时，关系数据库管理系统检查元组上的约束条件是否被满足,如果不满足则操作被拒绝执行。
5.4 完整性约束命名子句
CONSTRAINT <完整性约束条件名><完整性约束条件>
<完整性约束条件>包括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四个列级约束。
【例5.11】建立教师表TEACHER，要求每个教师的应发工资不低于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 TEACHERFKey FOREIGN KEY (Deptno)
REFERENCES DEPT(Deptno),
CONSTRAINT C1 CHECK (Sal + Deduct >= 3000)
);
修改表中的完整性限制
使用ALTER TABLE语句修改表中的完整性限制
【例5.12】去掉例5.10 Student表中对性别的限制。
ALTER TABLE Student
DROP CONSTRAINT C4;
【例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 Student
DROP CONSTRAINT C3;
ALTER TABLE Student
ADD CONSTRAINT C3 CHECK(Sage < 40);
5.6 断言
断言创建以后，任何对断言中所涉及关系的操作都会触发关系数据库管理系统对断言的检查，任何使断言不为真值的操作都会被拒绝执行。
1. 创建断言的语句格式
CREATE ASSERTION<断言名><CHECK 子句>
每个断言都被赋予一个名字，<CHECK 子句>中的约束条件与WHERE子句的条件表达式类似。
【例5.18】限制数据库课程最多60名学生选修
CREATE ASSERTION ASSE_SC_DB_NUM
CHECK (60 >= (SELECT count(*) --此断言的谓词涉及聚集操作count的SQL语句
From Course,SC
WHERE SC.Cno=Course.Cno AND Course.Cname ='数据库')
);
每当学生选修课程时，将在SC表中插入一条元组（Sno,Cno,NULL）,ASSE_SC_DB_NUM断言被触发检查。如果选修数据库课程的人数已经超过人，CHECK子句返回值为“假”，对SC表的插入操作被拒绝
【例5.19】限制每一门课程最多60名学生选修
CREATE ASSERTION ASSE_SC_CNUM1
CHECK(60 >= ALL (SELECT count(*) /*此断言的谓词，涉及聚集操作count 和分组函数group by的SQL语句*/
FROM SC
GROUP BY cno)
);
【例5.20】限制每个学期每一门课程最多60名学生选修。
--首先修改SC表的模式，增加一个“学期（Team）”的属性
ALTER TABLE SC ADD TERM DATE; --先修改SC表，增加TERM属性，它的类型是DATE
--然后定义断言
CREATE ASSERTION ASS_SC_CNUM2
CHECK (60>=ALL(SELECT count(*)
FROM SC
GROUP BY cno,
TERM
)
);
2.删除断言的语句格式
DROP ASSERTION <断言名>;
注意：T-SQL 中没有 ASSERTION 功能。
类似的有RULE，但使用方法不同：上下文中不允许使用子查询，只允许使用标量表达式。
例如：
CREATE RULE sex_rule
AS @sex in ('男','女')
使用Constraint基本能完成功能，不建议使用RULE。
5.7触发器
任何用户对表的增、删、改操作均由服务器自动激活相应的触发器
触发器可以实施更为复杂的检查和操作，具有更精细和更强大的数据控制能力
5.7.1定义触发器
--标准SQL
CREATE TRIGGER语法格式
CREATE TRIGGER <触发器名> --每当触发事件发生时，该触发器被激活
{BEFORE | AFTER} <触发事件> ON <表名> --指明触发器激活地时间是在执行触发事件前或后
REFERENCING NEW|OLD ROW AS<变量> --PEFERENCING 指出引用的变量
FOR EACH {ROW | STATEMENT} --定义触发器的类型，指明动作体执行的频率
[WHEN <触发条件>]<触发动作体> --仅当触发条件为真时才执行触发动作体，省略此条件，则触发动作体在触发器激活后立即执行。
当特定的系统事件发生时，对规则的条件进行检查。
如果条件成立则执行规则中的动作，否则不执行该动作。
规则中的动作体可以很复杂，可以涉及其他表和其他数据库对象，通常是一段SQL存储过程
--T-SQL（来自SQLserver帮助文档）
CREATE [ OR ALTER ] TRIGGER [ schema_name . ]trigger_name
ON { table | view }
[ WITH <dml_trigger_option> [ ,...n ] ]
{ FOR | AFTER | INSTEAD OF }
{ [ INSERT ] [ , ] [ UPDATE ] [ , ] [ DELETE ] }
[ WITH APPEND ]
[ NOT FOR REPLICATION ]
AS { sql_statement [ ; ] [ ,...n ] | EXTERNAL NAME <method specifier [ ; ] > }
触发事件
（1）触发事件可以是INSERT、DELETE或UPDATE，也可以是这几个事件的组合
（2）还可以UPDATE OF<触发列，…>，即进一步指明修改哪些列时激活触发器
（3）AFTER/BEFORE是触发的时机：
AFTER表示在触发事件的操作执行之后激活触发器
BEFORE表示在触发事件的操作执行之前激活触发器
触发器类型
行级触发器（FOR EACH ROW）
语句级触发器（FOR EACH STATEMENT）
例如,在例5.11的TEACHER表上创建一个AFTER UPDATE触发器，触发事件是UPDATE语句：
UPDATE TEACHER SET Deptno=5;
假设表TEACHER有1000行
如果是语句级触发器，那么执行完该语句后，触发动作只发生1次
如果是行级触发器，触发动作将执行1000次
注意：不同的RDBMS产品触发器语法各不相同
【例5.21】当对表SC的Grade属性进行修改时，若分数增加了10%则将此次操作记录到另一个中SC_U（Sno,Cno,Oldgrade,Newgrade）中， 其中Oldgrade是修改前的分数，Newgrade是修改后的分数。
先建表SC_U
CREATE TABLE SC_U
(
Sno CHAR(9) PRIMARY KEY,
Cno CHAR(9),
OldGrade SMALLINT,
NewGrade SMALLINT
);
标准SQL
CREATE TRIGGER SC_T --SC_T是触发器的名字
AFTER UPDATE OF Grade ON SC --UPDATE OF Grade ON SC 是触发事件，AFTER是触发的时机，表示当对SC的Grade属性修改完后再触发下面的规则
REFERENCING
OLD row AS OldTuple,
NEW row AS NewTuple
FOR EACH ROW --行级触发器，即每执行一次触发器的更新，下面的规则就执行一次
WHEN (NewTuple.Grade >= 1.1*OldTuple.Grade) --触发条件，只有该条件为真时才执行
INSERT INTO SC_U(Sno,Cno,OldGrade,NewGrade) --下面的insert操作
VALUES(OldTuple.Sno,OldTuple.Cno,OldTuple.Grade,NewTuple.Grade)
T-SQL
CREATE TRIGGER SC_T
ON SC
AFTER
INSERT
AS
declare @OLD SMALLINT
declare @NEW SMALLINT
declare @SNO CHAR(10)
declare @CNO CHAR(10)
IF(UPDATE(GRADE))
BEGIN
select @OLD = Grade FROM DELETED
select @NEW = Grade FROM INSERTED
select @SNO= Sno FROM SC
select @CNO = Cno FROM SC
IF(@NEW>=1.1*@OLD)
INSERT INTO SC_U(Sno,Cno,Oldgrade,Newgrade)
VALUES (@SNO,@CNO,@OLD,@NEW)
END
验证：
UPDATE SC
SET Grade=90
WHERE Sno='201215122' AND Cno='3';
SELECT *
FROM SC;
SELECT *
FROM SC_U;
【例5.22】将每次对表Student的插入操作所增加的学生个数记录到表StudentInsertLog中。
先建表StudentInsertLog，StudentInsertLogUser
CREATE TABLE StudentInsertLog
(
Numbers INT
)
CREATE TABLE StudentInsertLogUser
(
UserName nchar(10),
DateAndTime datetime
)
标准SQL
CREATE TRIGGER Student_Count
AFTER INSERT ON Student --指明触发器激活的时间是在执行INSERT后
REFERENCING
NEW TABLE AS DELTA
FOR EACH STATEMENT --语句级触发器，即执行完INSERT语句后下面的触发动作体才执行一次
INSERT INTO StudentInsertLog (Numbers)
SELECT COUNT(*) FROM DELTA
T-SQL
CREATE TRIGGER Student_Count /*新建触发器Student_Count*/
ON Student
AFTER INSERT
AS
INSERT INTO StudentInsertLog(Numbers)
SELECT COUNT(*) FROM Student
CREATE TRIGGER Student_Time
ON Student /*新建触发器Student_Time*/
AFTER
INSERT
AS
declare @UserName nchar(10)
declare @DateTime datetime
select @UserName = system_user --登录名
select @DateTime = CONVERT(datetime,GETDATE(),120) --运行时间：2018-04-11 16:33:10
INSERT INTO StudentInsertLogUser(UserName,DateAndTime)
VALUES (@UserName,@DateTime)
验证：
INSERT
INTO Student
VALUES('201215135','赵暧','女',21,'JJ');
INSERT
INTO Student
VALUES('201215133','张敏','女',27,'EN');
SELECT * FROM Student
SELECT * FROM StudentInsertLog
SELECT * FROM StudentInsertLogUser
【例5.23】定义一个BEFORE行级触发器，为教师表Teacher定义完整性规则“教授的工资不得低于4000元，如果低于4000元，自动改为4000元”。
先建表Teacher并插入数据
CREATE TABLE Teacher
(
Tno CHAR(10),
Tname CHAR(10),
Name CHAR(10),
Salary INT
);
INSERT INTO Teacher
VALUES('2019001','刘春荣','教授',10000)
INSERT INTO Teacher
VALUES('2019002','刘春华','教授',3000)
INSERT INTO Teacher
VALUES('2019001','刘春芳','教师',10000)
INSERT INTO Teacher
VALUES('2019001','刘春艳','讲师',3800)
标准SQL
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 T_Salary
ON Teacher
FOR INSERT,UPDATE
AS
IF UPDATE(Salary)
BEGIN
declare @TNO CHAR(10)
declare @TNAME CHAR(10)
declare @name CHAR(10)
declare @SALARY INT
select @SALARY = Salary FROM INSERTED
select @TNO = Tno FROM Teacher
select @TNAME = Tname FROM Teacher
select @NAME = Name FROM Teacher
IF(@SALARY<4000 AND @NAME='教授' )
UPDATE Teacher
SET Salary=4000
WHERE Salary<4000 AND Name='教授'
END
验证：
INSERT INTO Teacher
VALUES('2019005','魏勇刚','教授',3900)
SELECT * FROM Teacher
UPDATE Teacher
SET Salary=3000
WHERE Tno='2019001';
SELECT * FROM Teacher;
5.7.2激活触发器
触发器的执行，是由触发事件激活的，并由数据库服务器自动执行！
一个数据表上可能定义了多个触发器，同一个表上的多个触发器激活是遵循如下的执行顺序:
（1） 执行该表上的BEFORE触发器;
（2） 激活触发器的SQL语句;
（3） 执行该表上的AFTER触发器。
对于同一个表上的多个BEFORE(AFTER)触发器，遵循“谁先创建谁先执行”的原则，即按照触发器创建的时间顺序执行。有些关系数据库管理系统是按照触发器名称的字母顺序执行触发器。
5.7.3 删除触发器
DROP TRIGGER <触发器名> ON <表名>;
8.3 存储过程和函数
8.3.1 存储过程
存储过程：由过程化SQL语句，经编译和优化后存储在数据库服务器中，可以被反复调用，运行速度较快。
优点：
（1）运行效率高
（2）降低了客户机和服务器之间的通信量
（3）方便实施企业规则
存储过程的用户接口
（1）创建存储过程
CREATE OR REPLACE PROCEDURE 过程名([参数1,参数2,...])
AS <过程化SQL块>；
【例8.9】利用存储过程来实现下面的应用：从账户1转指定数额的款项到账户2中。假设账户关系表为Account(Accountnum,Total)。
标准SQL
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;
END IF;
UPDATE Account SET total=total-amount WHERE accountnum=outAccount; --修改转出账户余额，减去转出额 */
UPDATE Account SET total=total + amount WHERE accountnum=inAccount; --修改转入账户余额，增加转入额
COMMIT; --提交转账事务
END;
T-SQL
1.建立新表Account，并写入两个用户。
DROP TABLE IF EXISTS Account;
CREATE TABLE Account
(
accountnum CHAR(3), -- 账户编号
total FLOAT -- 账户余额
);
--写入数据
INSERT INTO Account VALUES(101,50);
INSERT INTO Account VALUES(102,100);
--查询
SELECT * FROM Accoun
2. 建立存储过程
IF (exists (select * from sys.objects where name = 'Proc_TRANSFER')) --如果之前存在此存储过程，则删除
DROP PROCEDURE Proc_TRANSFER
GO --连接
CREATE PROCEDURE Proc_TRANSFER --定义存储过程TRANSFER
@inAccount INT, --转入账户
@outAccount INT, --转出账户
@amount FLOAT --转账额度
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
3.执行存储过程
（1）正常情况
EXEC Proc_TRANSFER
@inAccount = 101, --转入账户
@outAccount = 102, --转出账户
@amount = 50 --转出金额
SELECT * FROM Account
(2)余额不足
EXEC Proc_TRANSFER
@inAccount = 101, --转入账户
@outAccount = 102, --转出账户
@amount = 300 --转出金额
SELECT * FROM Account
（3）账户不存在
EXEC Proc_TRANSFER
@inAccount = 100, --转入账户
@outAccount = 101, --转出账户
@amount = 50 --转出金额
SELECT * FROM Account
（2）执行存储过程
CALL/PERFORM PROCEDURE 过程名([参数1,参数2,...]);
使用CALL或者PERFORM等方式激活存储过程的执行
数据库服务器支持在过程体中调用其他存储过程
【例8.10】从账户01003815868转10000元到01003813828账户中。
标准SQL
CALL PROCEDURE TRANSFER(01003813828,01003815868,10000);
T-SQL
INSERT INTO Account VALUES(01003815868,10000)
INSERT INTO Account VALUES(01003813828,20000)
SELECT * FROM Account
EXEC Proc_TRANSFER
@inAccount = 01003813828, --转入账户
@outAccount = 01003815868, --转出账户
@amount = 10000 --转出金额
SELECT * FROM Account
（3）修改存储过程
ALTER PROCEDURE 过程名1 RENAME TO 过程名2;
（4）删除存储过程
DROP PROCEDURE 过程名()；
函数和存储过程的异同
同：都是持久性存储模块
异：函数必须指定返回的类型
8.3.2 函数
1. 函数的定义语句格式
CREATE OR REPLACE FUNCTION 函数名 ([参数1,参数2,…]) RETURNS <类型>
AS <过程化SQL块>;
2. 函数的执行语句格式
CALL/SELECT 函数名 ([参数1,参数2,…]);
3. 修改函数
--重命名一个自定义函数
ALTER FUNCTION 过程名1 RENAME TO 过程名2;
--重新编译一个函数
ALTER FUNCTION 函数名 COMPILE;
不知经历了多少次的绝望，终于完成了。。。
大概理解了，不过还需要熟悉的过程，需要更多的练习