實驗四+數(shù)據(jù)庫設(shè)計

圖書館數(shù)據(jù)庫設(shè)計實驗?zāi)康?1、理解并運用數(shù)據(jù)庫設(shè)計的常見步驟來設(shè)計滿足給定需求的關(guān)系數(shù)據(jù)模型； 2、結(jié)合有關(guān)的關(guān)系數(shù)據(jù)理論〔如標(biāo)準(zhǔn)化理論〕對模型進(jìn)行優(yōu)化處理； 3、鍛煉學(xué)生的團(tuán)隊意識。實驗要求每班分成5個小組〔5~7人/組〕，每組交一份實驗報告，并在實驗報告中列出該組的成員及其分工。實驗內(nèi)容從用戶需求〔詳見所給材料〕出發(fā)，按照數(shù)據(jù)庫設(shè)計步驟〔詳見教材第七章〕，分別完成如下內(nèi)容：1、數(shù)據(jù)字典〔不要求畫數(shù)據(jù)流圖〕 給出主要的數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)項的數(shù)據(jù)字典，具體參考教材P207。2、概念設(shè)計：ER模型 給出最終的全局ER圖，要求：與需求一致；適當(dāng)給出中間過程；模型力求精簡，消除不必要的冗余〔詳見教材P222〕，并給出理由或說明。3、邏輯設(shè)計：關(guān)系模型把ER模型轉(zhuǎn)換成各個關(guān)系模式〔參照教材小節(jié)〕；進(jìn)行適當(dāng)?shù)貥?biāo)準(zhǔn)化〔要求各關(guān)系模式至少滿足3NF要求〕；設(shè)計相關(guān)完整性約束。4、物理設(shè)計：根據(jù)業(yè)務(wù)需求，適當(dāng)?shù)靥砑铀饕舶ň鄞厮饕头蔷鄞厮饕?；設(shè)計相關(guān)用戶視圖〔即外模式〕?！惨弧承枨蠓治觯瑘D書和雜志的借閱與歸還圖書的購進(jìn)新書上架與舊書移除圖書的預(yù)約當(dāng)圖書已經(jīng)借出或沒有所借的數(shù)時，當(dāng)預(yù)約的圖書歸還時或新購進(jìn)時通知用戶。用戶：學(xué)生權(quán)限借閱，預(yù)約和查詢和圖書管理員權(quán)限管理圖書的外借，圖書上架，舊書移去，新書購進(jìn)等。系統(tǒng)能進(jìn)行各種操作如，更新，增加，刪除關(guān)于圖書信息還有用戶和管理員的增刪改等操作。圖書管理系統(tǒng)的運行環(huán)境windows操作系統(tǒng)上系統(tǒng)的功能易于擴(kuò)展根據(jù)以上需求設(shè)計數(shù)據(jù)字典如下1，數(shù)據(jù)項數(shù)據(jù)項名數(shù)據(jù)類型長度別名取值范圍Sno字符型10學(xué)號Sname字符型10姓名Ssex字符型2性別男、女Sgrade字符型10年級Sdept字符型10學(xué)院Smajor字符型10專業(yè)Sclass字符型10班級Bno字符型10條碼號Bname字符型10書名Bahthor字符型10作者Bpress字符型10出版社Bprice浮點型〔單精度〕10定價Pno字符型10館藏地編號1—10Bstate字符型10圖書狀態(tài)Bbstate字符型10借閱狀態(tài)Cno字符型10卡號Bno字符型10條碼號Bbno字符型10借書代號Bbtime日期型10借書時間〔應(yīng)還時間—借書時間〕小于一個月Brtime日期型10應(yīng)還時間Pno字符型10館藏地編號1—10Pname字符型10館藏地名稱Cno字符型10卡號Rtime日期型10時間Rstate字符型10欠書狀態(tài)Rfine浮點型〔單精度〕10超時罰款Cno字符型10卡號Cstate字符型10卡狀態(tài)Sno字符型10學(xué)號Qname字符型10書名Qahthor字符型10作者Qpress字符型10出版社Qprice浮點型〔單精度〕4定價Qfrequence整型4搜索頻率2.，數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu)名含義說明組成學(xué)生信息記錄學(xué)生的根本信息學(xué)號、姓名、性別、年級、學(xué)院、專業(yè)、班級圖書信息記錄圖書的根本信息條碼號、書名、作者、出版社、定價、館藏地編號、圖書狀態(tài)、借閱狀態(tài)借閱信息記錄學(xué)生借書信息卡號、條碼號、借書代號、借書時間、應(yīng)還時間館藏地信息圖書的分布情況館藏地編號、館藏地名稱學(xué)生日常事務(wù)信息反映學(xué)生借書狀態(tài)，如是否允許借書等卡號、時間、欠書狀態(tài)、超時罰款借書卡信息學(xué)生借書卡根本信息，放映學(xué)生借書卡狀態(tài)卡號、卡狀態(tài)、學(xué)號〔二〕概念設(shè)計識別圖書管理系統(tǒng)中的實體，識別實體的屬性，識別實體的關(guān)鍵字，識別實體間的聯(lián)系，利用實體關(guān)系圖〔E—R圖〕來描述圖書管理相關(guān)實體、屬性及關(guān)系，從而到達(dá)為圖書管理系統(tǒng)建立良好的數(shù)據(jù)模型的目的。圖12狀態(tài)查詢、借書、還書、注銷業(yè)務(wù)E-R圖圖13新書入庫E-R圖圖14圖書搜索E-R圖E——R全局圖〔三〕邏輯結(jié)構(gòu)設(shè)計將E-R圖轉(zhuǎn)換為關(guān)系模型，即將實體、實體的屬性和實體之間的聯(lián)系轉(zhuǎn)化為關(guān)系模式實體定義學(xué)生：{學(xué)號，姓名，性別，年級，學(xué)院，專業(yè)，班級}圖書：{條碼號，書名，作者，出版社，定價，館藏地編號，圖書狀態(tài)，借閱狀態(tài)}館藏地：{館藏地編號，館藏地名稱}借書卡：{卡號，卡狀態(tài)，學(xué)號}缺書：{書名，作者，出版社，定價，搜索頻率}學(xué)生日常事務(wù)信息：{卡號，時間，欠書狀態(tài)，超時罰款}1實體Student數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Sno字符型10學(xué)號否主鍵Sname字符型10姓名Ssex字符型2性別Sgrade字符型10年級Sdept字符型10學(xué)院Smajor字符型10專業(yè)Sclass字符型10班級Book數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Bno字符型10條碼號否主鍵Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否Pno字符型10館藏地編號否外鍵Bstate字符型10圖書狀態(tài)否Bbstate字符型10借閱狀態(tài)否Jieyue數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Cno字符型10卡號否外鍵主鍵Bno字符型10條碼號否外鍵Bbno字符型10借書代號否Bbtime日期型10借書時間否Brtime日期型10應(yīng)還時間否Btime日期型10還書時間注：〔應(yīng)還時間—借書時間〕等于一個月Place數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Pno字符型10館藏地編號否主鍵Pname字符型10館藏地名稱否Rountin數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Cno字符型10卡號否外鍵主鍵Rtime日期型10時間否Rstate字符型10欠書狀態(tài)否Rfine浮點型〔單精度〕10超時罰款否Card數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Cno字符型10卡號否主鍵Cstate字符型10卡狀態(tài)否Sno字符型10學(xué)號否外鍵LinkBook數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空主外鍵Qname字符型10書名否主鍵Qahthor字符型10作者否Qpress字符型10出版社否Qprice浮點型〔單精度〕4定價Qfrequence整型4搜索頻率2，視圖設(shè)計為學(xué)生進(jìn)行圖書查詢建立視圖：V-BookSelect數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否Pno字符型10館藏地編號否Bstate字符型10圖書狀態(tài)否Bbstate字符型10借閱狀態(tài)否建立學(xué)生的累計借書視圖：V-AllBorrow數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空Bno字符型10條碼號否Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否Bbno字符型10借書代號否Bbtime日期型10借書時間否Btime日期型10還書時間建立缺書和圖書喪失視圖，為購書時提供信息：V-BuyBook1數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空Qname字符型10書名否Qahthor字符型10作者否Qpress字符型10出版社否Qprice浮點型〔單精度〕4定價V-BuyBook2數(shù)據(jù)項名數(shù)據(jù)類型長度別名是否為空Bname字符型10書名否Bahthor字符型10作者否Bpress字符型10出版社否Bprice浮點型〔單精度〕4定價否〔四〕物理設(shè)計為上一階段的關(guān)系模型選取一個最適合的應(yīng)用要求的物理結(jié)構(gòu)，即確定存取方法和存儲結(jié)構(gòu)。1索引存取方法為了提高檢查圖書借閱情況的速度，對借閱信息中的借書代號建立聚簇索引；為了提高檢查圖書位置的速度，對館藏地編號建立聚簇索引。2，功能模塊分析〔1〕辦卡、掛失、注銷學(xué)生在圖書館中必須持卡辦理一切業(yè)務(wù)，新生必須首先辦理借書卡，當(dāng)借書卡喪失時需辦理掛失業(yè)務(wù)，畢業(yè)生或中途退學(xué)者必須辦理注銷卡業(yè)務(wù)，以防止借書卡的流失。查詢、借書、環(huán)書、注銷〔2〕學(xué)生在圖書館中持卡可以進(jìn)行以下業(yè)務(wù)：查詢自己借書狀態(tài)，借書，還書，當(dāng)所借書籍喪失時需辦理注銷業(yè)務(wù)?！?〕圖書查詢、缺書登記學(xué)生需要查詢自己所需書籍時，假設(shè)館中有那么直接借書；假設(shè)館中沒有，可以進(jìn)行缺書登記〔五〕數(shù)據(jù)庫實施根據(jù)關(guān)系模式建立根本表、視圖和索引，并完成存取過程的設(shè)計。存取過程編號存取過程名作用1狀態(tài)查詢查詢學(xué)生狀態(tài)2借書完成借書過程3還書完成還書過程4注銷完成喪失圖書注銷過程5辦卡辦理新借書卡6掛失完成借書卡掛失過程7用戶注銷離校學(xué)生辦理注銷過程8圖書查詢需要圖書查詢9缺書登記查詢查看圖書館中沒有書籍登記情況10追加缺書對館中沒有圖書進(jìn)行登記11修改缺書對已有缺書進(jìn)行修改12累計借書查詢查看個人累計借書情況創(chuàng)立根本表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))創(chuàng)立視圖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