持数据库数据的完整性，用触发器实现以上操作，详见6412归还书刊
读者归还书刊，核实书刊的相关信息后，需删除表loa
中的相应元祖，并在表history中插入一个新元组，同时更新表book，copy，reader。由于从表loa
中删除元祖有两种情况，一种是读者归还书刊，一种是借阅书刊的挂失，两种情况所作操作有所不同，所以该部分未用触发器实现，具体sql如下：
sql