ĐỒ ÁN THIẾT KẾ CƠ SỞ DỰ LIỆU CHO HỆ THỐNG QUẢN LÝ SINH VIÊN

ĐẠI HỌC UEH TRƯỜNG CÔNG NGHỆ VÀ THIẾT KẾ UEH BỘ MÔN : CƠ SỞ DỮ LIỆU ĐỒ ÁN THIẾT KẾ CƠ SỞ DỰ LIỆU CHO HỆ THỐNG QUẢN LÝ SINH VIÊN Giảng viên hướng dẫn : Th.S Bùi Xuân Huy Lê Xuân Diệu Sinh viên thực : Nhóm Cao Tấn Hùng Võ Hồng Minh Dương Thị Bảo Trâm Lê Duy Khang MỤC LỤC Lớp học phần : 22D1INF50900605 I) MỞ ĐẦU II) MƠ TẢ DỮ LIỆU VÀ QUY TRÌNH CỦA HỆ THỐNG 1) Mô tả liệu .1 2) Quy trình hệ thống quản lí sinh viên TP.Hồ Chí Minh, ngày tháng năm 2022 III) MƠ HÌNH THỰC THỂ KẾT HỢP ERD 1) Thuyết minh cho mơ hình ERD 2) Thuộc tính mơ tả cho thực thể .3 3) Các quy định TP.Hồ đặt thuộc tham gia2làm khóa cho thực thể Chítính Minh, ngày tháng năm 2022 IV) MƠ HÌNH QUAN HỆ V) RÀNG BUỘC TỒN VẸN VÀ CHUẨN HĨA CƠ SỞ DỮ LIỆU 1) Ràng buộc toàn vẹn .3 1.1) Ràng buộc toàn vẹn tính 1.2) Ràng buộc toàn vẹn miền giá trị .4 1.3) Ràng buộc tồn vẹn liên thuộc tính quan hệ 2) Chuẩn hóa sở liệu .5 VI) HIỆN THỰC HÓA TRÊN SQL 1) Các bảng Cơ sở liệu .5 2) Bảng liệu mẫu 3) Các câu truy vấn thông tin đơn giản .10 VII) KẾT LUẬN I) MỞ ĐẦU Hiện nay, việc ứng dụng phát triển công nghệ thông tin vào việc quản lý sinh viên trường Đại học trở nên vô phổ biến Hệ thống quản lý sinh viên chưa ứng dụng công nghệ thơng tin tốn nhiều thời gian vào việc tìm kiếm sửa chữa thông tin,Tốn nhiều không gian lưu trữ , tốn chi phí vào việc sử dụng nguồn nhân lực phục hồi tài liệu, đồng thời việc theo dõi kiểm tra gặp nhiều khó khăn.Ngược lại , ứng dụng công nghệ thông tin vào việc quản lý sinh viên giúp tiết kiệm thời gian chi phí, giúp quản lý hiệu nguồn lực,có thể theo dõi kiểm tra dễ dàng Nắm bắt nhu cầu người dùng với phát triển cơng nghệ thơng tin , nhóm em – kiến thức học môn Cơ sở liệu, lên ý tưởng thiết kế cở sở liệu cho hệ thống phần quản lý sinh viên để khắc phục khó khăn trình quản lý giảm thiểu chi phí , nhân lực , tăng độ tin cậy xác q trình quản lý II) MƠ TẢ DỮ LIỆU VÀ QUY TRÌNH CỦA HỆ THỐNG 1) Mơ tả liệu Hê thống quản lý thơng tin sinh viên có liệu sau: Mỗi sinh viên có mã sinh viên để quản lý, họ tên sinh viên, giới tính, năm sinh phải thuộc lớp đó.Mỗi khóa học có mã khóa học để quản lý, năm bắt đầu khố học năm kết thúc khóa học Mỗi khoa có mã khoa để quản, tên khoa  Mỗi mơn học có mã mơn học để quản lý, tên mơn học ,số tín mơn phải thuộc khoa đó. Một lớp có mã lớp để quản lý, thuộc khoa mở cho khóa học định, chương trình định.  Vào kì thi,sinh viên tham gia thi Sau thi, kết thi ghi nhận điểm sinh viên làm thi cho mơn học lần thi thời gian thi định. (Với môn, sinh viên thi lần ) 2) Quy trình hệ thống quản lí sinh viên Hệ thống quản lý thông tin sinh viên cung cấp cho sinh viên tài khoản cá nhân Sinh viên truy cập vào thời gian Hệ thống lưu trữ thông tin sinh viên bao gồm mã số sinh viên,họ tên, năm sinh giới tính sinh viên.Khi sinh viên truy cập vào hệ thống tra cứu lớp khoa mà sinh viên trực thuộc vào, tra cứu tên mơn học,số tín mơn khoa mà mơn thuộc Trong thơng tin lớp có chương trình học rõ ràng để sinh viên dễ dàng theo dõi Lớp nằm khóa học cụ thể nhằm tạo điều kiện cho sinh viên chủ động nắm bắt diễn biến giai đoạn Vào kì thi, sinh viên truy cập vào hệ thống để xem điểm tương ứng với mơn học khoa giảng dạy Nếu sinh viên không tham gia dự thi mơn học khơng có điểm khơng ghi nhận vào hệ thống III) MƠ HÌNH THỰC THỂ KẾT HỢP ERD Hình : Mơ hình thực thể kết hợp ERD 1) Thuyết minh cho mơ hình ERD Một sinh viên học lớp cố định, Một lớp bao gồm nhiều sinh viên Một lớp thuộc khóa học cụ thể , khóa học phân nhiều lớp Mỗi lớp có chương trình học riêng, chương trình học nhiều lớp khác Một lớp trực thuộc khoa, khoa gồm nhiều lớp Mỗi sinh viên thi nhiều mơn không dự thi môn học nào(nếu sinh viên tham gia thi có điểm kèm theo), mơn học thi nhiều sinh viên Mỗi mơn học giảng dạy khoa, khoa thể thực giảng dạy nhiều môn học 2) Thuộc tính mơ tả cho thực thể - Thực thể SINH VIEN: Mssv, HoTen, NamSinh, GioiTinh - Thực thể LOP: MaLop - Thực thể KHOA HOC: MaKhoaHoc, NamBatDau, NamKetThuc - Thực thể CHUONG TRINH HOC: MaChuongTrinh, TenChuongTrinh - Thực thể KHOA: MaKhoa, TenKhoa - Thực thể MON HOC: MaMon, TenMon, Tinchi - Mối kết hợp KET QUA: Mssv, MaMon, Diem 3) Các quy định đặt thuộc tính tham gia làm khóa cho thực thể: - Thực thể SINH VIEN có Mssv khóa - Thực thể LOP có MaLop khóa - Thực thể KHOA HOC có MaKhoaHoc khóa - Thực thể CHUONG TRINH HOC có MaChuongTrinh khóa - Thực thể KHOA có MaKhoa khóa - Thực thể MON HOC có MaMon khóa - Mối kết hợp KET QUA có Mssv, MaMon khóa IV) MƠ HÌNH QUAN HỆ SINHVIEN (Mssv, HoTen, NamSinh, GioiTinh, MaLop) KHOAHOC(MaKhoaHoc, NamBatDau,NamKetThuc) LOP (MaLop, MaKhoa, MaChuongTrinh, MaKhoaHoc) KHOA (MaKhoa, TenKhoa) CHUONGTRINHHOC(MaChuongTrinh, TenChuongTrinh) MONHOC (MaMon, TenMon, Tinchi, MaKhoa) KETQUA (Mssv, MaMon, Diem) V) RÀNG BUỘC TỒN VẸN VÀ CHUẨN HĨA CƠ SỞ DỮ LIỆU 1) Ràng buộc toàn vẹn 1.1) Ràng buộc tồn vẹn tính Bao gồm ràng buộc : - Mỗi chương trình phải có tên chương trình - Mỗi khóa phải có tên khóa - Mỗi mơn học phải có tên mơn học 1.2) Ràng buộc toàn vẹn miền giá trị - Chương trình học ‘DHCQ‘ ‘DHCQ-LT‘ ‘DHCQ-VB1’ ‘DHCQ-VB2’ + Biểu diễn ngơn ngữ hình thức: ∀e ∈ CHUONGTRINHHOC, e.TenChuongTrinh ∈ [‘DHCQ’, ‘DHCQ-LT’, ‘DHCQ-VB1’ , ‘DHCQ-VB2’] + Bối cảnh : CHUONGTRINHHOC + Bảng tầm ảnh hưởng : Quan hệ Thêm Xóa Sửa CHUONGTRINHHO C +TenChuongTrinh - +TenChuongTrinh - Số tín mơn học tối đa 10 + Biểu diễn ngơn ngữ hình thức: ∀e ∈ MONHOC, e.TinChi ≤10 + Bối cảnh : MONHOC + Bảng tầm ảnh hưởng : Quan hệ Thêm Xóa Sửa MONHOC +TinChi - +TinChi - Điểm thi phải chấm theo thang điểm 10  + Biểu diễn ngơn ngữ hình thức: ∀e∈ KETQUA, ≤ e.Điểm ≤10 + Bối cảnh : KETQUA + Bảng tầm ảnh hưởng: Quan hệ Thêm Xóa Sửa KETQUA +Điểm - +Điểm 1.3) Ràng buộc toàn vẹn liên thuộc tính quan hệ - Năm kết thúc khóa học phải lớn năm bắt đầu + Biểu diễn ngơn ngữ hình thức: ∀e ∈ KHOAHOC, e.NamKetThuc ≥ e.NamBatDau + Bối cảnh : KHOAHOC + Bảng tầm ảnh hưởng: Quan hệ Thêm Xóa Sửa KHOAHOC ++NamKetThuc,NamBatDau - +NamKetThuc,NamBatDau 2) Chuẩn hóa sở liệu SINHVIEN (Mssv, HoTen, NamSinh, GioiTinh, MaLop) F = {Mssv → HoTen, NamSinh, GioiTinh, MaLop} KHOAHOC(MaKhoaHoc, NamBatDau,NamKetThuc) F = {MaKhoaHoc → NamBatDau, NamKetThuc} LOP (MaLop, MaKhoa, MaChuongTrinh, MaKhoaHoc) F = {MaLop → MaKhoa, MaChuongTrinh, MaKhoaHoc} KHOA (MaKhoa, TenKhoa) F = {MaKhoa → TenKhoa} CHUONGTRINHHOC (MaChuongTrinh, TenChuongTrinh) F = {MaChuongTrinh → TenChuongTrinh} MONHOC (MaMon, TenMon, TinChi, MaKhoa) F = {MaMon → TenMon, TinChi, MaKhoa} KETQUA (Mssv, MaMon, Diem) F = {Mssv,MaMon →Diem} B1 Kiểm tra dạng chuẩn 1NF + Các thuộc tính quan hệ nguyên tố + Giá trị thuộc tính hàng đơn trị, khơng chứa nhóm lặp + Khơng có thuộc tính có giá trị tính tốn từ thuộc tính khác => CSDL đạt chuẩn 1NF B2 Kiểm tra dạng chuẩn 2NF Trên tất quan hệ, thuộc tính khơng khóa phụ thuộc đầy đủ vào khóa => CSDL đạt chuẩn 2NF B3 Kiểm tra dạng chuẩn 3NF Trên tất quan hệ, thuộc tính khơng khóa khơng phụ thuộc bắt cầu vào khóa => CSDL đạt chuẩn 3NF VI) HIỆN THỰC HÓA TRÊN SQL 1) Các bảng Cơ sở liệu Bao gồm bảng: SINHVIEN, KHOAHOC, LOP, KHOA, CHUONGTRINHHOC, MONHOC, KETQUA Bảng SINHVIEN: Mssv HoTen NamSinh GioiTinh MaLop varchar(10) nvarchar(100) int nvarchar(3) varchar(10) Bảng KHOAHOC: MaKhoaHoc NamBatDau NamKetThuc varchar(10) int int Bảng LOP : MaLop MaKhoaHoc MaKhoa MaChuongTrinh varchar(10) varchar(10) varchar(10) varchar(10) Bảng KHOA: MaKhoa TenKhoa varchar(10) nvarchar(100) Bảng CHUONGTIRINHHOC: MaChuongTrinh TenChuongTrinh varchar(10) nvarchar(100) Bảng MONHOC: MaMonHoc TenMonHoc MaKhoa varchar(10) nvarchar(100) varchar(10) Mssv MaMonHoc Diem varchar(10) varchar(10) float Bảng KETQUA: 2) Bảng liệu mẫu Bảng SINHVIEN : Mssv HoTen Namsinh GioiTinh MaLop 312001 Nguyễn An 2002 Nam K46EC003 312002 Nguyễn Bình 2002 Nam K46EC003 312003 Bùi Linh 2002 Nam K47ERP001 312004 Lê Diệu 2001 Nữ K45BI001 312005 Dương Em 2003 Nữ K47AV001 312006 Lê Giang 2001 Nam K45AC001 312007 Cao Hưng 2000 Nam K44EC002 312008 Phan Mộng Ngọc 2003 Nữ K47AV001 312009 Võ Văn Kiệt 2002 Nam K46EC003 312010 Lê Lộc 2001 Nữ K45AC001 312011 Lê Đức Anh 2001 Nam K45AC001 312012 Võ Bảo Vi 2002 Nữ K46BI001 312013 Tạ Thị Minh Thư 2002 Nữ K46ERP001 312014 Bùi Thị Kiều Oanh 2002 Nữ K46KM001 312015 Trần Trọng Nghĩa 2003 Nam K47ERP001 312016 Phạm Tuấn Đạt 2003 Nam K47ERP001 312017 Vũ Thụy Hoàng Hà 2002 Nữ K46KM001 312018 Châu Thúy Hằng 2001 Nữ K45AV001 312019 Nguyễn Thị Thu Trinh 2003 Nữ K47AC001 312020 Dương Thị Xuân Phương 2000 Nữ K44EC002 Bảng KHOAHOC: MaKhoaHoc K44 K45 K46 K47 NamBatDau 2018 2019 2020 2021 NamKetThuc 2022 2023 2024 2025 Bảng KHOA: MaKhoa TenKhoa BIT Khoa Công Nghệ Thông tin Kinh Doanh KQM Khoa Kinh Doanh Quốc Tế LLCT Khoa Lý Luận Chính Trị KNN Khoa Ngoại Ngữ KET Khoa Kế tốn Bảng LOP : Malop MaKhoa MaChuongTrinh KhoaHoc K46EC003 BIT DHCQ K46 K45BI001 BIT DHCQ K45 K47AV001 KNN DHCQ K47 K45AC001 KET DHCQ K45 K47ERP001 BIT DHCQ K47 K44EC002 BIT DHCQ K44 K46KM001 KQM DHCQ K46 K47AC001 KET DHCQ K47 K45AV001 KNN DHCQ K45 K46BI001 KNN DHCQ K46 K46ERP001 BIT DHCQ K46 Bảng KETQUA: Mssv MaMon 312001 312002 INF MAR 312003 ING 312004 HIS 4.5 312005 ENG 312006 ENG 312007 HIS 10 312008 MAR 312009 ING 312010 INF 312011 INF 312012 MAR 312013 ENG 8.5 312014 HIS 9.5 312015 ING 7.5 312016 INF 5.5 312017 MAR 312018 ENG 312019 HIS 312020 ING Bảng CHUONGTIRINHHOC: Machuongtrinh TenChuongTrinh DHCQ Đại học quy DHCQ-LT Đại học quy -Liên thơng DHCQ-VB2 Đại học - Văn DHCQ-VB1 Đại học - Văn Bảng MONHOC: Diem 5.5 6.5 MaMon INF MAR ING HIS ENG TenMon Cơ sở liệu Marketing Phân tích nghiệp vụ Lịch Sử Đảng Tiếng Anh HP4 MaKhoa BIT KQM BIT LLCT KNN TinChi 3 3) Các câu truy vấn thông tin đơn giản Câu : Cho biết thông tin sinh viên thuộc khoa Kinh Doanh Quốc Tế Câu : Cho biết họ tên điểm số sinh viên khoa BIT có điểm thi mơn   VII) KẾT LUẬN Sau khoảng thời gian làm việc nghiêm túc hiệu nhóm, đến đồ án “THIẾT KẾ CƠ SỞ DỮ LIỆU CHO HỆ THỐNG QUẢN LÝ SINH VIÊN ”.của nhóm hoàn thành theo yêu cầu nội dung thời gian giảng viên quy định Trong trình nghiên cứu thực đề tài với tâm cao hạn chế kinh nghiệm kiến thức nên đồ án nhóm chắn khơng thể tránh khỏi thiếu xót Nhóm chúng em mong nhận ý kiến đóng góp từ thầy để hồn thiện Cuối lần nhóm chúng em xin gửi lời cám ơn chân thành tới thầy Bùi Xuân Huy tạo điều kiện cho nhóm có hội làm quen với sở liệu, nghiên cứu sâu áp dụng đồ án này.Đồng thời, thơng qua đồ án, giúp nhóm rèn luyện cách sử dụng SQL, hiểu thêm sở liệu cách vận hành