圖書館數據庫設計實驗目的 1、理解并運用數據庫設計的常見步驟來設計滿足給定需求的關系數據模型； 2、結合有關的關系數據理論〔如標準化理論〕對模型進行優化處理； 3、鍛煉學生的團隊意識。實驗要求每班分成5個小組〔5~7人/組〕，每組交一份實驗報告，并在實驗報告中列出該組的成員及其分工。實驗內容從用戶需求〔詳見所給材料〕出發，按照數據庫設計步驟〔詳見教材第七章〕，分別完成如下內容：1、數據字典〔不要求畫數據流圖〕 給出主要的數據結構、數據項的數據字典，具體參考教材P207。2、概念設計：ER模型 給出最終的全局ER圖，要求：與需求一致；適當給出中間過程；模型力求精簡，消除不必要的冗余〔詳見教材P222〕，并給出理由或說明。3、邏輯設計：關系模型把ER模型轉換成各個關系模式〔參照教材小節〕；進行適當地標準化〔要求各關系模式至少滿足3NF要求〕；設計相關完整性約束。4、物理設計：根據業務需求，適當地添加索引〔包括聚簇索引和非聚簇索引〕；設計相關用戶視圖〔即外模式〕。〔一〕需求分析，圖書和雜志的借閱與歸還圖書的購進新書上架與舊書移除圖書的預約當圖書已經借出或沒有所借的數時，當預約的圖書歸還時或新購進時通知用戶。用戶：學生權限借閱，預約和查詢和圖書管理員權限管理圖書的外借，圖書上架，舊書移去，新書購進等。系統能進行各種操作如，更新，增加，刪除關于圖書信息還有用戶和管理員的增刪改等操作。圖書管理系統的運行環境windows操作系統上系統的功能易于擴展根據以上需求設計數據字典如下1，數據項數據項名數據類型長度別名取值范圍Sno字符型10學號Sname字符型10姓名Ssex字符型2性別男、女Sgrade字符型10年級Sdept字符型10學院Smajor字符型10專業Sclass字符型10班級Bno字符型10條碼號Bname字符型10書名Bahthor字符型10作者Bpress字符型10出版社Bprice浮點型〔單精度〕10定價Pno字符型10館藏地編號1—10Bstate字符型10圖書狀態Bbstate字符型10借閱狀態Cno字符型10卡號Bno字符型10條碼號Bbno字符型10借書代號Bbtime日期型10借書時間〔應還時間—借書時間〕小于一個月Brtime日期型10應還時間Pno字符型10館藏地編號1—10Pname字符型10館藏地名稱Cno字符型10卡號Rtime日期型10時間Rstate字符型10欠書狀態Rfine浮點型〔單精度〕10超時罰款Cno字符型10卡號Cstate字符型10卡狀態Sno字符型10學號Qname字符型10書名Qahthor字符型10作者Qpress字符型10出版社Qprice浮點型〔單精度〕4定價Qfrequence整型4搜索頻率2.，數據結構數據結構名含義說明組成學生信息記錄學生的根本信息學號、姓名、性別、年級、學院、專業、班級圖書信息記錄圖書的根本信息條碼號、書名、作者、出版社、定價、館藏地編號、圖書狀態、借閱狀態借閱信息記錄學生借書信息卡號、條碼號、借書代號、借書時間、應還時間館藏地信息圖書的分布情況館藏地編號、館藏地名稱學生日常事務信息反映學生借書狀態，如是否允許借書等卡號、時間、欠書狀態、超時罰款借書卡信息學生借書卡根本信息，放映學生借書卡狀態卡號、卡狀態、學號〔二〕概念設計識別圖書管理系統中的實體，識別實體的屬性，識別實體的關鍵字，識別實體間的聯系，利用實體關系圖〔E—R圖〕來描述圖書管理相關實體、屬性及關系，從而到達為圖書管理系統建立良好的數據模型的目的。圖12狀態查詢、借書、還書、注銷業務E-R圖圖13新書入庫E-R圖圖14圖書搜索E-R圖E——R全局圖〔三〕邏輯結構設計將E-R圖轉換為關系模型，即將實體、實體的屬性和實體之間的聯系轉化為關系模式實體定義學生：{學號，姓名，性別，年級，學院，專業，班級}圖書：{條碼號，書名，作者，出版社，定價，館藏地編號，圖書狀態，借閱狀態}館藏地：{館藏地編號，館藏地名稱}借書卡：{卡號，卡狀態，學號}缺書：{書名，作者，出版社，定價，搜索頻率}學生日常事務信息：{卡號，時間，欠書狀態，超時罰款}1實體Student數據項名數據類型長度別名是否為空主外鍵Sno字符型10學號否主鍵Sname字符型10姓名Ssex字符型2性別Sgrade字符型10年級Sdept字符型10學院Smajor字符型10專業Sclass字符型10班級Book數據項名數據類型長度別名是否為空主外鍵Bno字符型10條碼號否主鍵Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否Pno字符型10館藏地編號否外鍵Bstate字符型10圖書狀態否Bbstate字符型10借閱狀態否Jieyue數據項名數據類型長度別名是否為空主外鍵Cno字符型10卡號否外鍵主鍵Bno字符型10條碼號否外鍵Bbno字符型10借書代號否Bbtime日期型10借書時間否Brtime日期型10應還時間否Btime日期型10還書時間注：〔應還時間—借書時間〕等于一個月Place數據項名數據類型長度別名是否為空主外鍵Pno字符型10館藏地編號否主鍵Pname字符型10館藏地名稱否Rountin數據項名數據類型長度別名是否為空主外鍵Cno字符型10卡號否外鍵主鍵Rtime日期型10時間否Rstate字符型10欠書狀態否Rfine浮點型〔單精度〕10超時罰款否Card數據項名數據類型長度別名是否為空主外鍵Cno字符型10卡號否主鍵Cstate字符型10卡狀態否Sno字符型10學號否外鍵LinkBook數據項名數據類型長度別名是否為空主外鍵Qname字符型10書名否主鍵Qahthor字符型10作者否Qpress字符型10出版社否Qprice浮點型〔單精度〕4定價Qfrequence整型4搜索頻率2，視圖設計為學生進行圖書查詢建立視圖：V-BookSelect數據項名數據類型長度別名是否為空Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否Pno字符型10館藏地編號否Bstate字符型10圖書狀態否Bbstate字符型10借閱狀態否建立學生的累計借書視圖：V-AllBorrow數據項名數據類型長度別名是否為空Bno字符型10條碼號否Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否Bbno字符型10借書代號否Bbtime日期型10借書時間否Btime日期型10還書時間建立缺書和圖書喪失視圖，為購書時提供信息：V-BuyBook1數據項名數據類型長度別名是否為空Qname字符型10書名否Qahthor字符型10作者否Qpress字符型10出版社否Qprice浮點型〔單精度〕4定價V-BuyBook2數據項名數據類型長度別名是否為空Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否〔四〕物理設計為上一階段的關系模型選取一個最適合的應用要求的物理結構，即確定存取方法和存儲結構。1索引存取方法為了提高檢查圖書借閱情況的速度，對借閱信息中的借書代號建立聚簇索引；為了提高檢查圖書位置的速度，對館藏地編號建立聚簇索引。2，功能模塊分析〔1〕辦卡、掛失、注銷學生在圖書館中必須持卡辦理一切業務，新生必須首先辦理借書卡，當借書卡喪失時需辦理掛失業務，畢業生或中途退學者必須辦理注銷卡業務，以防止借書卡的流失。查詢、借書、環書、注銷〔2〕學生在圖書館中持卡可以進行以下業務：查詢自己借書狀態，借書，還書，當所借書籍喪失時需辦理注銷業務。〔3〕圖書查詢、缺書登記學生需要查詢自己所需書籍時，假設館中有那么直接借書；假設館中沒有，可以進行缺書登記〔五〕數據庫實施根據關系模式建立根本表、視圖和索引，并完成存取過程的設計。存取過程編號存取過程名作用1狀態查詢查詢學生狀態2借書完成借書過程3還書完成還書過程4注銷完成喪失圖書注銷過程5辦卡辦理新借書卡6掛失完成借書卡掛失過程7用戶注銷離校學生辦理注銷過程8圖書查詢需要圖書查詢9缺書登記查詢查看圖書館中沒有書籍登記情況10追加缺書對館中沒有圖書進行登記11修改缺書對已有缺書進行修改12累計借書查詢查看個人累計借書情況創立根本表createtableStudent(SnoChar(10)NOTNULLunique,SnameChar(10),SsexChar(2),SgradeChar(10),SdeptChar(10),SmajorChar(10),SclassChar(10),primarykey(Sno))createtablePlace(Pnochar(10)notnullunique,Pnamechar(10)notnull,primarykey(Pno))createtableBook(Bnochar(10)notnullPRIMARYKEYNONCLUSTERED,Bnamechar(10)notnull,Bahthorchar(10)notnull,Bpresschar(10)notnull,Bpricenumeric(9)notnull,Pnochar(10)notnull,Bstatechar(10)notnull,Bbstatechar(10)notnull,foreignkey(Pno)referencesPlace(Pno))createindex書名onBook(Bname)createtableCard(Cnochar(10)notnullunique,Cstatechar(10)notnull,Snochar(10)notnull,primarykey(Cno),foreignkey(Sno)referencesStudent(Sno))createtableJieyue(Cnochar(10)notnull,Bnochar(10)notnull,Bbnochar(10)notnull,Bbtimedate(10)notnull,Brtimedate(10)notnull,Btimedate(10),primarykey(Cno,Bno,Bbno,Bbtime),foreignkey(Cno)referencesCard(Cno),foreignkey(Bno)referencesBook(Bno))createtableLinkBook(Qnamechar(10)notnull,Qahthorchar(10)notnull,Qpresschar(10)notnull,Qpricefloat(4),Qfrequencefloat(4),primarykey(Qname,Qahthor,Qpress))createtableRountin(Cnochar(10)notnull,Rtimedatetime,Rstateintnotnull,Rfinenumeric(9),primarykey(Cno,Rtime),foreignkey(Cno)referencesCard(Cno))創立視圖createviewV_BookSelect(Bname,Bahthor,Bpress,Bprice,Pno,Bstate,Bbstate)asselectBname,Bahthor,Bpress,Bprice,Pno,Bstate,BbstatefromBookwhereBstate='在館'createviewV_BuyBook1(Qname,Qahthor,Qpress,Qprice)asselectQname,Qahthor,Qpress,QpricefromLinkBookwhereQfrequence>10createviewV_BuyBook2(Bname,Bahthor,Bpress,Bprice)asselectBname,Bahthor,Bpress,BpricefromBookwhereBstate='喪失'createviewV_Fine(Cno,Sno,Rtime,Rfine)asselectCard.Cno,Sno,Rtime,RfinefromCard,RountincreateviewV_SBB1(Cno,Bno,Bname,Bahthor,Bpress,Bprice,Bstate,Bbstate,Bbno,Bbtime,Brtime,Btime,Rstate,Rfine)asselectJieyue.Cno,Book.Bno,Bname,Bahthor,Bpress,Bprice,Bstate,Bbstate,Bbno,Bbtime,Brtime,Btime,Rstate,RfinefromJieyue,Rountin,BookcreateviewV_SBB2(Cno,Bno,Bname,Bborrowno,Bahthor,Bpress,Bprice,Pno,Bbno,Bstate,Bbstate,Bbtime,Brtime,Btime,Rtime,Rstate,Rfine)asselectJieyue.Cno,Book.Bno,Bname,Bbno,Bahthor,Bpress,Bprice,Pno,Bbno,Bstate,Bbstate,Bbtime,Brtime,Btime,Rtime,Rstate,RfinefromJieyue,Rountin,BookwhereBtimeisnullcreateviewV_SBB3(Cno,Bno,Bname,Bahthor,Bpress,Bprice,Pno,Bstate,Bbstate,Brtime,Rstate,Rfine)asselectJieyue.Cno,Book.Bno,Bname,Bahthor,Bpress,Bprice,Pno,Bstate,Bbstate,Brtime,Rstate,RfinefromJiey