2005级信管专业2班数据库应用系统课程设计课程论文
（注:由于部分触发器间功能相识及篇幅原因部分存储过程的验证不在此给出，还有部分存储过程同检验触发器时一同验证）
5.3 触发器验证
（1）触发器tri_discount功能的验证（当根改房态信息即入住时计算此顾客的余额及积分），插入
房态信息用lsqInto存储过程
下面依此为为插入前顾客G00001的积分情况及其预订的房间R101的状态
执行存储过程时，执行后的结果如下
（2）触发器tri_grade1功能的验证（插入新的娱乐消费记录时，从新计算积分和余额），插入消费
41
2005级信管专业2班数据库应用系统课程设计课程论文
娱乐信息使用光存储过程lsqAddAmusement (注：为方便验证使用同1同个顾客的信息) 执行前：
顾客信息同上从下往上的2个图 执行存储过程前的消费记录如下：
执行语句时及执行后的结果为：
（3）触发器tri_delete功能的验证（删除某一房态信息时 ，把该房的顾客的预付款和金额项划为
0），使用存储过程lsqDeleteRoom删房 执行存储过程前房态及顾客信息见（1）中图。 执行存储过程时及后的现象和结果如下：
42
2005级信管专业2班数据库应用系统课程设计课程论文
（注：由于篇幅原因仅给出3个触发器的验证）
43
