【正文】 as DJGFJKHF DKFH SKHF LHAK DHFHAKLH DJKHF JHFJK JKDHFKLH FKDH KFHDSKH FKLDSFL。 （ 5） 用于查詢和更新學(xué)生基本信息的視圖定義如下： create view StuView (學(xué)號，學(xué)院，姓名，性別，祖籍，出生日期，入學(xué)時間， 專業(yè)，班級，宿舍編號， 宿舍樓編號，校區(qū)，區(qū)位 ) as select * from Student with check option。H KFKL DHFDKH FKDS select * from FitmentDestruction with check option。 create unique index RoomNo on Room(RNo)。 create unique index SafeGuardName on SafeGuard(SGName)。 創(chuàng)建各個功能的存儲過程 系統(tǒng)共創(chuàng)建了 16 個存儲過程，具體列表如下： 表 創(chuàng)建的存儲過程列表： 編號 存儲過程名稱 定 義 作用 P1 p1_Worker_Insert 詳見附錄 21 在 Worker 中插入一元組 P2 p2_Dormitory_Insert 詳見附錄 22 在 Dormitory 中插入一元組 P3 p3_Room_Insert 詳見附錄 23 在 Room 中插入一元組 P4 p4_Fitment_Inser 詳見附錄 24 在 Fitment 中插入一元組 P5 p5_Student_Insert 詳見附錄 25 在 Student 中插入一元組 P6 p6_SafeGuard_Insert 詳 見附錄 26 在 SafeGuard 中插入一元組 P7 p7_Artical_In_Out_Insert 詳見附錄 27 在 ArticalInOut 中插入一元組 P8 p8_FitmentDestruction_Insert 詳見附錄 28 在 FitmentDestruction 中插入一元組 P9 p9_FitmentCompensate 詳見附錄 29 在 FitmentCompensate 中插入一元組 P10 p10_Accident_Insert 詳見附錄 210 在 Accident 中插入 一元組 P11 p11_AccidentResearch_Insert 詳見附錄 211 在 AccidentResearch 中插入一元組 P12 p12_AccidentCompensate_Insert 詳見附錄 212 在 AccidentCompensate 中插入一元組 P13 p13_Query_Worker 詳見附錄 213 在 Worker 中匹配 (WorNo)查詢 P14 p14_Query_Worker 詳見附錄 214 在 Worker 中匹配 (WorName)查詢 P15 p15_Delete_Worker 詳見附錄 215 在 Worker 中刪除元組 P16 p16_Update_Worker 詳見附錄 216 在 Worker 中更新操作 （其他表的查詢、修改、刪除與 Worker 表的大致相同，這里不再 具體列出 ） DJGFJKHF DKFH SKHF LHAK DHFHAKLH DJKHF JHFJK JKDHFKLH FKDH KFHDSKH FKLDSFL。H KFKL DHFDKH FKDS 數(shù)據(jù)入庫 系統(tǒng)包括宿舍學(xué)生基本信息管理、樓道工人基本信息管理、宿舍樓基本信息管理、宿舍基 本信息管理、宿舍事故基本信息管理、宿舍樓物品出入基本信息管理、宿舍樓保衛(wèi)處基本信息管理、宿舍配備物品及處理管理等八大功能模塊，共有 12 張基本表 ,牽涉到大量數(shù)據(jù)的錄入 ,又由于時間限制 ,采用事先在 Excel中錄入數(shù)據(jù) ,然后使用 SQL Server 2020 數(shù)據(jù)導(dǎo)入 /導(dǎo)出向?qū)Чδ?,直接 將數(shù)據(jù)導(dǎo)入到相應(yīng)的基本表中。 create cluster index StudentName on Student(StuName)。 （ 11） 便于宿舍以外事故調(diào)查的視圖定義如下： create view ARView (編號，調(diào)查名稱，負(fù)責(zé)單位，調(diào)查結(jié)果 ) as select * from AccidentResearch with check option； （ 12） 方便宿舍事故賠償信息查詢和更改的視圖定義如下： create view ACView (編號，學(xué)號，賠償物品，日期，負(fù)責(zé)單位 ) as select * from AccidentCompensate with check option。 （ 7） 以便于物品出入管理和出入物品信息查詢、更新的視圖定義如下： create view ArIOView (學(xué)號，出入物品，負(fù)責(zé)人，日 期，序號，宿舍樓編號， 校區(qū)，區(qū)位 ) as select * from ArticalInOut with check option。 （ 3） 顯示宿舍基本信息的視圖定義如下： create view RoomView (宿舍編號，舍長，年級，學(xué)院，專業(yè)，宿舍樓編號， 校區(qū)，區(qū)位 ) as select * from Room with check option。 （ 12） 宿舍事故賠償基本信息表的建立： create table AccidentCopensate( AcNo int not null, ACStu char(9) not null, AcArtical char(30) not null, AcDate Datetime not null, SGName char(15) not null, foreign key(AcNo) references Accident(AcNo), foreign key(ACStu) references Student(StuNo), foreign key(SGName) references SafeGuard(SGName))。 （ 9） 宿舍損壞配備物品賠償基本信息表的建立： create table FitmentCompensate( FitName char(16) not null, StuNo char(9) not null, FCPrin char(15) not null, FCompDate Datetime not null, FCompNum int not null, foreign key(FitName) references Fitment(FitName), foreign key(StuNo) references Student(StuNo), foreign key(FCPrin) references SafeGuard(SGName), check(FCompNum = 0))。 （ 6） 宿舍保衛(wèi)處基本信息表的建立： create table SafeGuard( SGName char(15) not null unique, SGWorNum int not null, SGHeader char(10) not null, SGPhone char(12) null, primary key(SGName), check(SGWorNum 0))。 （ 3） 宿舍基本信息表的建立： create table Room( RNo char(6) not null unique, RHeader char(10) null, RGrade char(4) not null, RDepart char(20) not null, RPerfect char(20) not null, DorNo smallint not null, DorCampus char(4) not null, DorLocation char(4) not null, primary key(RNo), foreign key(DorNo， DorCampus， DorLocation) references Dormitory(DorNo， DorCampus， DorLocation))。H KFKL DHFDKH FKDS 宿舍保衛(wèi)處基本信息的查詢和更新模塊 將實現(xiàn)對宿舍保衛(wèi)處基本信息的查詢和更新（包括更改、插入、刪除）操作，方便于宿舍 意外事故的處理，具體的功能模塊圖如下： 圖 宿舍樓保衛(wèi)處基本信息的查詢、更新功能模塊圖 5． 數(shù)據(jù)庫實施階段 建立數(shù)據(jù)庫、數(shù)據(jù)表、視圖、索引 建立數(shù)據(jù)庫 create database Student_Dormitory_Management。H KFKL DHFDKH FKDS 樓道工人基本的信息查詢和更新 模塊 將實現(xiàn)對樓道工人基本信息的查詢和更新（修改、插入、刪除）操作，方便于樓道工人的任用和更換，具體的功能模塊圖如下： 圖 樓道工人基本信息的查詢、更新功能模塊圖 (注： 表示系統(tǒng)給用戶的信息，以下與此相同 ) 宿舍樓基本信息的查詢和更新模塊 將完成對宿舍樓基本信息的查詢、更新（修改、插入、刪除）操作，便于宿舍的集中管理，具體的功能模塊圖如下所示： DJGFJKHF DKFH SKHF LHAK DHFHAKLH DJKHF JHFJK JKDHFKLH FKDH KFHDSKH FKLDSFL。H KFKL DHFDKH FKDS 數(shù)據(jù)庫模式定義 表 數(shù)據(jù)庫模式定義表 編號 邏輯結(jié)構(gòu) (基本表 )定義 完整性和安全性 T－１ Worker（詳見附錄 1－ 1） （詳見附錄 1－ 1） T－ 2 Dormitory（詳見附錄 1－ 2） （詳見附錄 1－ 2） T－ 3 Room（詳見附錄 1－ 3） （詳見附錄 1－ 3） T－ 4 Fitment（詳見附錄 1－ 4） （詳見附錄 1－ 4） T－ 5 Student（詳見附錄 1－ 5） （詳見附錄 1－ 5） T－ 6 SafeGuard（詳見附錄 1－ 6） （詳見附錄 1－ 6） T－ 7 ArticalInOut（詳見附錄 1－ 7） （詳見附錄 1－ 7） T－ 8 FitmentDestruction（詳見附錄 1－ 8） （詳見附錄 1－ 8） T－ 9 FitmentCompensate（詳見附錄 1－ 9） （詳見附錄 1－ 9） T－ 10 Accident（詳見附錄 1－ 10） （詳見附錄 1－ 10） T－ 11 AccidentResearch（詳見附錄 1－ 11） （詳見附錄 1－ 11） T－ 12 AccidentCompensate（詳見附錄 1－ 12） （詳見附錄 1－ 12） 用戶子模式設(shè)計 表 用戶子模式設(shè)計 (View)列表 編號 用 戶 子 模 式(View) 作用 (共性：提供數(shù)據(jù)保密和安全保護機制 ) V－ 1 WorView 便于查詢和修改樓道工人的基本信息 V－ 2 DormView 方便宿舍樓的基本信息的查詢、更新 V－ 3 RoomView 以便于宿舍的基本信息的查詢和更新 V－ 4 FitView 用于宿舍樓配備物品的基本信息的查詢 V－ 5 StuView 便于查詢和更改學(xué)生的基本信息 V－ 6 SGView 方便學(xué)生查詢宿舍保衛(wèi)處的基本信息 V－ 7 ArIOView 以便于物品出入的管理和信息的查詢、更改 V－ 8 FDView 便于宿舍物品損壞的的登記及處理和信息的查詢 V－ 9 FCView 查詢損壞物品賠償?shù)幕拘畔ⅲ阌谒奚嵛锲返墓芾? V－ 10 AccView 方便學(xué)生事故的注冊及保衛(wèi)人員對事故注冊的查詢 V－ 11 ARView 便于學(xué)生查詢宿舍事故調(diào)查的基本信息 V－ 12 ACView 方便宿舍事故賠償?shù)男畔⒉樵兒透? 數(shù)據(jù)處理 DJGFJKHF DKFH SKHF LHAK DHFHAKLH DJKHF JHFJK JKDHFKLH FKDH KFHDSKH FKLDSFL。H KFKL DHFDKH FKDS 3． 邏輯設(shè)計階段 邏輯設(shè)計的任務(wù)和目標(biāo) 以上的概念設(shè)計階段是獨立于任何一種數(shù)據(jù)模型的，但是邏輯設(shè)計階段就與選用的DBMS 產(chǎn)品發(fā)生關(guān)系了，系統(tǒng)邏輯設(shè)計的任務(wù)就是將概念設(shè)計階段設(shè)計好的基本 ER 圖轉(zhuǎn)換為選用 DBMS 產(chǎn)品所支持的數(shù)據(jù)模型相符合的邏輯結(jié)構(gòu)。 概念模型設(shè)計 （ 1） 根據(jù)不同的對象，從第 3 層數(shù)據(jù)流程圖（中層數(shù)據(jù)流程圖）入手，分別畫出分 E－ R圖： （ a） 從數(shù)據(jù)流程圖圖 與圖 抽象出的