图书管理系统假定约束_数据库图书管理系统