【文章內(nèi)容簡介】 blishDate,BookClassify， BookSubject,BookIndex,BookPrice, BookPageNum,BookSeries,BookDescription,BookRoom） 用戶： Users（ UserID,UserName,UserPassword,UserType,UserSex, UserDepart,UserTelephone,UserEmail,UserData） 數(shù)據(jù)庫課程設(shè)計(jì) —— 圖書管理系統(tǒng) 13 借閱信息： Borrow（ BorrowID,UserID,BookID,BorrowBeginDate,BorrowEndDate, BorrowState） 關(guān)系模式的規(guī)范化 Users（ UserID,UserName,UserPassword,UserType,UserSex, UserDepart,UserTelephone,UserEmail,UserData） Book（ BookID,BookName,BookISBN,BookAuthor,BookPublish, BookPublishDate,BookClassify， BookSubject,BookIndex,BookPrice, BookPageNum,BookSeries,BookDescription,BookRoom） Borrow（ BorrowID,UserID,BookID,BorrowBeginDate,BorrowEndDate, BorrowState） 1) 在上述關(guān)系模式 R 中，所有的屬 性均為簡單屬性，即每個(gè)屬性都是不可再分的， 所以 達(dá)到了第一范式， R?1NF。 2) 在模式 R 中， UserID， BookID， BorrowID 為主屬性 ，而且都是單屬性， 所 以不可能存在部分函數(shù)依賴，所以達(dá)到了第二范式， R?2NF。 3) 在模式 R 中， Users 的主屬性是 UserID，非主屬性都不傳遞函數(shù)依賴于 UserID， Book 的主屬性是 BookID， 非主屬性都不傳遞函數(shù)依賴于 BookID， Borrow 的主屬性是 BorrowID，非主屬 性都不傳遞函數(shù)依賴于 BorrowID， 即 R?2NF，且每個(gè)非主屬性都不傳遞函數(shù)依賴于 R的主關(guān)系鍵， 所 以 達(dá)到第三范式，即 R?3NF。 4) 在關(guān)系模式 R 中， 候選鍵為 UserID， BookID， BorrowID，決定因素UserID， BookID， BorrowID 都包含了候選鍵，所以達(dá)到 BC 范式，即R?BCNF。 5) 函數(shù)依賴集： F={UserID ? ?? f UserName， UserID ? ?? f UserPassword, UserID ? ?? f UserType, UserID ? ?? f UserSex, UserID ? ?? f UserDepart,UserID ? ?? f UserTelephone， UserID ? ?? f UserEmail, UserID ? ?? f UserData ， BookID ? ?? f BookName, BookID ? ?? f BookISBN, 數(shù)據(jù)庫課程設(shè)計(jì) —— 圖書管理系統(tǒng) 14 BookID ? ?? f BookAuthor, BookID ? ?? f BookPublish, BookID ? ?? f BookPublishDate,BookID ? ?? f BookClassify， BookID ? ?? f BookSubject, BookID ? ?? f BookIndex, BookID ? ?? f BookPrice, BookID ? ?? f BookPageNum, BookID ? ?? f BookSeries,BookID ? ?? f BookDescription, BookID ? ?? f BookRoom ， BorrowID ? ?? f UserID, BorrowID ? ?? f BookID, BorrowID ? ?? f BorrowBeginDate, BorrowID ? ?? f BorrowEndDate,BorrowID ? ?? f BorrowState }。 數(shù)據(jù)庫結(jié)構(gòu)的詳細(xì)設(shè)計(jì) 字段名 含義 數(shù)據(jù)類型 長度 空值情況 主鍵或索引 約束條件 備注 UserID 用戶條形碼 Varchar 50 非空 主鍵 UserName 姓名 Varchar 50 非空 UserPassword 密碼 Varchar 50 非空 UserType 用戶類型 Varchar 50 非空 ([UserType] = 39。高級(jí)管理員 39。 or [UserType] = 39。普通管理員 39。 or [UserType] = 39。學(xué)生 39。 or [UserType] = 39。教師 39。) UserSex 性別 char 4 非空 ([UserSex] = 39。男 39。 or [UserSex] = 39。女 39。) UserDepart 所在院系 Varchar 100 非空 UserTelephone 電話 Varchar 50 允許空 UserEmail 郵箱 Varchar 50 允許空 郵箱格式 UserData 辦證日期 datetime 8 非空 表 數(shù)據(jù)庫課程設(shè)計(jì) —— 圖書管理系統(tǒng) 15 字段名 含義 數(shù)據(jù)類型 長度 空值情況 主鍵或索引 約束條件 備注 BookID 圖書 條形碼 Varchar 50 非空 主鍵 BookName 書名 Varchar 50 非空 BookISBN ISBN號(hào) Varchar 50 非空 BookAuthor 作者 Varchar 50 非空 BookPublish 出版社 Varchar 4 非空 BookPublishDate 出版日期 datetime 8 非空 BookClassify 分類 Varchar 50 非空 BookSubject 主題 Varchar 50 非空 BookIndex 索書號(hào) Varchar 8 非空 BookPrice 價(jià)格 money 8 非空 BookPageNum 頁數(shù) int 4 非空 BookSeries 叢書名 Varchar 50 允許空 BookDescription 描述 text 16 允許空 BookRoom 所在管室 Varchar 50 非空 表 字段名 含義 數(shù)據(jù)類型 長度 空值情 況 主鍵或索引 約束條件 備注 BorrowID 借閱號(hào) int 4 非空 主鍵 UserID 用戶條形碼 Varchar 50 非空 外鍵約束 ,同Users(UserID） BookID 圖書條形碼 Varchar 50 非空 外鍵約束 ,同 Book（ BookID） BorrowBeginDate 借閱日期 datetime 8 非空 BorrowEndDate 歸還日期 datetime 8 非空 BorrowState 借閱狀態(tài) int 4 非空 ([BorrowState] = 0 or [BorrowState] = 1) 0:未還1:已還 表 數(shù)據(jù)庫課程設(shè)計(jì) —— 圖書管理系統(tǒng) 16 3 數(shù)據(jù)庫實(shí)現(xiàn) 定義數(shù)據(jù)庫 create database MyLibrary 定義基本表 1) 定義用戶信息表： CREATE TABLE Users ( UserID varchar(50) NOT NULL primary key, UserPassword varchar(50) NOT NULL, UserType varchar(50) NOT NULL check([UserType] = 39。高 級(jí)管理員 39。 or [UserType] = 39。普通管理員 39。 or [UserType] = 39。學(xué)生 39。 or [UserType] = 39。教師 39。)， UserName varchar(50) NOT NULL, UserSex char NOT NULL check([UserSex] = 39。男 39。 or [UserSex] = 39。女 39。), UserDepart varchar(50) NOT NULL, UserTelephone varchar(50) NULL, UserEMail varchar(50) NULL, UserData datetime NOT NULL ） 2) 定義圖書信息表： CREATE TABLE Book( BookID varchar(50) NOT NULL primary key, BookName varchar(50) NOT NULL, BookISBN varchar(50) NOT NULL, BookAuthor varchar(50) NOT NULL, BookPublish varchar(50) NOT NULL, BookPublishDate datetime NOT NULL, BookClassify varchar(50) NOT NULL, 數(shù)據(jù)庫課程設(shè)計(jì) —— 圖書管理系統(tǒng) 17 BookSubject varchar(50) NOT NULL, BookIndex varchar(50) NOT NULL, BookPrice money NOT NULL, BookPageNum int NOT NULL, BookSeries varchar(50) NULL, BookDescription text NULL, BookRoom varchar(50) NOT NULL ) 3) 定義借閱信息表： CREATE TABLE Borrow ( BorrowID int IDENTITY(1,1) NOT NULL, UserID varchar(50) NOT NULL foreign key references Users(UserId), BookID varchar(50) NOT NULL foreign key references Book(BookId), BorrowBeginDate datetime NOT NULL, BorrowEndDate datetime NOT NULL, BorrowState int NOT NULL ) 建立存儲(chǔ)過程 共創(chuàng)建了 14個(gè)存儲(chǔ)過程，具體列表如下： 編號(hào) 存儲(chǔ)過程名稱 作用 P1 P2 P3 P4 P5 P6 P7 Proc_UsersDe