【文章內(nèi)容簡介】 0電話在對系統(tǒng)進行數(shù)據(jù)庫設計時，為了對關系模式進一步優(yōu)化和完善，系統(tǒng)通過設置實體唯一主健、數(shù)據(jù)類型及長度約束來保證系統(tǒng)實體的完整性，數(shù)據(jù)正確的域完整性。系統(tǒng)還設置了表間約束關系來維護表與表之間數(shù)據(jù)一致性的參照完整性。表間約束關系如圖4： 圖4表間的約束關系前面我們根據(jù)用戶需求設計了局部應用視圖，這種局部應用視圖只是概念模型，用ER圖表示。在我們將概念模型轉(zhuǎn)換為邏輯模型后，即生成了整個應用系統(tǒng)的模式后，還應該根據(jù)局部應用需求，結(jié)合具體DBMS的特點，設計用戶的外模式。目前關系數(shù)據(jù)庫管理系統(tǒng)一般都提供了視圖概念，支持用戶的虛擬視圖。我們可以利用這一功能設計更符合局部用戶需要的用戶外模式。定義數(shù)據(jù)庫模式主要是從系統(tǒng)的時間效率、空間效率、易維護等角度出發(fā)。由于用戶外模式與模式是獨立的，因此我們在定義用戶外模式時應該更注重考慮用戶的習慣與方便。為此，系統(tǒng)為不同角色的用戶定義了符合自己需求的視圖[7]。以下定義的視圖是為學生查詢預約實驗返回查詢結(jié)果而設計的特定視圖。 圖5下面是定義視圖的相關代碼：CREATE VIEW ASSELECT AS 學號, AS 實驗號, AS 姓名, AS 實驗名, .[Check] AS 審核, .[Date] AS 時間, AS 地點FROM INNER JOIN ON = INNER JOIN ON = 關鍵模塊設計 學生功能模塊學生登錄學生登錄界面如圖6：圖6學生登錄學生登錄后進入主界面如圖7： 圖 7 系統(tǒng)主界面關鍵代碼：protected void btnStuLogin_Click(object sender, EventArgs e) //登錄系統(tǒng) { string stuID = 。 string stuPwd = 。 student stu = new student()。 //定義一個學生對象 if ((stuID, stuPwd) 0) //核實學生記錄是否在數(shù)據(jù)庫中存在 { Session[stuID] = stuID。 (/student/)。 } else { = true。 = 錯誤提示：用戶名或密碼錯誤，請重新輸入！。 } }2 、學生預約實驗圖8 學生預約實驗關鍵代碼：public partial class student_book : {protected void Page_Load(object sender, EventArgs e) { if (!) { if (check_number()) //核實該實驗人數(shù)是否已經(jīng)超出上限 { if (check_stu()) //核實學生是否已經(jīng)預約該實驗 { (script language=39。JavaScript39。alert(39。對不起，您已經(jīng)預約了此實驗。不能再對此實驗進行預約！39。)。 = 39。39。/script)。 } else { update_lib_info()。 book()。 } } else { (script language=39。JavaScript39。aalert(39。對不起，此實驗已經(jīng)預約人數(shù)足夠。不能再對此實驗進行預約！39。)。 = 39。39。/script)。 } } } protected void book() //預約實驗 { string cid = [cid]。 string strsql = insert into Lib_Book values(39。 + cid + 39。,39。 + Session[stuID] + 39。,39。139。)。 student stu = new student()。 (strsql)。 (script language=39。JavaScript39。alert(39。恭喜您，您實驗預約成功39。)。 = 39。39。/script)。 } protected void update_lib_info() //更新實驗實際預約人數(shù) { string cid = [cid]。 string strsql = update Lib_Info set real=real+1 where Cid=39。+cid+39。 student stu = new student()。 (strsql)。 } public bool check_stu() //核實學生是否已經(jīng)預約該實驗 { string cid = [cid]。 string strsql = select * from Lib_Book where Sid=39。+Session[stuID]+39。 and Cid=39。+cid+39。 string strconn = [strconn]。 SqlConnection conn = new SqlConnection(strconn)。 ()。 SqlCommand cmd = new SqlCommand(strsql, conn)。 SqlDataReader sdr = ()。 if (()) { return true。 } else { return false。 } } protected bool check_number() //核實該實驗人數(shù)是否已經(jīng)超出上限 { string cid = [cid]。 string strsql = select * from Lib_Info where Cid=39。 + cid + 39。 string strconn=[strconn]。 SqlConnection conn = new SqlConnection(strconn)。 SqlCommand cmd = new SqlCommand(strsql,conn)。 ()。 SqlDataReader sda = ()。 if (()) { int wanted = ((3).ToString())。 int real = ((4).ToString())。 if (real wanted) {