图书管理系统的逻辑模型建立