C S LÝ THUYÊẾTƠ Ở2.1 Mô tả chi tiết nghiệp vụ hệ thốngHệ thống quản lý thư viện:Thư viện được chia thành nhiều phân khu hoặc chuyên mục, mỗi phân khu đều có mã số tương ứng, tên phân khu
Biêỹu mầỹu
Phiếu nhập sách
Thẻ thành viên
Phiếu mượn
Hoá đơn
Xác định danh sách các loại thực thể
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
1 LibraryBranch BranchID (PK) Int Mã sôố
BranchName Varchar (255) Tên phần khu
ManagerName NVARCHAR (100) Người qu n lýả
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
2 Book ISBN (PK) VARCHAR (13) Mã ISBN
PublicationYear INT Năm xuầốt b nả
INT Sôố lượng hi n cóệ
BranchID (FK) Mã sôố phần khu
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
3 Patron MemberID (PK) INT Th thành viênẻ
Phone VACHAR (20) Đi n tho iệ ạ
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
MemberID (FK) INT Th thành viênẻ
ISBN (FK) VARCHAR (13) ISBN sách
Status VARCHAR (50) Tình tr ng ( trạ ả mu n, đang độ ược mượn,…) STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
MemberID (FK) INT Th thành viênẻ
ISBN (FK) VARCHAR (13) ISBN sách
Status VARCHAR (50) Tình tr ng ( đã săỹnạ sàng ho c ch a )ặ ư
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
6 DiscardedBooks DiscardID (PK) INT Mã thanh lý
ISBN (FK) VARCHAR (13) ISBN sách
DiscardDate DATE Ngày thanh lý
Reason TEXT Lý do thanh lý
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
7 LibraryStaff StaffID (PK) INT Mã nhần viên
StaffName VARCHAR (100) Tên nhần viên
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
(PK) INT Mã phần quyêần
StaffID (FK) INT Mã nhần viên
BranchID (FK) INT Quyêần h nạ
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
9 Invoice InvoiceId (PK) INT Mã hoá đ nơ
ReturnDate (FK) DATE Ngày tr sáchả
LateFee VARCHAR (200) Phí ph tạ
STT Tên Th c Thự ể Thu c Tínhộ Ki u D Li uể ữ ệ Mô Tả
10 Supply SupplyId (PK) INT Mã cung cầốp
ISBN (FK) VARCHAR (13) ISBN sách
SupplyDate Date Ngày cung cầốp
Bảng 2.3: danh sách các loại thực thể
2.4 Mồ hình th c th kêết h p (ERD)ự ể ợ
Hình 2.4 Mô hình thực thể kết hợp
Hình 2.5.1 Lược đồ quan hệ
+ Xác đ nh các rng bu c ton v n có trong lị ộ ẹ ược đồ CSDL
1) RBTV trên 1 loại quan hệ: a RBTV liên quan đến miền giá trị:
+) Rng bu c vê Phẫn khu th vi n v Sáchộ ư ệ
R1: Môỹi quy n sách ch thu c vêầ m t phần khu th vi n.ể ỉ ộ ộ ư ệ
N i dung: ộ ∀s ∈ S CH: Á ∃1 pk ∈ PHÂNKHUTH VIƯ ỆN: s.Ph nKhuID = pk.IDâ
Bôối c nh: lo i quan h SÁCH, PHÂNKHUTH VI Nả ạ ệ Ư Ệ
+) Rng bu c vê Đ c gi v Mộ ộ ả ượn sách
R2: Môỹi đ c gi không th mộ ả ể ượn cùng m t quy n sách nhiêầu lầần cùng m t th i đi m.ộ ể ộ ờ ể
N i dung: ộ ∀ms1, ms2 ∈ MƯỢNSÁCH: ms1.ĐộcGiảID = ms2.ĐộcGiảID ∧ ms1.S chID =á ms2.SáchID => ms1.NgàyMượn ms2.Ng≠ àyM nượ
Bôối c nh: lo i quan h Mả ạ ệ ƯỢNSÁCH
R3 : Môỹi lầần mượn sách, sôố sách được mượn ph i l n h n 0.ả ớ ơ
N i dung: ộ ∀ms ∈ MƯỢNSÁCH: ms.SốLượngSách > 0
Bôối c nh: lo i quan h Mả ạ ệ ƯỢNSÁCH
R4: Môỹi lầần đ t sách, sôố sách đặ ượ ặc đ t ph i l n h n 0.ả ớ ơ
N i dung: ộ ∀ds ∈ ĐẶTSÁCH: ds.S L ngSách > 0ố ượ
Bôối c nh: lo i quan h Đ TSÁCHả ạ ệ Ặ
R5 : Sách thanh lý không được mượn ho c đ t.ặ ặ
N i dung: ộ ∀tl ∈ THANHLÝSÁCH: tl.S chID Má ∉ ƯỢNS CH.SÁ áchID tl.S chID ∧ á ∉ ĐẶTSÁCH.S chIDá
Bôối c nh: lo i quan h THANHLÝSÁCH, Mả ạ ệ ƯỢNSÁCH, Đ TSÁCHẶ
R6 : Không th thanh lý sách đang để ược mượn ho c đã đ t.ặ ặ
N i dung: ộ ∀tl ∈ THANHLÝSÁCH: tl.S chID Má ∉ ƯỢNS CH.SÁ áchID tl.S chID ∧ á ∉ ĐẶTSÁCH.S chIDá
Bôối c nh: lo i quan h THANHLÝSÁCH, Mả ạ ệ ƯỢNSÁCH, Đ TSÁCHẶ b RBTV liên thu c tính:ộ
R1 : Ngày m ượn trong "M ƯỢN_SÁCH" ph i nh h n ho c băầng ngày hi n t i.ả ỏ ơ ặ ệ ạ
N i dung: ộ ∀m ∈ MƯỢN_SÁCH: m.NgàyMượn = 0
Bôối c nh: Lo i quan h PHÂN_KHUả ạ ệ
R5 : Đ c gi không độ ả ược mượn quá 5 cuôốn sách cùng lúc.
N i dung: ộ ∀d ∈ ĐỘC_GIẢ: count(m M∈ ƯỢN_SÁCH: m.ĐộcGiảID = d.ID)