數據庫校園一卡通管理系統數據庫校園一卡通管理系統數據庫校園一卡通管理系統題目：校園一卡通管理系統大綱：校園一卡通將管理、生活、花銷、身份認證等多種功能集中于一體，提高了學生校園生活的效率。該校園一卡通管理系統包含三個子系統：校園卡平常管理、花銷管理、身份認證。每個子系統又包含多個功能模塊，并供應了對各功能模塊的盤問和更新功能。該系統開發由系統需求解析階段、看法設計階段、邏輯設計階段、物理設計階段、數據庫推行階段等階段組成。重點字：一卡通平常管理

花銷管理

身份認證?1系統需求解析階段需求解析目標針對山東大學學平生常生活和學習管理情況的實地檢查加自己的親身體驗，認識了目前應用關于山東大學的校園一卡通管理系統的應用情況，并充分領悟到該模式相關于人工管理模式的簡單、高效。基于以上情況，目的是自行設計一個模擬山東大學校園一卡通的管理系統，在設計過程中，加深對校園一卡通的認識，增強對數據庫知識的理解及SQL語言的實際應用，訓練設計開發數據庫的能力。需求解析任務（1）辦理對象：該系統主要辦理的對象有：學生基本信息、校園卡基本信息、校園卡平常管理基本信息、餐廳花銷基本信息、商場基本信息、身份認證基本信息、圖書管理基本信息、校車管理基本信息等。各個對象包含信息以下所示（詳細的數據見于數據字典）：1．學生基本信息(Student)：包含學生身份證號、學生學號、學生姓名、學生性別、學生出生年份、學生所在院系、學生的專業、學生所在班級等方面的信息，可以方便學生信息的盤問和更新；2．“校園卡”基本信息(Card)：包含校園卡的卡號、持卡人學生學號、持卡學生姓名、持卡學生性別、校園卡的狀態、校園卡內的余額；3．校園卡平常管理基本信息(CardManage)：包含四個數據結構辦卡信息、掛失約息、解掛信息、充值信息,每個數據結構中的數據項見數據字典；4．餐廳基本信息(cateen)：包含餐廳編號、餐廳名稱、餐廳負責人、餐廳地址，詳細的數據項見數據字典；5．商場基本信息(supmanage)：包含商場編號、商場名稱、商場負責人、商場所點,詳細的數據項見數據字典；6．校車管理基本信息（Busmanage）:包含校車編號、校車種類、校車司機，詳細數據項見數據字典；7．花銷基本信息（Busmanage）:包含花銷編號、花銷地址、卡號、花銷時間、花銷金額，詳細數據項見數據字典；8.身份認證基本信息(Identity)：包含四個數據構DormInf(學生宿舍樓基本信息),DormPress(學生歸宿刷卡信息),LibInf（圖書館基本信息），LibPress（借書基本信息），詳細的數據項見數據字典；（2）辦理功能要求系統主要完成一下幾個功能：1．學生基本信息盤問與更新；2．校園卡平常勢務管理情況基本信息盤問與更新；3．校園卡在某個時辰所處狀態的盤問；4．餐廳基本信息的盤問和更正；5．商場基本信息的盤問和更正；6．學生花銷額（包含餐廳，商場，校車花銷）基本信息的盤問；學生進出宿舍次數盤問；3）安全性和完滿性要求描述學生基本信息、校園卡平常勢務管理基本信息、“校園卡”基本信息、餐廳花銷基本信息、商場花銷基本信息、校車管理基本信息、身份認證基本信息中數據項可否為以及一些用戶自定義完滿性（吻合實質要求）。

null，需求解析階段成就1）校園卡一卡通管理系統業務流程圖校園卡平常管理業務流程圖：充值提交花銷校園卡中心申請辦卡學生辦理掛失提交個人信息審批辦理解掛辦理業務合格商場花銷業務流程圖：學優選商品生花銷取消宿舍身份認證管理業務流程圖：回宿舍學成功刷卡生報警校車管理業務流程圖：

累計本次花銷總價格商場銷累計本售員次花銷夠本次花銷刷卡不夠本次花銷卡內信息刷卡儲藏刷卡人信息否獲守信息可否為該宿是舍樓學生學生花銷取消（3）數據流程圖頂層數據流程圖：身份確認申請花銷信息央求學生個人信息事務申請學生事務辦理花銷反響身份確認反響

上車累計本次花銷夠本次花銷刷卡不夠本次花銷卡內信息D0審批記錄P0學生個人信息校園卡中校園卡事務管事務申請心理系統審批信息圖頂層數據流程圖第1層數據流程圖：P0身份認證反響身份認證申請花銷反響花銷信息央求學生個人信息學惹禍務申請

P1P2P3平常勢花銷事身份認務辦理務辦理證辦理事務辦理學生個人信息事務申請校園卡審批信息中心第1層數據流程圖第2層數據流程圖：從平常勢務辦理角度出發：P1充值記錄充值申請審批花銷充值申請充值管理辦卡申請辦卡申請個人資料辦卡管理審批個人資料學生辦卡記錄掛失申請掛失申請個人資料掛失管理審批掛失記錄解掛申請個人資料解掛申請解掛管理審批解掛記錄第2層數據流圖（從平常管理角度）第2層數據流程圖：從校園卡花銷管理角度出發：P2飯菜名目飯菜價格花銷央求P2

餐廳買飯學生

購物名目花銷反響花銷管理物品價格選擇校車D2花銷記錄付費

商場購物乘坐校車第2層數據流圖（從花銷角度）第2層數據流程圖：從校園卡的身份認證管理角度出發:P3借書刷卡身份確認圖書館身份認證央求P3學生

門禁刷卡身份確認身份認證身份確認宿舍D3身份認證記錄第2層數據流圖（從身份認證角度）（4）數據字典（a）數據項：系統涉及的數據項有50項表數據項列表數據項數據項名稱簡述種類及寬取值范圍編號度DI-1Sid學生身份證號char(18)DI-2Sno學生學號char(8)DI-3Sname學生姓名char(10)DI-4Sage學生性別char(4)"男"、"女"DI-5Sbirth學生出生年char(10)DI-6Sdept學生所在院系char(20)DI-7Sspecial學生所在專業char(20)DI-8Sclass學生所在班級char(20)DI-9Saddr學生生源地char(6)DI-10Cardno校園卡卡號char(8)DI-11Cardstate校園卡狀態char(6)"可用"、"不可以用"DI-12Cardmoney校園卡內余額FloatDI-13Cardstyle校園卡種類char(10)“學生卡”、“教師卡”DI-14Cardtime辦理時間char(10)DI-15CCno校園卡中心編號char(10)Di-16CCaddr校園卡中心地址char(20)DI-17jbr校園卡平常勢務負責人姓名char(10)DI-18Gsrq掛失所在時間DatetimeDI-19Gsno掛失次數編號Int數據項種類及寬編號數據項名稱簡述取值范圍度DI-20Jgrq解掛的時間DatetimeDI-21Czrq充值的時間DatetimeDI-22Czje充值金額FloatDI-23Czno充值次數編號IntDI-24Supno商場編號IntDI-25Supname商場名稱char(40)DI-26Supmanage商場負責人姓名char(10)DI-27Supaddr商場所在校區char(10)DI-28Dinno餐廳編號char(8)DI-29Dinname餐廳名稱char(10)DI-30Dinmanage餐廳負責人姓名char(10)DI-31Dinaddr餐廳所在校區char(10)DI-32Busno校車編號IntDI-33Busstyle校車種類char(20)DI-34Busdriver校車司機名char(10)DI-35Pressno花銷次數編號IntDI-36Pplace花銷所在地址char(10)DI-37Pno所在地址刷卡機編號char(4)DI-38Pmoney本次刷卡金額FloatDI-39Ptime本次刷卡所在時間DatetimeDI-40Dormregion宿舍樓所在校區char(10)DI-41Dormno宿舍樓編號char(10)DI-42Dormstyle宿舍種類Char(10)DI-43Backtime回宿舍時間DatetimeDI-44Backno歸宿編號IntDI-45Libno圖書館編號char(8)DI-46Libname圖書館名字char(40)DI-47Libregion圖書館所在校區char(40)DI-48Brno借書編號char(10)DI-49Bookno圖書編號char(10)DI-50Booklist已借數量Int（b）數據結構：表數據結構列表數據結構編號數據結構名稱數據結構別名數據結構含義數據項組成Sid、Sno、Sname、Ssex、Sbirth、Sdept、DS-1學生信息Student記錄學生的信息Sspecial、Sclass、SaddrCardno、Sno、Sid、Gsrq、DS-2掛失約息LosInf記錄掛失約息jbrCzno、Cardno、Sno、DS-3充值信息FillInf記錄充值相關信息Czlx、Czje、jbr數據結構編號數據結構名稱數據結構別名數據結構含義數據項組成DS-4校園卡信息Card記錄校園卡信息Cardno、Sno、Sid、Cardstates、CardmoneyDS-5學生餐廳信息DinInf記錄餐廳信息Dinno、Dinname、Dinmanage、DinaddrDS-6商場信息SupInf記錄商場信息Supno、Supname、Supmanage、SupaddrDS-7校車信息BusInf記錄校車信息Busno、Busstyle、BusdriverPressno、Pplace、Pno、DS-8花銷刷卡信息PressInf花銷刷卡記錄Cardno、Pmoney、ptime、Pmanage、PaddrDS-9宿舍樓信息DormInf記錄宿舍樓信息Dormno、Dormstle、DormregionDS-10歸宿刷卡信息DormPress記錄歸宿刷卡信息Sno、Sid、Dormno、BacktimeDS-11圖書館信息LibInf記錄圖書館信息Libno、Libname、LibregionBrno、Bookno、DS-12借書信息LibPress記錄借書信息Cardstate、Borlist、Libno2看法設計階段序言看法設計階段主若是將需求解析階段獲取的用戶需求抽象為信息結構(看法模型)的過程,它是整個數據庫設計的重點。看法模型設計（1）各部分E-R圖。（a）學生校園卡關系學生1擁有1校園卡分E-R圖1（b）校園卡平常管理關系m服務1校園卡中心學生分E-R圖2（c）校園卡花銷關系校園卡校園卡校園卡

mmm

餐廳刷卡商場刷卡乘車刷卡

nn1餐廳刷卡機含有餐廳分E-R圖3n商場刷卡機n1商場含有分E-R圖4111校車刷卡機含有校車分E-R圖5（d）校園卡身份認證m1圖書館刷卡機校園卡借書刷卡分E-R圖6m1門禁系統校園卡進出刷卡刷卡機分E-R圖72）各分E－R圖中重點實體和聯系的屬性以下所示：學生：（學號，姓名，性別，出壽辰期，身份證號，學院，專業，班級，生源地）校園卡：（校園卡卡號，持卡人學號，持卡人姓名，持卡人身份證號，持卡人性別，卡內余額，校園卡可用性）服務：（本次服務編號，校園卡卡號，服務種類，服務時間，服務中心地址）校園卡中心：（服務中心編號，服務中心地址，服務中心負責人）商場：（商場編號，商場名稱，商場負責人，商場所在校區）商場刷卡：（本次花銷編號，商場編號，校園卡卡號，花銷金額，花銷時間）餐廳：（餐廳編號，餐廳名稱，餐廳負責人，餐廳所在校區）餐廳刷卡：（本次花銷編號，餐廳編號，校園卡卡號，花銷金額，花銷時間）校車：（校車編號，校車種類，校車司機）乘車刷卡：（本次花銷編號，校車編號，校園卡卡號，花銷金額，花銷時間）圖書館：（圖書館編號，圖書館名稱，圖書館所在校區）借書：（借書編號，校園卡可用性，已借圖書，圖書館編號）宿舍樓：（宿舍樓編號，宿舍樓學生種類，宿舍樓所在校區）進出刷卡：（歸宿編號，校園卡卡號，學生學號，宿舍樓編號，刷卡時間）（注：由于屬性很多，全都寫到E-R圖中顯得很亂，此處將各屬性列出。）（3）將E-R圖合并，依照要求除掉屬性矛盾、命名矛盾、結構矛盾等，獲取初步的E-R圖，在此基礎上除掉冗余獲取以下圖的基本E-R圖：校園卡1m學生服務中心1宿舍樓1商場刷n卡機m含有1商場

歸宿擁有借書檢測1刷卡mm校園卡mm商場刷卡餐廳刷卡m乘車刷卡1校車刷卡機1校車1含有基本E-R圖

1圖書館n餐廳刷卡機m含有1餐廳3邏輯設計階段邏輯設計的任務和目標系統邏輯設計的任務是將看法設計階段設計好的基本E-R圖變換為采納DBMS產品所支持的數據模型相吻合的邏輯結構。詳細內容包含數據組織（將E-R圖變換成詳細的關系模型、模型優化、數據庫模式定義、用戶子模式(視圖)設計）、數據辦理（畫出系統功能模塊圖）兩大任務。數據組織3.2.1將E-R圖變換為關系模型由以上解析，可以將學生實體、校園卡實體、校園卡中心實體、餐廳實體、商場實體、校車實體、宿舍樓實體、圖書館實體分別轉變成單獨的關系模型。為了方便同學盤問餐廳、商場和校車的花銷情況，特將花銷性刷卡聯系轉變成獨立關系模式；為了認識同學的歸宿信息，將身份認證型的進出刷卡轉變成獨立關系模式；為了認識同學借閱圖書的情況，將身份認證中的借書刷卡轉變成獨立的關系模式；同時，考慮同學要向校園卡中充值，在學生校園卡聯系中抽取充值關系轉變成獨立關系模式；考慮同學可能會掛失等，從學生校園卡聯系中抽取掛失關系轉變成獨立關系模式。詳細的關系模式轉變結果以下：學生：student(Sno、Sid、Sname、Ssex、Sbirth、Sdept、Sspecial、Sclass、Saddr)校園卡：Card(Cardno、Sno、Sid、Cardstyle、Cardstates、Cardmoney、Cardtime)校園卡中心：CardCenter(CCno、CCaddr、jbr)充值：FillInf(Czno、Cardno、Sno、Czje、Czrq、jbr)掛失：LosInf(Gsno、Cardno、Sno、Gsrq、jbr)餐廳：DinInf(Dinno、Dinname、Dinmanage、Dinaddr)商場：SupInf(Supno、Supname、Supmanage、Supaddr)校車：BusInf(Busno、Busstyle、Busdriver)花銷刷卡：PressInf(Pressno、Pplace、Cardno、pmoney、ptime)宿舍：DormInf(Dormno、Dormstyle、Dormregion)進出刷卡：DormPress(Backno、Cardno、Sno、Dormno、Backtime)圖書館：LibInf(Libno、Libname、Libregion)圖書借閱刷卡：BorBookPress(Brno、Bookno、Cardstates、Borlist、Libno)（注：標有直線下劃線的為主屬性，標有波浪線下劃線的是外鍵屬性）物理設計階段物理設計階段的目標與任務數據庫的物理設計就是依照所采納的DBMS和辦理需求，進行物理儲藏安排，建立索引，形成數據庫的內模式，為邏輯數據模型采納一個最合適應用要求的物理結構的過程，在這個階段中要完成兩大任務：1）確定數據庫的物理結構，在關系數據庫中主若是存取方法和儲藏結構；2）對物理結構進行議論，議論的重點是時間和空間效率。數據儲藏方面為數據庫中各基本表建立的索引以下：由于基本表Card，Student，DinInf，SupInf的主碼Cardno，Sno，Dinno，Supno經常在盤問條件和連接操作的連接條件中出現，且它們的取值唯一，考慮在這四個屬性上分別建立唯一性索引；數據庫推行階段建立數據庫、數據表、視圖、索引建立數據庫createdatabasesducardsystem;建立數據表（1）學生基本信息表的建立：createtableStudent(Snochar(12)primarykey,Sidchar(18)notnull,Snamechar(10)notnull,Ssexchar(4)check(Ssex='男'orSbirthchar(10)notnull,Sdeptchar(20)notnull,Sspecialchar(20)notnull,Sclasschar(20)notnull,Saddrchar(20)notnull,)；

Ssex='女')notnull,（2）校園卡基本信息表的建立：createtableCard(Cardnochar(8)primarykey,Snochar(12)notnull,Sidchar(18)notnull,Cardstylechar(18)notnull,Cardstatechar(10)notnull,CardmoneyFloatnotnull,CardtimeDateTimenotnull,foreignkey(Sno)referencesStudent(Sno),)；3）校園卡中心CardCenter：createtableCardCenter(CCnochar(10)primarykey,CCaddrchar(40)notnull,jbrchar(10)notnull,)；（4）創辦充值信息表FillInf：createtableFillInf(CznoIntprimarykey,Cardnochar(8)notnull,Snochar(12)notnull,CzrqDateTimenotnull,CzjeIntnotnull,jbrchar(10)notnull,foreignkey(Cardno)referencesCard(Cardno),foreignkey(Sno)referencesStudent(Sno),)；5）創辦掛失約息表LosInf：createtableLosInf(GsnoIntprimarykey,Cardnochar(8)notnull,Snochar(12)notnull,GsrqDateTimenotnull,jbrchar(10)notnull,foreignkey(Cardno)referencesCard(Cardno),foreignkey(Sno)referencesstudent(Sno),)；6）餐廳信息表DinInf；createtableDinInf(Dinnochar(4)primarykey,Dinnamechar(10)notnullDinmanagechar(10)notnull,Dinaddrchar(10)notnull,)；（7）商場信息表SupInf：createtableSupInf(Supnochar(4)primarykey,Supnamechar(40)notnull,Supmanagechar(10)notnull,Supaddrchar(10)notnull,)；8）校車信息表BusInf：createtableBusInf(Busnochar(4)primarykeyBusstylechar(10)notnullBusdriverchar(10)notnull,);（9）花銷刷卡信息記錄表PressInf：createtablePressInf(PressnoIntprimarykey,Pplacechar(10)check(Pplace='餐廳'orPplace='商場'orPplace='校車')notnull,Cardnochar(8)notnull,PmoneyFloatnotnull,PtimeDateTimenotnull,foreignkey(Cardno)referencesCard(Cardno),)；10）宿舍信息表DormInf：createtableDormInf(Dormnochar(10)primarykey,Dormstylechar(8)check(Dormstyle='

男生'orDormstyle='

女生

')notnull,Sdeptchar(20)notnull,Dormregionchar(10)notnull,（11）歸宿刷卡信息表

Dormpress：createtableDormPress(BacknoIntBacktimeDateTimeCardnochar(8)

primarykey,notnull,notnull,Snochar(12)notnull,Dormnochar(10)notnull,foreignkey(Cardno)referencesCard(Cardno),foreignkey(Sno)referencesStudent(Sno),foreignkey(Dormno)referencesDormInf(Dormno),)；12）圖書館信息表LibInf：createtableLibInf(Libnochar(10)primarykey,Libnamechar(20)notnull,Libregionchar(20)notnull,)；13）圖書館借閱刷卡記錄BorBookPress：createtableBorBookPress(BrnoIntprimarykey,Booknochar(10)notnull,Cardstatechar(10)notnull,Borlistchar(40)notnull,Libnochar(10)notnull,foreignkey(Libno)referencesLibInf(Libno));建立視圖（1）用于盤問的更新學生在各個餐廳刷卡花銷信息的視圖定義以下：createviewDinner2asselect*fromPressInfwherePlace='餐廳'withcheckoption；（2）用于盤問和更新學生在各個餐廳刷卡花銷信息的視圖定義以下：createviewSupmarke