【正文】 ion[stuID]+39。 } public bool check_stu() //核實學(xué)生是否已經(jīng)預(yù)約該實驗 { string cid = [cid]。 student stu = new student()。 string strsql = update Lib_Info set real=real+1 where Cid=39。/script)。 = 39。恭喜您，您實驗預(yù)約成功39。JavaScript39。 (strsql)。)。,39。,39。 string strsql = insert into Lib_Book values(39。/script)。 = 39。不能再對此實驗進(jìn)行預(yù)約！ 39。aalert(39。 } } else { (script language=39。 } else { 第 13頁 update_lib_info()。39。)。對不起，您已經(jīng)預(yù)約了此實驗。JavaScript39。 = 錯誤提示：用戶名或密碼錯誤，請重新輸入！ 。 (/student/)。 student stu = new student()。 第 10頁 圖 5 下面是定義視圖的相關(guān)代碼： CREATE VIEW AS SELECT AS 學(xué)號 , AS 實驗號 , AS 姓名 , AS 實驗名 , .[Check] AS 審核 , .[Date] AS 時間 , AS 地點 FROM INNER JOIN ON = INNER JOIN ON = 關(guān)鍵模塊設(shè)計 學(xué)生功能模塊 學(xué)生登錄 學(xué)生登錄界面如圖 6： 第 11頁 圖 6 學(xué)生登錄 學(xué)生登錄后進(jìn)入主界面如圖 7： 圖 7 系統(tǒng)主界面 關(guān)鍵代碼： protected void btnStuLogin_Click(object sender, EventArgs e) //登錄系統(tǒng) { string stuID = 。為此，系統(tǒng) 為不同角色的用戶定義了符合自己需求的視圖 [7]。定義數(shù)據(jù)庫模式主要是從系統(tǒng)的時間效率、空間效率、易維護(hù)等角度出發(fā)。目前關(guān)系數(shù)據(jù)庫管理系統(tǒng)一般都提供了視圖概念，支持用戶的虛擬視圖。表間約束關(guān)系如 圖 4： 第 9 頁 圖 4 表間的約束關(guān)系 前面我們根據(jù)用戶需求設(shè)計了局部應(yīng)用視圖，這種局部應(yīng)用視圖只是概念模型，用 ER圖表示。由此，我們將概念結(jié)構(gòu)得出的結(jié)果（ ER圖）向特定 DBMS 支持下的數(shù)據(jù)模型轉(zhuǎn)換得出如下表： 表 1 Student（學(xué)生） 字段 數(shù)據(jù)類型 長度 描述 Sid nchar 10 學(xué)號（主鍵） Sname char 8 姓名 Sex varchar 2 性別 Pwd varchar 20 密碼 Grade varchar 50 年級 Major varchar 50 專業(yè) Class varchar 50 班級 Phone varchar 50 電話 Email varchar 50 郵箱 Abstract text 16 備注 表 2 Major（專業(yè)） 字段 數(shù)據(jù)類型 長度 描述 Mid varchar 50 專業(yè)編號（主鍵） Major char 8 專業(yè)名稱 表 3 Grade（班級） 字段 數(shù)據(jù)類型 長度 描述 Mid varchar 50 專業(yè)編號（主鍵） Gid int 4 班級編號（主鍵） Grade varchar 50 班級名稱 表 4 Lib_Info（實驗信息） 字段 數(shù)據(jù)類型 長度 描述 Cid nchar 10 實驗編號（主鍵） Cname varchar 50 實驗名稱 Ccontent text 16 實驗內(nèi)容 Wanted int 4 預(yù)約限制人數(shù) Real int 4 實際預(yù)約人數(shù) Date datetime 8 時間 Address varchar 50 地點 Score int 4 實驗學(xué)分 Teacher varchar 8 輔導(dǎo)教師 Worker text 8 工作人員 第 8 頁 表 5 Lib_Book（預(yù)約實驗） 字段 數(shù)據(jù)類型 長度 描述 Cid nchar 10 實驗編號（主鍵） Sid nchar 10 學(xué)生編號（主鍵） Check int 4 是否審核 表 6 Lib_Report（實驗報告） 字段 數(shù)據(jù)類型 長度 描述 Cid nchar 10 實驗編號（主鍵） Sid nchar 10 學(xué)號（主鍵） Tid int 4 教師編號 Title char 10 實驗題目 Content char 10 實際內(nèi)容 Abstract text 16 備注 Score int 4 實驗學(xué)分 表 7 Lib_Public（實驗發(fā)布） 字段 數(shù)據(jù)類型 長度 描述 ID int 4 實驗報告編號（主鍵） Title varchar 50 報告題目 Content text 16 報告內(nèi)容 Time datetime 8 添加時間 表 8 Teacher（教師） 字段 數(shù)據(jù)類型 長度 描述 TID int 4 教師編號（主鍵） Tname char 10 教師姓名 Tsex char 2 教師性別 Tpwd varchar 50 密碼 Tphone varchar 50 電話 在對系統(tǒng)進(jìn)行數(shù)據(jù)庫設(shè)計時，為了對關(guān)系模式進(jìn)一步優(yōu)化和完善，系統(tǒng)通過設(shè)置實體唯一主健、數(shù)據(jù)類型及長度約束來保證系統(tǒng)實體的完整性，數(shù)據(jù)正確的域完整性。 基于以上對系統(tǒng)數(shù)據(jù)信息流的分析和抽象，我們可以設(shè)計出本系統(tǒng)的 ER 圖（實體 聯(lián)系圖）如下： 第 6 頁 教 師 實驗課程 實驗報告 預(yù)約 學(xué) 生 填寫 批改 指導(dǎo) 教授 學(xué)號 姓名 性別 報告號 題目 內(nèi)容 實驗號 實驗名 預(yù)約人數(shù) 教師號 教師名 電話 m m n m m m n m n m 1 m n m 1 m 圖 2 學(xué)生 ER 圖 教 師 實驗課程 實驗報告 學(xué) 生 學(xué)號 姓名 性別 報告號 題目 內(nèi)容 實驗號 實驗名 預(yù)約人數(shù) 教師號 教師名 電話 管理員 管理 管理 管理 管理 m m n m m m n m m m n m m m n m 圖 3 管 理員 ER 圖 邏輯結(jié)構(gòu)設(shè)計 設(shè)計邏輯結(jié)構(gòu)應(yīng)該選擇最適于描述與表達(dá)相應(yīng)概念 結(jié)構(gòu)的數(shù)據(jù)模型，然后選擇最合適 第 7 頁 的 DBMS。為此本系統(tǒng)從業(yè)務(wù)邏輯數(shù)據(jù)流中抽象出各個實體：學(xué)生、教師、管理員、實驗課程、實驗報告等。 現(xiàn)實世界中一組具有某些共同特性和行為的對象就可以抽象為一個實體。 概念結(jié)構(gòu)設(shè)計 概念結(jié)構(gòu)設(shè)計的重點在于信 息結(jié)構(gòu)的設(shè)計，它是整個數(shù)據(jù)庫系統(tǒng)設(shè)計的關(guān)鍵。 4 詳細(xì)設(shè)計 數(shù)據(jù)庫設(shè)計 數(shù)據(jù)庫是管理信息系統(tǒng)的核心，一個良好的數(shù)據(jù)庫結(jié)構(gòu)既具有數(shù)據(jù)冗余少、操作處理過程簡單等特點，同時也應(yīng)具有信息查找比較容易、系統(tǒng)開銷低等特點 [6]。這樣分級權(quán)限管理，方便管理操作，減輕系統(tǒng)維護(hù)工 作量。 ? 實驗信息管理 管理員可對實驗信息進(jìn)行管理，并可添加新的預(yù)約實驗信息。 （ 3）系統(tǒng)管理員模塊總體業(yè)務(wù)邏輯 ? 學(xué)生信息管理 管理員可管理已注冊的學(xué)生信息。 ? 進(jìn)行實驗報告批改，登錄成績。但必須是在實驗開 始 前，否則系統(tǒng)不會顯示該實驗信息，也就不能進(jìn)行撤消操作。 第 5 頁