I.

Phát biểu bài toán:

Hệ thống quản lý thư viện của Đại học FPT được thiết kế để quản lý thông tin về sách trong thư viện,
thông tin về sinh viên và những giao dịch mượn trả sách.

II. Mô tả nghiệp vụ của hệ thống:

Quản lý sách:
Thêm, sửa đổi và xóa thông tin sách bao gồm mã sách, tiêu đề, tác giả, số lượng bản sao, vị trí đặt
sách, loại sách.
Quản lý sinh viên:
Thêm, sửa đổi và xóa thông tin sinh viên bao gồm mã sinh viên, tên sinh viên, ngày hết hạn thẻ sinh
viên, chuyên ngành học, email, số điện thoại.
Quản lý mượn trả sách:
Ghi nhận thông tin về việc mượn và trả sách của sinh viên.
Báo cáo và thống kê:
Tạo các báo cáo về hoạt động mượn trả sách và tình trạng sách trong thư viện.

III. Mô hình ER của hệ thống:

Mô hình thực thể-quan hệ (ER) cho hệ thống quản lý thư viện bao gồm các thực thể Sách (Book), Sinh
viên (Student), và Mượn trả (Borrowing).

Chi tiết các thực thể và quan hệ giữa chúng:

Thực thể "Sách" (Book):

Thuộc tính: Mã sách, Tiêu đề, Tác giả, Số lượng bản sao, Vị trí đặt sách, Loại sách.
Thực thể "Sinh viên" (Student):
Thuộc tính: Mã sinh viên, Tên sinh viên, Ngày hết hạn thẻ sinh viên, Chuyên ngành học, Email, Số điện
thoại.
Thực thể "Mượn trả" (Borrowing):
Thuộc tính: Mã mượn trả, Mã sách (khóa ngoại), Mã sinh viên (khóa ngoại), Ngày mượn, Ngày trả.

IV. Mô hình quan hệ:

Book (BookID, Title, Author, NumberOfCopies, Location, Category)
Student (StudentID, StudentName, ExpirationDate, Major, Email, Phone)
Borrowing (BorrowingID, BookID, StudentID, BorrowDate, ReturnDate)

V. Đặc tả yêu cầu dữ liệu:

VI. Danh sách các ràng buộc dữ liệu:
VII. Cài đặt vật lý:

Tạo bảng và các ràng buộc, thêm dữ liệu. Tạo các chỉ mục nếu cần.
Câu truy vấn SQL và câu trả lời tương ứng.
Trigger để thiết lập các ràng buộc phức tạp.
Các thủ tục và hàm để xử lý nghiệp vụ.
Tạo file script.sql.
VIII. Kết luận:

Trong báo cáo này, chúng tôi đã trình bày hệ thống quản lý thư viện của Đại học FPT, từ phát biểu bài
toán đến cài đặt vật lý cơ sở dữ liệu. Bằng cách này, thư viện có thể dễ dàng quản lý thông tin về sách,
sinh viên và các giao dịch mượn trả sách. Các ràng buộc dữ liệu và các cơ chế khác giúp đảm bảo tính
nhất quán và toàn vẹn của dữ liệu. Cuối cùng, cơ sở dữ liệu được thiết kế để đáp ứng nhu cầu quản lý
hiệu quả của thư viện và cung cấp thông tin chi tiết về tình trạng sách và sinh viê