【正文】 參考文獻(xiàn) [1] 薩師煊 王珊，數(shù)據(jù)庫系統(tǒng)概論 (第四 版 )，北京 :高教出版社， 2021 [2] [3] [4] 2021629 . . 附錄 1 數(shù)據(jù) 庫邏輯結(jié)構(gòu)定義 Student 基本信息表，用于記錄 學(xué)生 的基本信息： 表 學(xué)生 基本信息表 數(shù)據(jù)項(xiàng)名 數(shù)據(jù)類型和長度 別名 是否為空 候選碼 主外鍵 Sno char(8) 學(xué)生學(xué)號 否 是 主鍵 Sid char(18) 學(xué)生身份證號 否 是 Sname char(10) 學(xué)生姓名 否 否 Ssex char(4) 學(xué)生性別 否 否 Sbirth Int 學(xué)生出生日期 否 否 Sdept char(20) 學(xué)生所在院系 否 否 Sspecial char(20) 學(xué)生專業(yè) 否 否 Sclass char(20) 學(xué)生所在班級 否 否 Saddr char(6) 學(xué)生生源地 否 否 (Card)基本信息表，用于記錄 校園卡 的基本信息： 表 校園卡 基本信息表 數(shù)據(jù)項(xiàng)名 數(shù)據(jù)類 型和長度 別名 是否為空 候選碼 主外鍵 Cardno char(8) 校園卡編號 否 是 主鍵 Sno char(9) 學(xué)生學(xué)號 是 是 外鍵 Sid char(18) 學(xué)生身份證號 是 是 Cardstate char(6) 校園卡狀態(tài) 是 否 Cardmoney Float 校園卡余額 是 否 (DinPress)基本信息表，用于記錄 食堂消費(fèi) 的基本信息： 表 食堂消費(fèi)刷卡 基本信息表 數(shù)據(jù)項(xiàng)名 數(shù)據(jù)類型和長度 別名 是否為空 候選碼 主外鍵 Dinno Int 食堂消費(fèi)次數(shù)編號 否 是 主鍵 Dinno char(4) 食堂編號 否 否 外鍵 Windsno char(4) 食堂窗口編號 否 否 Cardno char(8) 校園卡編號 否 否 外鍵 Dinmoney Float 食堂刷卡金額 是 否 Dintime DateTime 食堂刷卡時(shí)間 否 否 Dinmanage char(10) 食堂負(fù)責(zé)人姓名 否 否 Dinaddr char(10) 食堂所在校區(qū) 否 否 . . (SupPress)基本信息表，用于記錄 超市消費(fèi) 的基本信息： 表 超市消費(fèi)刷卡 基本信息 數(shù)據(jù)項(xiàng)名 數(shù)據(jù)類型和長度 別名 是否為空 候選碼 主外鍵 Supno Int 超市消費(fèi)次數(shù)編號 否 是 主鍵 Cardno char(8) 校園卡編號 否 否 外鍵 Supname char(40) 超市名稱 否 否 外鍵 Supcheckno char(4) 超市讀卡機(jī)編號 否 否 Supmoney Float 超市購物刷卡金額 是 否 Suptime DateTime 超市購物刷卡時(shí)間 否 否 Supmanage char(10) 超市負(fù) 責(zé)人姓名 否 否 Supaddr char(10) 超市所在校區(qū) 否 否 (CourPress)基本信息表，用于記錄 學(xué)生到課考勤 的基本信息： 表 學(xué)生考勤 基本信息 數(shù)據(jù)項(xiàng)名 數(shù)據(jù)類型和長度 別名 是否為空 候選碼 主外鍵 Classno Int 上課次數(shù)編號。 . . 致謝 校園卡 管理系統(tǒng)的開發(fā)與設(shè)計(jì)從 確定題目 開始， 到最終的提交論文，自始至終都受到指導(dǎo)教師 的細(xì)心指導(dǎo)和關(guān)懷。 例如：刷卡消費(fèi)的主碼是消費(fèi)次序編號，這樣在現(xiàn)實(shí)生活中不太具有很強(qiáng)的可操作性。 第二： 涉及到 的表相對較少，有些表的屬性設(shè)計(jì)得不夠合理，還存在一定的冗余。 不僅如此， 校園卡 管理系統(tǒng)開發(fā)的過程中涉及 到 了好多 基本表的建立，視圖 的創(chuàng)建 、索引 的設(shè)計(jì)，這次實(shí)習(xí) 讓我對這些語句操作更熟練了。 另外，在后面的設(shè)計(jì)過程中又讓我讓我學(xué)到 了以前沒有使用過的 SQL SERVER 2021 相關(guān)功能。 需求分析階段是耗費(fèi)時(shí)間 最多的一步，尤其是在繪制 業(yè)務(wù)流程圖和數(shù)據(jù)流程圖的時(shí)候，遇到了好些 問題，但是在老師的指導(dǎo)和 跟 同學(xué)的討 論下，最終還是 盡自己最大努力完成了需求分析 關(guān)鍵的一步。因?yàn)槲覀冊O(shè)計(jì)的是一個(gè)整體的多個(gè)模塊組成的系統(tǒng)，他必然要使各部分相互有機(jī)統(tǒng)一 ，保持?jǐn)?shù)據(jù)的一致性，這一點(diǎn)我深有體會。 該校園卡 管理系統(tǒng)主要采用黑盒測試的第一種測試方法，具體的測試如下： （ 1） 查看各個(gè)基本表中的數(shù)據(jù) (借助 視圖查詢 ) 圖 查看 Student 表中的數(shù)據(jù) . . 圖 查看 Card 表 中的數(shù)據(jù) 圖 查看 PressInf 表中的信息 圖 查看 CourPress 表中的數(shù)據(jù) . . 圖 查看 DormPress 表中的數(shù)據(jù) 圖 查看 FillInf 表中的數(shù)據(jù) （ 其他表的數(shù)據(jù)的查看操作顯示見于附錄 31） （ 2） 檢測各個(gè)存儲過程的功能 ： 圖 驗(yàn)證 存儲過程 UpdateSpecial2 的功能 . . 圖 驗(yàn)證存儲過程 each_course_Press8 的功能 圖 驗(yàn)證存儲過程 Dorm_back 的功能 圖 驗(yàn)證存儲過程 Din_month_Ining3 的功能 . . 圖 驗(yàn)證存儲過程 Sup_month_Ining 的功能 圖 驗(yàn)證存儲過程 student_month_Din_Sup_Press 的功能 圖 驗(yàn)證 存儲過程 one_student_month_Din_Sup_Press 的功能 （ 驗(yàn)證其它存儲過程的功能見于附錄 32） . . 7 收獲與體會 通過本次實(shí)習(xí)，我對數(shù)據(jù)庫 系統(tǒng)設(shè)計(jì)有了進(jìn)一步的認(rèn)識。當(dāng)然，附錄中也給出了往 個(gè) 別 基本表插入元組的存儲功能，詳細(xì)內(nèi)容請 參閱附錄 2。可用 39。可用 39。 （ 3） 將學(xué)生信息表和刷卡消費(fèi)表連接，用于查詢相關(guān)的學(xué)生的基本信息 create view student_Din_Sup_Press as . . select , , , from PressInf,Card where = with check option。超市 39。食堂 39。超市 39。食堂 39。女 39。男 39。 辦卡管理充值管理掛失管理解掛管理校 園 卡 日 常 管 理 子 系 統(tǒng)電 子 錢 包 子 系 統(tǒng)食堂就餐管理超市購物管理學(xué)生獎(jiǎng)助管理身 份 認(rèn) 證 子 系 統(tǒng)公共課考勤管理宿舍門控管理校 園 卡 系 統(tǒng)圖 3 . 3 系 統(tǒng) 功 能 模 塊 圖. . 5 數(shù)據(jù)庫實(shí)施階段 建立數(shù)據(jù)庫、數(shù)據(jù)表、視圖、索引 建立數(shù)據(jù)庫 create database CampusCard。 數(shù)據(jù)庫模式定義 表 數(shù)據(jù)庫模式定義表 編號 邏輯結(jié)構(gòu) 完整性和安全性 T1 Student(詳見附錄 17) （詳 見附錄 17） T2 Card(詳見附錄 18) （詳見附錄 18） T3 CoursePress(詳見附錄 19) （詳見附錄 19） T4 DormPress(詳見附錄 20) （詳見附錄 20） T5 DinInf(詳見附錄 21) （詳見附錄 21） T6 SupInf(詳見附錄 22) （詳見附錄 22） T7 Course(詳見附錄 23) （詳見附錄 23） T8 DormInf(詳見附錄 24) （詳見附錄 24） T9 FillInf(詳見附錄 25) （詳 見附錄 25） T10 PressInf(詳見附錄 26) （詳見附錄 26） 用戶子模式設(shè)計(jì) 表 用戶子模式設(shè)計(jì) (View)列表 編號 用戶子模式 (View) 作用 (共性：提供數(shù)據(jù)保密和安全保護(hù)機(jī)制 ) V1 Dinner 便于查詢和修改學(xué)生在食堂的消費(fèi)信息 V2 Supmarket 便于查詢和修改學(xué)生在超市的消費(fèi)信息 V3 student_Din_Sup_Press 便于查詢在食堂 和 超市消費(fèi)的學(xué)生基本信息 . . 數(shù)據(jù)處理 系統(tǒng)功能模塊圖： 4 物 理設(shè)計(jì)階段 物理設(shè)計(jì)階段的目標(biāo)與任務(wù) 數(shù)據(jù)庫的物理設(shè)計(jì)就是 根據(jù)所選用的 DBMS 和處理需求，進(jìn)行物理存儲安排，建立索引，形成數(shù)據(jù)庫的內(nèi)模式， 為邏輯數(shù)據(jù)模型選取一個(gè)最適合 應(yīng)用要求的物理結(jié)構(gòu)的過程，在這個(gè)階段中要完成兩大任務(wù)： （ 1）確定數(shù)據(jù)庫的物理結(jié)構(gòu)，在關(guān)系數(shù)據(jù)庫中主要是存取方法和存儲結(jié)構(gòu)； （ 2）對物理結(jié)構(gòu)進(jìn)行評價(jià)，評價(jià)的重點(diǎn)是時(shí)間和空間效率。 數(shù)據(jù)組織 將 ER 圖轉(zhuǎn)換為關(guān)系模型 通過分析所要實(shí)現(xiàn)的功能以及 現(xiàn)有的實(shí)體和聯(lián)系，確定把 學(xué)生實(shí)體 、校園卡實(shí)體、課程實(shí)體、餐廳實(shí)體、超市實(shí)體、宿舍樓實(shí)體分別 轉(zhuǎn)化為單獨(dú)的關(guān)系模式， 為了便于查詢學(xué)生在食堂、超市用校園卡刷卡消費(fèi)的信息，將消費(fèi)型刷卡聯(lián)系轉(zhuǎn)化為獨(dú)立的關(guān)系模式；考慮到學(xué)生回宿舍和上課考勤記錄信息的查詢 ，把身份認(rèn)證型的刷卡聯(lián)系轉(zhuǎn)化為獨(dú)立的關(guān)系模式；最后考慮到學(xué)生要往 校園卡里 充值，再 從學(xué)生和校園卡的 擁有聯(lián)系中抽取出校園卡的充值關(guān)系模式，具體的關(guān)系模式轉(zhuǎn)化結(jié)果如下： 學(xué)生： student(Sno、 Sid、 Sname、 Ssex、 Sbirth、 Sdept、 Sspecial、 Sclass、 Saddr) 3NF 校園卡： Card(Cardno、 Sno、 Sid、 Cardstates、 Cardmoney、 Cardtime) 3NF 學(xué) 生 工 作辦 公 室學(xué) 生管 理1 n校 園 卡持 有11m智 能 考勤 機(jī)到 課 刷 卡n宿 舍 刷卡 機(jī)歸 宿 刷 卡1 m學(xué) 生 食 堂食 堂 刷 卡mn食 堂 讀 卡機(jī)包 含n 1學(xué) 生 超 市超 市 刷超 市 讀 卡機(jī)包 含1 nmnnm圖 3 . 2 分 E R 圖 7. . 食堂： DinInf(Dinno、 Dinmanage、 Dinaddr) 3NF 超市： SupInf(Supno、 Supname、 Supmanage、 Supaddr) 3NF 課程： Course(Cno、 Cname、 property、 Grade、 Teacher、 Classroom) 3NF 宿舍： DormInf(Dorno、 Sdept、 Dormregion) 3NF 上課刷卡： CourPress(Classno、 Cardno、 Sno、 Sid、 Cno、 Cname、 Classtime、 Classroom) 3NF 歸宿刷卡： DormPress(Backno、 Cardno、 Sno、 Sid、 Dormregion、 Dormno、 Backtime) 3NF 充值： FillInf(Czno、 Cardno、 Sno、 Czlx、 Czje、 Czrq、 jbr) 3NF 消費(fèi)刷卡： PressInf(Pressno、 Place、 Pno、 Cardno、 pmoney、 ptime、 Pmanage) 3NF （注：標(biāo)有直線下劃線的為主屬性，標(biāo)有波浪線下劃線的是外鍵屬性） 模型優(yōu)化 關(guān)系模式 student， Card， DinInf， SupInf， Course， DormInf， CoursePress， DormPress、FillInf， PressInf 不存在非主屬性對主屬性的部分函數(shù)依賴，也不存在傳遞函數(shù)依賴，已經(jīng)達(dá)到了 3NF。 ) （ 3） 合并各分Ｅ－Ｒ圖 ,消除屬性沖突、命名沖突、結(jié)構(gòu)沖突等三類沖突，得到初步 ER圖，再消除不必要冗余，得 到的基本 ER 圖如下所示： . . 3 邏輯設(shè)計(jì)階段 邏輯設(shè)計(jì)的任務(wù)和目標(biāo) 以上的概念設(shè)計(jì)階段是獨(dú)立于任何一種數(shù)據(jù)模型的，但是邏輯設(shè)計(jì)階段就與選用的DBMS 產(chǎn)品發(fā)生關(guān)系了，系統(tǒng)邏輯設(shè)計(jì)的任務(wù)就是將概念設(shè)計(jì)階段設(shè)計(jì)好的基本 ER 圖轉(zhuǎn)換為選用 DBMS 產(chǎn)品所支持的數(shù)據(jù)模型相符合的邏輯結(jié)構(gòu)。 . . 2 概念設(shè)計(jì)階段 引言 概念設(shè)計(jì)階段主要是將需求分析階段得到的用戶需求抽象為信息結(jié)構(gòu) (概念模型 )的過程 ,它是整個(gè)數(shù)據(jù)庫設(shè)計(jì)的關(guān)鍵，包括概念模型設(shè)計(jì)和新系統(tǒng)流程兩個(gè)階段。 （ 2） 校園卡 管理系統(tǒng)業(yè)務(wù)流程圖 校園卡辦 理 （包括補(bǔ)辦）