lOMoARcPSD|38545333 TRƯỜNG ĐẠI HỌC MỞ HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN BÁO CÁO BÀI TẬP LỚN MÔN: HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU Đề tài: Quản Lý Thư Viện Giáo Viên Hướng Dẫn: Nguyễn Thị Tâm Sinh Viên Thực Hiện: Mai Thị Dinh – 2010A03 Nguyễn Thị Thanh – 2010A03 Đỗ Mạnh Hùng – 2010A03 Bùi Thành Đan – 1910A05 Hà Nội, năm 2021 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 PHÂN CÔNG VÀ KẾ HOẠCH THỰC HIỆN HỌ VÀ TÊN CÔNG VIỆC ĐÁNH GIÁ Mai Thị Dinh Phát biểu bài toán, xây dựng Hoàn Thành Nguyễn Thị Thanh Hoàn Thành Đỗ Mạnh Hùng view, phân tán Hoàn Thành Xây dựng CSDL quan hệ, proceduce Trigger,phân tán Bùi Thành Đan Proceduce,phân quyền Hoàn Thành Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 Mục Lục I Phát biểu bài toán 1 II Mô hình thực thể liên kết 2 1.Mô hình ER: 3 2 Xây dựng mô hình CSDL quan hệ 3 3 Chuẩn hóa CSDL của bài toán 5 III Xây dựng bảng cơ sở dữ liệu của bài toán 6 1.Xác định cấu trúc bảng: 6 2 Diagram: 8 IV Tạo cơ sở dữ liệu 8 1 Tạo database và bảng 8 2 Nhập dữ liệu vào các bảng 11 V.Thực hiện các yêu cầu 15 1 Truy vấn dữ liệu 15 a.Truy vấn dữ liệu từ 1 bảng 15 b.Truy vấn dữ liệu từ nhiều bảng 16 2.Xây dựng các view 18 3 Xây dựng Proceduce 22 4 Xây dựng các trigger 31 VI Phân quyền và bảo mật CSDL 35 VII Phân tán 38 1.Phân tán ngang 38 2.Phân tán dọc 43 VIII Tài liệu tham khảo: 48 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 I Phát biểu bài toán Để quản lý thư viện một cách hợp lý và hiệu quả , ta cần xây dựng một hệ thống quản lý thư viện một cách hiệu quả và tối ưu nhất Vì vậy, cần xác định rõ các chủ thể cần quản lý cũng như các hoạt động chính Qua việc tìm kiếm và tham khảo các mô hình quản lý các hoạt động của thư viện trường học, ta có thể thấy được các chủ thể chính cần được quản lý : quản lý sách của thư viện, quản lý nhân viên làm việc cho thư viện, quản lý NXB, quản lý việc mượn trả sách của thư viện và quản lý thẻ độc giả Quản lý Sách: - Thư viện có nhiều SÁCH, mỗi sách sẽ bao gồm các thông tin như mã sách, tên sách, tác giả, thể loại, năm xuất bản,số lượng, giá tiền Các cuốn sách phân biệt với nhau bằng mã sách và tên sách không trùng nhau Quản lý NXB: - Trong mỗi cuốn sách có chứa thông tin của NHÀ XUẤT BẢN Một NXB có thể cung cấp một hoặc nhiều sách cho thư viện.Và để tiện cho việc liên lạc cần lưu lại thông tin của NXB gồm: Mã NXB ,tên NXB, Địa chỉ,email, SĐT Quản lý Nhân viên: - Mỗi NHÂN VIÊN làm việc trong thư viện cần lưu lại các thông tin sau: Mã NV, Họ tên, Ngày sinh, Ngày vào làm , SĐT, Giới tính,Địa chỉ, HSL, PC Quy định mỗi nhân viên phải có mã riêng biệt và lớn hơn 18 tuổi Quản lý Thẻ Độc Giả 1 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 - Khi đến mượn sách, độc giả sẽ được cấp một THẺ ĐỘC GIẢ, trên đó có mã thẻ (Mã thẻ được đánh số tự động bắt dầu từ 1,2,3…), tên độc giả , ngày sinh, giới tính, địa chỉ, số điện thoại, ngày bắt đầu, ngày hết hạn Với mỗi thẻ, độc giả có thể mượn được nhiều sách và ngược lại mỗi sách có thể được mượn bởi nhiều thẻ độc giả Quản lý Phiếu Mượn Trả: - Độc giả sau khi đến mượn sách cần lưu lại thông tin của PHIẾU MƯỢN TRẢ bao gồm mã mượn trả, ngày mượn , ngày hẹn trả Độc giả chỉ được mượn sách tối đa trong 15 ngày kể từ ngày mượn II Mô hình thực thể liên kết Từ bài toán trên ,ta xác định được các thực thể và thuộc tính: - NHANVIEN : Mã NV, Họ tên, Ngày sinh, Ngày vào làm, SĐT, Giới tính, Địa chỉ, HSL, PC - SACH : Mã sách, Tên sách, Tác giả, Thể loại, Năm XB, Số lượng, Giá tiền - NHA XUAT BAN : Mã NXB, Tên NXB, Địc chỉ, Email, SĐT - THE DOC GIA : Mã thẻ, Tên ĐG, Ngày sinh, Giới tính, Địa chỉ, SĐT, Ngày bắt đầu, Ngày hết hạn - PHIEU MUONTRA:Mã mượn trả, Ngày mượn, Ngày hẹn trả 2 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 1.Mô hình ER: 2 Xây dựng mô hình CSDL quan hệ QT1: Chuyển kiểu thực thể mạnh tblNHANVIEN (Mã NV, Họ tên, Ngày sinh, Ngày vào làm, SĐT, Giới tính, Địa chỉ, HSL, PC) tblSACH (Mã sách, Tên sách, Tác giả,Thể loại, Năm XB, Số lượng, Giá Tiền) 3 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 tblNXB (Mã NXB, Tên NXB, Địc chỉ, Email, SĐT) tblTHEDOCGIA (Mã thẻ, Tên ĐG, Ngày sinh, Giới tính, Địa chỉ, SĐT, Ngày bắt đầu, Ngày hết hạn) tblPHIEUMUONTRA( Mã mượn trả, Ngày mượn,Ngày hẹn trả) QT 4: Chuyển liên kết 1-N SACH (Mã sách, Tên sách, Tác giả, Thể loại, Năm XB, Số lượng, Giá Tiền, Mã NXB) PHIEUMUONTRA (Mã mượn trả, Ngày mượn, Ngày hẹn trả,Mã thẻ) PHIEUMUONTRA(Mã mượn trả, Ngày mượn, Ngày hẹn trả,Mã thẻ, Mã NV) QT 5: Chuyển liên kết M-N ( Sinh ra quan hệ mới) SACH_PHIEUMUONTRA = CT_PHIEUMUONTRA  CT_PHIEUMUON TRA(Mã mượn trả,Mã sách,Ngày trả,Tình trạng) ➔ Ta có CSDL cuối cùng của bài toán là: tblNHANVIEN (sMaNV, sTenNV, dNgaysinh, dNgayvaolam, sSĐT, bGioitinh, sDiachi, fHSL, fPC) tblSACH (sMaSach, sTensach, sTacgia, sTheLoai, iNamXB, iSoluong, fGia tien ,sMaNXB) tblNXB (sMaNXB, sTenNXB, sDiachi,sEmail, sSĐT) tblTHEDOCGIA (sMaThe, sTenĐG, dNgaysinh, bGioitinh, sDiachi , sSĐT, dNgaybatdau, dNgayhethan) tblPHIEUMUONTRA ( sMaMT, dNgaymuon, dNgayhentra, sMaThe, sMaNV) 4 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 tblCT_PHIEUMUONTRA (sMaMT, sMaSach, dNgaytra,sTinhtrang) 3 Chuẩn hóa CSDL của bài toán Từ mô hình quan hệ ta suy ra các phụ thuộc hàm: sMaNV-> sTenNV, dNgaysinh, dNgayvaolam, sSĐT, bGioitinh, sDiachi, fHSL, fPC sMaSach-> sTensach, sTacgia, sTheLoai, iNamXB, iSoluong, fGia tien ,sMaNXB sMaNXB-> sTenNXB, sDiachi,sEmail, sSĐT sMaThe-> sTenĐG, dNgaysinh, bGioitinh, sDiachi , sSĐT, dNgaybatdau, dNgayhethan sMaMT-> dNgaymuon, dNgayhentra, sMaThe, sMaNV sMaMT->sMaSach, dNgaytra,sTinhtrang => Từ các phụ thuộc hàm trên ta thấy: - Mọi thuộc tính đều là nguyên tố, giá trị các thuộc tính trên bộ là đơn trị, không có thuộc tính nào có giá trị được tính toán từ một số thuộc tính khác Lược đồ quan hệ trên đã ở dạng chuẩn 1NF - Mọi thuộc tính không khóa của quan hệ đều phụ thuộc hàm đầy đủ vào khóa chính Lược đồ quan hệ trên đã ở dạng chuẩn 2NF - Mọi thuộc tính không khóa của quan hệ đều không phụ thuộc bắc cầu vào bất kì khóa chính của quan hệ Lược đồ quan hệ trên đã ở dạng chuẩn 3NF 5 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 Vậy lược đồ quan hệ đã được chuẩn hóa về dạng cao nhất – 3NF III Xây dựng bảng cơ sở dữ liệu của bài toán 1.Xác định cấu trúc bảng: tblNHANVIEN : lưu trữ thông tin của bảng NHÂN VIÊN STT Tên thuộc Kiểu dữ liệu Ràng buộc Ghi chú PK tính Mã nhân viên dNgayvaolam=2 và fHSL0, fPC>=fMucPC Giới tính 3 dNgaysinh Datetime Địa chỉ 4 dNgayvaolam datetime Hệ số lương Phụ cấp 5 sSDT varchar(10) 6 sGioitinh Bit 7 sDiachi Nvarchar(30) 8 fHSL Float 9 fPC Float tblSACH: lưu trữ thông tin của bảng sách STT Tên thuộc Kiểu dữ liệu Ràng buộc Ghi chú tính PK varchar(10) Mã sách 1 sMasach nvarchar(50) FK, tham chiếu tblNXB Tên sách 2 sTensach nvarchar(30) Tác giả 3 sTacgia varchar(10) Mã nhà xuất 4 sMaNXB bản Năm xuất bản 5 iNamXB datetime Số lượng 6 iSoluong int Giá tiền 7 fGiatien float Thể Loại 8 sTheLoai nvarchar(20) tblNXB: lưu trữ thông tin của bảng NXB STT Tên thuộc tính Kiểu dữ liệu Ràng buộc Ghi chú 6 Downloaded by HANH LA (tailieuso.12@gmail.com) lOMoARcPSD|38545333 1 sMaNXB varchar(10) PK Mã nhà xuất bản nvarchar(30) Tên nhà xuất bản 2 sTenNXB nvarchar(30) Địa chỉ varchar(10) Email 3 sDiachi varchar(10) Số điện thoại 4 sEmail 5 sSDT tblTHEDOCGIA: lưu trữ thông tin của bảng THẺ ĐỘC GIẢ STT Tên thuộc tính Kiểu dữ liệu Ràng buộc Ghi chú PK 1 sMathe Varchar(10) Mã thẻ dNgaybatdaudNgaybatdau giả 3 dNgaysinh datetime Ngày sinh 4 bGioitinh bit Giới tính Địa chỉ 5 sDiachi nvarchar(30) Số diện thoại 6 sSDT varchar(10) Ngày bắt đầu 2 dNgaybatdau Datetime Ngày hết hạn 3 dNgayhethan Datetime tblPHIEUMUONTRA: lưu trữ thông tin của PHIẾU MƯỢN TRẢ STT Tên thuộc tính Kiểu dữ liệu Ràng buộc Ghi chú Mã mượn 1 sMaMT varchar(10) PK trả Ngày 2 dNgaymuon Datetime dNgaymuondNgaymuon trả 4 sMathe varchar(10) FK, tham chiếu đến Mã thẻ varchar(10) tblTHEDOCGIA 5 sMaNV FK, tham chiếu đến Mã nhân tblNHANVIEN viên 7 Downloaded by HANH LA (tailieuso.12@gmail.com)