實(shí)驗(yàn)四+數(shù)據(jù)庫(kù)設(shè)計(jì)

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