BÀI tập lớn QUẢN lý GIÁO vụ

Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] LỜI NÓI ĐẦU Cơ sở liệu chuyên ngành quan tâm nhiều khoa học máy tính cơng nghệ thơng tin Hầu hết ứng dụng hay website cần phải có sở liệu, để lưu trữ liệu, xử lý thông tin đưa báo cáo, hỗ trợ tìm kiếm… Ưu điểm sở liệu giảm trùng lặp thông tin xuống mức thấp đảm bảo quán tồn vẹn liệu, đảm bảo liệu truy xuất theo nhiều cách khác nhau, khả chia sẻ thông tin cho nhiều người sử dụng nhiều ứng dụng khác Vì vậy, việc tìm hiểu học tập kiến thức sở sở liệu cần thiết, người làm cơng tác nghiên cứu mà cịn người cần kiến thức sở để thực ứng dụng sở quy mô lớn chuyên ngành Trên sở học tìm hiểu vấn đề trên, em lựa chọn đề tài: “Xây dựng sở liệu quản lý giáo vụ ” Nội dung báo cáo gồm phần sau đây: Phần 1: Thiết kế sở liệu mơ hình thực thể liên kết Phần 2: Chuyển đổi thành mơ hình liệu quan hệ Phần 3: Xác định khóa Phần 4: Chuẩn hóa lược đồ quan hệ Phần 5: Các câu lệnh truy vấn SQL Trong trình làm bài, em cố gắng tìm hiểu nghiệp vụ quản lý kho vật tư dựa vào kiến thức học để hồn thiện tập lớn Song khơng thể tránh khỏi thiếu sót, em mong nhận góp ý từ thầy để làm hồn thiện Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] CHƯƠNG I: THIẾT KẾ CƠ SỞ DỮ LIỆU VÀ MƠ HÌNH THỰC THỂ LIÊN KẾT 1.1 Giơí thiệu sơ lược sở liệu quản lý giáo vụ Hiện nay, trường học phải quản lý khối lượng lớn em học viên, kèm theo hàng loạt loạt Đây kho liệu lớn, lưu trữ xử lý cách thủ công trước mà cần phải tin học hố, cụ thể xây dựng chương trình tin học để quản lý thống toàn diện hoạt động giảng dạy , quản lý học viên nhà trường Do nên em chọn đề tài quản lý giáo vụ Quản Lý giáo vụ bao gồm số công việc vấn đề quản lý trường học quản lý học viên,giáo viên, lớp học, khoa đặc biệt quản lý việc giảng dạy, điểm số… với CSDL sử dụng Microsoft Access 2007 1.2 Các thực thể thuộc tính chúng 1.2.1 Các khái niệm  Thực thể(Entity): khái niệm mô tả lớp đối tượng có đặc trưng mà cần quan tâm  Thuộc tính(Attribute): tính chất, đặc điểm chung đối tượng giá trị dùng để mơ tả đặc trưng thực thể. Thuộc tính đơn trị, đa trị (lặp), phức hợp Ký hiệu hình thoi 1.2.2 Các thực thể sở liệu quản lý giáo vụ a) Thực thể “học viên” Lưu trữ thông tin học viên :mã học viên, họ tên, ngày sinh, giới tính, quê quán thuộc lớp mã học họ tên viên ngày sinh mã lớp học viên Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] giới tính q qn Hình 1.1: thực thể “học viên” b) Thực thể “lớp” Mỗi lớp gồm có mã lớp, tên lớp, mã học viên làm lớp trưởng, sĩ số lớp, mã giáo viên làm giáo viên chủ nhiệm lớp mã lớp tên lớp mã gvcn lớp t sĩ số mã lớp trưởng Hình 1.2: thực thể “lớp” Cơ sở liệu- Quản lý giáo vụ c) Thực thể”khoa” Mỗi khoa cần lưu trữ mã khoa, tên khoa, ngày thành lập khoa mã giáo viên làm trưởng khoa(là giáo viên thuộc khoa) mã khoa tên khoa khoa Mã trưởng khoa ngày thành lập Hình 1.3: thực thể “ khoa” Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] d) Thực thể “mơn học” Mỗi mơn học cần lưu trữ mã môn học, tên môn học, số tiết lý thuyết, số tiết thực hành khoa phụ trách mã môn học tên môn học mã khoa môn học t số tiết thực hành số tiết lý thuyết Hình 1.4: thực thể “mơn học” Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] e) Thưc thể “giáo viên” Lưu trữ mã giáo viên, họ tên ,ngày sinh, giới tính, học vị, ngày vào làm việc thuộc khoa họ tên mã khoa mã giáo viên giáo viên ngày sinh ngày vào làm việc giới tính học vị Hình 1.5: thực thể “giáo viên” f) Thực thể “giảng dạy” Mỗi học kỳ năm học phân công giáo viên giảng dạy lớp học mơn gì, thời gian kỳ học đó(thời điểm bắt đầu kết thúc) mã lớp Ngày kết thúc Mã môn học giảng dạy Mã giáo viên ngày bắt đầu Học kỳ Năm Hình 1.6: thực thể “ giảng dạy” 1.3 Xác định RBTV Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] 1.3.1 Định nghĩa: Ràng buộc toàn vẹn(RBTV) điều kiện bất biến không vi phạm CSDL Trong CSDL tồn nhiều mối liên kết ảnh hưởng qua lại lẫn thuộc tính, giá trị quan hệ nhiều quan hệ Khi xác định RBTV cần rõ: Điều kiện RBTV, từ xác định cách biễu diễn Bối cảnh xảy RBTV hay nhiều quan hệ Tầm ảnh hưởng RBTV , khả tính tồn vẹn bị vi phạm Hành động cần phải có RBTV bị vi phạm RBTV miền gía trị thuộc tính RBTV liên thuộc tính RBTV liên bộ, liên thuộc tính RBTV phụ thuộc tồn RBTV tổng hợp (liên - liên quan hệ) 1.3.2 Xác định RBTV Gồm điều kiện RBTV biểu diễ chúng, đồng thời ta lập bảng tầm ảnh hưởng RBTV Dấu (+): RBTV cần kiểm tra nguy dẫn tới vi phạm Dấu (-): RBTV khơng có nguy bị vi phạm Dấu (-(*)): RBTV khơng bị vi phạm khơng phép sửa đổi a) R1: học viên phải có mã số riêng biệt không trùng với học viên khác ¥ hv1, hv2 € hocvien, hv1 ≠ hv2 => hv1.mahv ≠ hv2.mahv Quan hệ hocvien Thêm +(mahv) Sửa -(*) Xóa + b) R2: lớp học phải có mã số để phân biệt với lớp khác trường ¥ lh1, lh2 € lop, lh1 ≠ lh2 => lh1.malop ≠ lh2.malop Quan hệ lop Thêm +(malop) Sửa -(*) Xóa + Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] c) R3: khoa phải có mã số , không trùng với khoa khác ¥ kh1, kh2 € khoa, kh1 ≠ kh2 => kh1.mak ≠ kh2.mak Quan hệ khoa Thêm +(mak) Sửa -(*) Xóa + d) R4: mơn học có mã riêng biệt không trùng với bất môn học khác ¥ mh1, mh2 € monhoc, mh1 ≠ mh2 => mh1.mamh ≠ mh2.mamh Quan hệ monhoc Thêm +(mamh) Sửa -(*) Xóa + e) R5: giáo viên phải có mã riêng biệt không trùng với giáo viên khác ¥ gv1, gv2 € giaovien, gv1 ≠ gv2 => gv1.magv ≠ gv2.magv Quan hệ giaovien Thêm +(magv) Sửa -(*) Xóa + f) R6: học viên phải đăng ký vào lớp trường(” học viên phải có mã lớp thuộc danh mục lớp”) ¥ hv € hocvien, Ǝ lh € lop cho hv.mal = lh.mal Quan hệ hocviên lop Thêm +(mal) - Sửa -(*) -(*) Xóa + + g) R7: giáo viên phải trực thuộc khoa đó(“mỗi giáo viên phải có mã khoa thuộc danh mục khoa”) ¥ gv € giaovien, Ǝ kh € khoa cho gv.mak = kh.mak Quan hệ monhoc khoa Thêm +(mak) - Sửa -(*) -(*) Xóa + + h) R8: môn học phải thuộc khoa(“mỗi giáo viên phải có mã khoa thuộc danh mục khoa”) ¥ mh € monhoc, Ǝ kh € khoa cho mh.mak = kh.mak Hỗ trợ ôn tập Quan hệ giaovien khoa [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] Thêm +(mak) - Sửa -(*) -(*) Xóa + + i) R10: giáo viên vào làm phải 22 tuổi ¥ gv € giaovien | (gv.ngayvl – gv.ngaysinh) / 365 ≥ 22 Quan hệ giaovien Thêm +(ngayvl, ngaysinh) Sửa -(*) Xóa + j) R11: sĩ số lớp lớn phải số lượng học viên thuộc lớp ¥ lh € lop lh.siso > thì:lh.siso =COUNT (hv € hocvien, hv.malop = lh.malop) Quan hệ hocvien lop Thêm - Sửa -(*) -(*) 1.4 xác định phụ thuộc hàm a) Quan hệ hocvien(mahv, hotenhv, ngaysinh, gioitinh, que, malop) ký hiệu: Q1(A, B, C, D, E, F) f1: mahv xác định hotenhv nên A →B f2: mahv xác định ngaysinh nên A →C f3: mahv xác định gioitinh nên A →D f4: mahv xác định que nên A →E f5: mahv xác định malop nên A →F b) Quan hệ lop( malop, tenlop, maltrg, siso, magvcn ) ký hiệu: Q2(A, B, C, D, E) f1: malop xác định tenlop nên A →B f2: malop xác định maltrg nên A →C f3: malop xác định siso nên A →D f4: malop xác định magvcn nên A →E Xóa + + Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] Từ ta có tập PTH F2={ A →B, A →C, A →D, A →E} c) Quan hệ khoa(mak, tenk, ngaytl,matrgk) ký hiệu: Q3(A, B, C, D) f1: mak xác định tenk nên A →B f2: mak xác định ngaytl nên A →C f3: mak xác định matrgk nên A →D d) Quan hệ monhoc(mamh, tenmh, stlt, stth, mak) ký hiệu: Q4(A, B, C, D, E) f1: mamh xác định tenmh nên A →B f2: mamh xác định stlt nên A →C f3: mamh xác định stth nên A →D f4: mamh xác định mak nên A →E e) Quan hệ giaovien( magv, hotengv, ngaysinh, gioitinh, hocvi, ngayvl, mak) ký hiệu: Q1(A, B, C, D, E, F, G) f1: magv xác định hotengv nên A →B f2: magv xác định ngaysinh nên A →C f3: magv xác định gioitinh nên A →D f4: magv xác định hocvi nên A →E f5: magv xác định ngayvl nên A →F f6: magv xác định mak nên A →G Từ ta có tập PTH F5={ A →B, A →C, A →D, A →E, A →F, A →G} f) quan hệ giangday(malop, mamh, magv, hocky, nam, ngaybd, ngaykt) ký hiệu: Q6(A, B, C, D, E, F, G ) f1: (malop, mamh) xác định magv nên (A, B) →C f2: (malop, mamh) xác định hocky nên (A, B) →D f3: (malop, mamh)xác định nam nên (A, B) →E f4: (malop, mamh) xác định ngaybd nên (A, B) →F f5: (malop, mamh) xác định ngaykt nên (A, B) →G Từ ta có tập PTH F6={ (A , B) →C, (A , B) →D, (A , B) →E, (A , B) →F, (A , B) →G} Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] 1.5 xây dựng mơ hình thực thể liên kết 1.5.1 khái niệm Mối liên hệ (Entity Relationship): mối liên hệ thực thể thường biểu diễn hình thoi Trong sơ đồ thực thể liên kết có loại kiên kết sau: Quan hệ 1-1: mối quan hệ mà thể thực thể E1 có nhiều thể liên kết thực thể E2 Quan hệ 1-n: mối quan hệ mà thể thực thể E1 khơng liên kết liên kết với hay nhiều thể thực thể E2 Quan hệ n-n: mối quan hệ mà thể thực thể liên kết với nhiều thể thực thể khác ngược lại Thuộc tính mối liên hệ (Relationship Attribute): mối liên hệ có thuộc tính riêng chúng Chú ý: để đơn giản, trình bày thuộc tính nằm ln thực thể 1.5.2 xác đinh quan hệ CSDL quản lý giáo vụ Mối quan hệ thực thể lớp thực thể học viên quan hệ 1-n: lớp có nhiều học viên, học viên thuộc lớp định lớp có học viên Hình 1.7: sơ đồ quan hệ thực thể lớp học viên Mối quan hệ thực thể khoa thực thể giáo viên quan hệ 1-n: khoa gồm nhiều giáo viên, giáo viên thuộc khoa định khoa có giáo viên Hình 1.8: sơ đồ quan hệ thực thể khoa giáo viên Mối quan hệ thực thể khoa thực thể môn học quan hệ 1-n: khoa gồm hay nhiều môn học, môn học thuộc khoa định khoa có mơn học Hình 1.9: sơ đồ quan hệ thực thể khoa môn học Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] c) bảng khoa(mak, tenk, ngaytl,matrgk) khoa mak tenk ngaysinh ngaytl matrgk d) bảng monhoc(mamh, tenmh, stlt, stth, mak) monhoc mamh tenmh stlt stth mak e) bảng giaovien( magv, hotengv, ngaysinh, gioitinh, hocvi, ngayvl, mak) giaovien magv hotengv ngaysinh gioitinh hocvi ngayvl mak f) bảng giangday (malop, mamh, magv, hocky, nam, ngaybd, ngaykt) Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] giangday malop mamh magv hocky nam ngaybd ngaykt 2.3 xây dựng kết nối bảng từ liên kết Mối quan hệ thực thể lớp thực thể học viên quan hệ 1-n  Thuộc tính malop bảng lop khóa ngoại bảng hocvien Mối quan hệ thực thể khoa thực thể giáo viên quan hệ 1-n.  Thuộc tính mak cuả bảng khoa khóa ngoại bảng giaovien Mối quan hệ thực thể khoa thực thể mơn học quan hệ 1-n.  Thuộc tính mak cuả bảng khoa khóa ngoại bảng monhoc Mối quan hệ thực thể học viên thực thể môn học quan hệ n-n.  Ta phải thêm bảng trung gian bảng kqthi( mahv, mamh, lanthi, ngthi, diem) bảng kqthi lưu trữ kết thi học viên thi mơn gì, lần thi thứ bao nhiêu, ngày thi ngày nào, diểm thi Bảng có cột sau: kqthi mahv mamh lanthi ngaythi diem Mối quan hệ thực thể giáo viên thực thể giảng dạy quan hệ 1-n  Thuộc tính magv cuả bảng giaovien khóa ngoại bảng giangday  2.4 Mơ hình liệu quan hệ quản lý giáo vụ Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] hocvien mahv hotenhv ngaysinh gioitinh que malop diemTB lop malop tenlop maltrg siso magvcn monhoc mamh tenmh stlt stth mak kqthi mahv mamh lanthi ngaythi diem khoa mak tenk ngaysinh ngaytl matrgk giảng dạy giaovien malop mamh magv hocky nam ngaybd ngaykt magv hotengv ngaysinh gioitinh hocvi ngayvl mak Hình 2.1: Mơ hình liệu liên kết.của CSDL quản lý giáo vụ Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] CHƯƠNG III: XÁC ĐỊNH KHĨA 3.1 thuật tốn xác định khóa lược đồ quan hệ 3.1.1) định nghĩa khóa Khóa định nghĩa lại phụ thuộc hàm sau: R(U), U= {A1, A2, ….An}, F= {f1, f2, …., fm} xác định R, K U khóa R thoả mãn hai điều kiện sau: (i) K → U (ii) ! Ǝ K’ K mà K’ → U Biểu diễn lược đồ quan hệ R(U) đồ thị có hướng sau: Mỗi nút đồ thị tên thuộc tính R Cung nối thuộc tính A B thể phụ thuộc hàm A → B Thuộc tính mà có mũi tên gọi gốc Thuộc tính mà có cung tới gọi nút Như khóa phải bào phủ tập hợp nút gốc, đồng thời không chứa nút đồ thị 3.1.2) thuật toán xác định khóa lược đồ quan hệ xuất phát từ tập nút gốc (X), dựa tập phụ thuộc hàm F, tìm bao đóng X+ X+ = U X khóa Ngược lại bổ sung thuộc tính khồng thc nút vào X tìm bao đóng Cứ tìm bao đóng X U Cuối khóa X 3.2) xác định khóa cho quan hệ CSDL quản lý giáo vụ a) quan hệ hocvien( mahv, hotenhv, ngaysinh, gioitinh, que, malop ) ký hiệu Q1(U) = Q1(A, B, C, D, E ,F) ta có tập PTH F1={ A →B, A →C, A →D, A →E, A →F } Xét A = ABCDEF = U   Vậy khóa quan hệ nhanvien A(mahv) b) quan hệ lop( malop, tenlop, maltrg, siso, magvcn ) ký hiệu Q2(U) = Q1(A, B, C, D, E ) ta có tập PTH F2={ A →B, A →C, A →D, A →E } Xét A = ABCDE = U   Vậy khóa quan hệ lop A(malop). c) quan hệ khoa(mak, tenk, ngaytl,matrgk) Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] ký hiệu Q3(U) = Q3(A, B, C, D) ta có tập PTH F3={ A →B, A →C, A →D } Xét A = ABCD = U   Vậy khóa quan hệ khoa A(mak). d) quan hệ monhoc(mamh, tenmh, stlt, stth, mak) ký hiệu Q4(U) = Q4(A, B, C, D, E ) ta có tập PTH F4={ A →B, A →C, A →D, A →E } Xét A = ABCDE = U   Vậy khóa quan hệ monhoc A(mamh). e) quan hệ giaovien( magv, hotengv, ngaysinh, gioitinh, hocvi, ngayvl, mak) ký hiệu Q5(U) = Q5(A, B, C, D, E ,F, G) ta có tập PTH F5={ A →B, A →C, A →D, A →E, A →F , A →G} Xét A = ABCDEFG = U   Vậy khóa quan hệ giaovien A(magv). f) quan hệ giangday (malop, mamh, magv, hocky, nam, ngaybd, ngaykt) ký hiệu: Q6(A, B, C, D, E, F, G ) Ta có tập PTH F6={ (A , B) →C, (A , B) →D, (A , B) →E, (A , B) →F, (A , B) →G} Xét {A, B} = ABCDEF = U   Vậy khóa quan hệ giangday AB ({malop, mamh}). g) quan hệ kqthi( mahv, mamh, lanthi, ngaythi, diem) ký hiệu Q7(U) = Q7(A, B, C, D, E ) f1: (mahv, mamh, lanthi) xác định ngaythi nên (A, B, C) →D f2: (mahv, mamh, lanthi) xác định diem nên (A, B, C) →E Từ ta có tập PTH F7={ (A , B, C) →D, (A , B, C) →E } Xét {A, B, C} = ABCDE = U  Vậy khóa quan hệ kqthi ABC ({mahv, mamh, lanthi}). Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] CHƯƠNG IV: CHUẨN HĨA LƯỢC ĐỒ QUAN HỆ THÀNH DẠNG CHUẨN 3NF HOẶC BCNF 4.1 Các dạng chuẩn thuật tốn chuẩn hóa 4.1.1 Các dạng chuẩn       Dạng chuẩn 1(1NF): lược đồ quan hệ Q dạng !NF tất thuộc tính Q thuộc tính đơn.  Dạng chuẩn (2NF): lược đồ quan hệ Q dạng chuẩn 2NF 1NF tất thuộc tính khơng khóa phụ thuộc đầy đủ vào khóa.  Dạng chuẩn (3NF): ĐN1: lược đồ quan hệ Q dạng chuẩn 3NF 2NF tất thuộc tính khơng khóa khơng phụ thuộc bắc cầu vào khóa ĐN2: lược đồ quan hệ Q dạng chuẩn 3NF 1NF tất phụ thuộc hàm không hiển nhiên X→Y F thỏa hai điều kiên sau: (i) X siêu khóa (X chứa khóa đó) (ii) thuộc tính tập (Y - X) nằm khóa  Dạng chuẩn Boyce – codd (BCNF): lược đồ quan hệ Q dạng chuẩn BCNF 1NF tất phụ thuộc hàm khơng hiển nhiên X→Y F X siêu khóa (X chứa khóa đó). 4.1.2 Thuật tốn chuẩn hóa Thuật tốn phân rã Dựa vào điều kiện phan rã bảo tồn thơng tin Q thành Q1 Q2 thỏa Q1 hay Q1 Q2→ Q2\ Q1 Thuật toán phân rã thành lược đồ dạng chuẩn BCNF sau: Cho Q tập F xác định Q Phân_rã :={Q} ; done:= false; Tính F+; while (not done) if (có Qi Phân_rã khơng dạng BCNF) then Begin X→Y phụ thuộc hàm không hiển nhiên Qi thỏa: Cơ sở liệu- Quản lý giáo vụ Q2 → Q1\ Q2 Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] X→Qi F+và X Y= Phân_rã := (Phân_rã - Qi) U (XY) U (Qi-Y) End else done := true; Kết ta tập Phân_rã gồm lược đồ dạng BCNF Thuật toán tổng hợp Thuật toán sau cho phân rã đạt tối thiểu dạng 3NF Cho Q tập PTH F xác địnhtrên Q Tính Fc phủ tối tiểu F+; Xác định khóa Q; i:= 0; for (mỗi phụ thuộc hàm X→Y Fc) if (khơng có Qj, j=1,2,…I chứa XY) then begin i:= i+1; Qi:= XY; end; if(khơng có Qj, j= 1, 2….i chứa khóa Q) then begin i:= i+ 1; Qi := khóa Q; end; return(Q1, Q2,…Qi); 4.2 Cách thức chuẩn hóa thực tế Trong thực chuẩn hóa lược đồ CSDL thường thực theo bước: Bước 1: kiểm tra xem quan hệ đạt dạng chuẩn 1NF chưa? Nếu chưa 1NF có nghĩa có thuộc tính chưa ngun tố / lặp Tiến hành tách thuộc tính Bước 2: kiểm tra xem chúng có dạng 2NF khơng ? Nghĩa kiểm tra xem thuộc tính khơng khóa có phụ thuộc hồn tồn vào khóa khơn g? Tiến hành tách PTH phận thành bảng để giảm bớt trùng lặp thông tin Bước 3: kiểm tra xem chúng đạt dạng chuẩn 3NF chưa ? Nghĩa thuộc tính khơng khóa phụ thuộc trực tiếp vào khóa Tiến hành tách PTH bắc cầu thành bảng Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] Bước 4: kiểm tra xem chúng đạt dạng chuẩn BCNF chưa ?.Nghĩa tất phụ thuộc hàm có vế trái siêu khóa Tiến hành tách PTH có vế trái chưa phải siêu khóa 4.3 Chuẩn hóa sở liệu quan hệ quản lý giáo vụ CSDL quản lý giáo vụ có: a) Quan hệ hocvien( mahv, hotenhv, ngaysinh, gioitinh, que, malop ) có tập PTH F1 = {mahv → hotenhv, mahv → ngaysinh, mahv → gioitinh , mahv → que , mahv → malop } b) quan hệ lop( malop, tenlop, maltrg, siso, magvcn ) có tập PTH F2 = {malop → tenlop, malop → maltrg, malop → siso, malop → magvcn} c) quan hệ khoa(mak, tenk, ngaytl,matrgk) có tập PTH F3 = {mak → tenk, malop → ngaytl, malop → matrgk} d) quan hệ monhoc(mamh, tenmh, stlt, stth, mak) có tập PTH F4 = {mamh → tenmh, mamh → stlt, mamh → stth, mamh→ mak} e) quan hệ giaovien( magv, hotengv, ngaysinh, gioitinh, hocvi, ngayvl, mak) có tập PTH F5 = {magv → hotengv, magv → ngaysinh, magv → gioitinh , magv → hocvi , mahv → ngayvl, magv→ mak} f) quan hệ giangday (malop, mamh, magv, hocky, nam, ngaybd, ngaykt) có tập PTH F6 = {(malop, mamh) → magv, (malop, mamh) → hocky, (malop, mamh) → nam, (malop, mamh) → ngaybd, (malop, mamh) → ngaykt } g) quan hệ kqthi( mahv, mamh, lanthi, ngaythi, diem) có tập PTH F7 = {(mahv, mamh, lanthi) → ngaythi, (mahv, mamh, lanthi) → diem} Bước 1: kiểm tra dạng chuẩn 1NF Các thuộc tính tất quan hệ nguyên tố  CSDL đạt dạng chuẩn 1NF Bước 2: kiểm tra dạng chuẩn 1NF Xét thuộc tính khơng khóa phụ thuộc hồn tồn vào khóa  CSDL đạt dạng chuẩn 2NF Bước 3: kiểm tra dạng chuẩn 1NF thuộc tính khơng khóa phụ thuộc trực tiếp vào khóa  CSDL đạt dạng chuẩn 3NF Bước 4: Kiểm tra dạng chuẩn 1NF Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] Xét tất quan hệ :tất vế trái phụ thuộc hàm siêu khóa  CSDL đạt dạng chuẩn BCNF Kết luận: CSDL đạt dạng chuẩn BCNF. Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] CHƯƠNG V: CÂU LỆNH SQL 5.1 Các câu lệnh tạo bảng a) tạo bảng hocvien( mahv, hotenhv, ngaysinh, gioitinh, que, malop ) create table hocvien ( mahv char(5) not null, hotenhv char(20), ngaysinh date, gioitinh char(3), que char(30), malop char(5), primary key (mahv), foreign key (malop) References lop); b) tạo bảng lop( malop, tenlop, maltrg, siso, magvcn ) create table lop ( malop char(5) not null, tenlop char(20), maltrg char(5), siso integer, magvcn char(5), primary key (malop)); c) tạo bảng khoa(mak, tenk, ngaytl,matrgk) create table khoa ( mak char(5) not null, tenk char(20), ngaytl date, maltrg char(5), primary key (mak)); d) tạo bảng monhoc(mamh, tenmh, stlt, stth, mak) create table monhoc ( mamh char(5) not null, tenmh char(20), Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] stlt integer, stth integer, mak char(5), primary key (mahv), foreign key (mak) References khoa); e) tạo bảng giaovien( magv, hotengv, ngaysinh, gioitinh, hocvi, ngayvl, mak) create table giaovien ( magv char(5) not null, hotengv char(20), ngaysinh date, gioitinh char(3), hocvi char(10), ngayvl date, mak char(5), primary key (magv), foreign key (mak) References khoa); f) tạo bảng giangday (malop, mamh, magv, hocky, nam, ngaybd, ngaykt) create table giangday ( malop char(5) not null, Mamh char(5) not null, magv char(5), hocky integer, nam integer, ngaybd date, ngaykt date, primary key (malop, mamh), foreign key (magv) References giaovien); g) tạo bảng kqthi( mahv, mamh, lanthi, ngaythi, diem) create table kqthi ( mahv char(5) not null, mamh char(5) not null, lanthi integer not null, ngaythi date, diem double, primary key (mahv, mamh, lanthi)); 5.2 câu lệnh truy vấn liệu SQL Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] in danh sách (mã học viên, họ tên, ngày sinh,giới tính, quê quán, tên lớp) lớp trưởng lớp Select hocvien.*, tenlop From hocvien, lop Where (hocvien.mahv = lop.maltrg); in danh sách học viên lớp “MMT” cho biết dang sách học viên quê “Hà Nội” Select hocvien.* From hocvien Where que like “Hà Nội”; cho biết dang sách giáo viên vào trường năm 2012 in danh sách giáo viên thuộc khoa “CNTT” Select giaovien.* From giaovien Where mak in ( select mak From lop Where tenk like “CNTT”); cho biết khoa thành lập sớm Select top 1, mak, tenk, ngaytl, matrgk From khoa Order by ngaytl asc; cho biết số mơn học trực thuộc khoa tìm tên mơn học mà giáo viên có tên “Đặng Thị Thu Hiền” dạy kỳ năm 2012 Select tenmh From monhoc Where mamh in ( select mamh From giangday Hỗ trợ ơn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] Where (hocky = 1) and (nam = 2012) and magv in ( select magv from giaovien where hotengv like”Đặng Thị Thu Hiền”)); tìm học viên thi lại lần mơn “giải tích” Select hocvien.* From hocvien Where mahv in ( select mahv From kqthi Where (lanthi = 3) and mamh in ( select mamh From monhoc Where tenmh like “giải tích”)); 15 tìm học viên (mã học viên, học tên) thi lại môn Select mahv, hotenhv From hocvien Where mahv in ( select mahv From kqthi Where lanthi = 1); 11 có giáo viên có học vị “TS” “PGS” Select count(magv) as [soluong] From giaovien Where (hocvi like “TS”) or (hocvi like “PGS”) Group by mak; 12 cho biết khoa có số lượng giáo viên đơng Select khoa.*, count(magv) From khoa, giaovien Where giaovien.makhoa = khoa.makhoa Group by mak Having count(magv) >= all ( select count(magv) From giaovien Group by mak)); 13 cho biết tên môn học, tên lớp có thời gian kết thúc muộn năm 2011 Select top 1,tenlop, tenmh, ngaykt From lop, monhoc, giangday Where (lop.malop = giangday.malop) and (giangday.mamh = monhoc.mamh) and (giangday.nam = 2011) order by ngaykt desc; Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] 14 cho biết giáo viên giảng dạy môn “CSDL” nhiều Select giaovien.* From giaovien Where magv in ( select magv, count(magv) From giangday, monhoc Where (giangday.mamh = monhoc.mamh) and (tenmh like “CSDL”) Group by mak Having count(magv) >= all ( select count(magv) 10 tìm giáo viên khơng phân cơng dạy môn Select giaovien.* From giaovien Where magv not in ( select magv From giangday); Hỗ trợ ôn tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] KẾT LUẬN Trong q trình hoàn thành báo cáo em rút nhiều kinh nghiệm nâng cao kỹ chuyên môn, phát thiếu sót kiến thức Mặc dù cố gắng để xây dựng chuẩn hóa theo lý thuyết thực tế gặp nhiều khó khăn, phạm vi kiến thức học chắn báo cáo e có thiếu sót Vì em mong nhận góp ý đánh giá để em hoàn thiện Em xin chân thành cảm ơn! ... trường Do nên em chọn đề tài quản lý giáo vụ Quản Lý giáo vụ bao gồm số công việc vấn đề quản lý trường học quản lý học viên ,giáo viên, lớp học, khoa đặc biệt quản lý việc giảng dạy, điểm số…... siêu khóa 4.3 Chuẩn hóa sở liệu quan hệ quản lý giáo vụ CSDL quản lý giáo vụ có: a) Quan hệ hocvien( mahv, hotenhv, ngaysinh, gioitinh, que, malop ) có tập PTH F1 = {mahv → hotenhv, mahv → ngaysinh,... tập [ĐỀ CƯƠNG CHƯƠNG TRÌNH ĐẠI HỌC] CHƯƠNG I: THIẾT KẾ CƠ SỞ DỮ LIỆU VÀ MÔ HÌNH THỰC THỂ LIÊN KẾT 1.1 Giơí thiệu sơ lược sở liệu quản lý giáo vụ Hiện nay, trường học phải quản lý khối lượng lớn