Báo-cáo

TRƯỜNG ĐẠI HỌC VINH VIỆN KỸ THUẬT VÀ CÔNG NGHỆ BÁO CÁO BÀI TẬP LỚN HỌC PHẦN: CƠ SỞ DỮ LIỆU ĐỀ TÀI: XÂY DỰNG CƠ SỞ DỮ LIỆU QUẢN LÝ HỆ THỐNG TRƯỜNG ĐẠI HỌC GVHD: SVTH: MSSV: LỚP: TS Phan Anh Phong Nguyễn Hải Yến 1755248020100219 58K2 - CNTT VINH – 12/2019 LỜI NÓI ĐẦU Trong nhiều năm gần đây, thuật ngữ Cơ sở liệu – Database trở nên phổ biến nhiều lĩnh vực Các ứng dụng tin học vào việc quản lý hệ thống ngày đa dạng phong phú Hầu hết lĩnh vực kinh tế, xã hội, … ứng dụng thành tựu tin học vào lĩnh vực chun mơn đem lại hiệu quản lý tốt Chính mà ngày nhiều người quan tâm đến thiết kế, xây dựng ứng dụng sở liệu Cơ sở liệu cơng nghệ sở liệu có tác động to lớn viêc phát triển sử dụng máy tính Có thể nói sở liệu ảnh hưởng đến tất nơi có sử dụng máy tính Chẳng hạn kinh doanh (thơng tin nhà cung cấp, sản phẩm, khách hàng,…), trường học (thông tin giáo viên, học sinh, khoa, phịng ban,…), bệnh viện (thơng tin bác sĩ, bệnh nhân, phòng khám bệnh,…) nhiều lĩnh vực khác Cơ sở liệu hệ thống thơng tin có cấu trúc lưu trữ thiết bị thông tin thứ cấp (băng từ, đĩa từ…) để thỏa mãn yêu cầu khai thác thông tin đồng thời nhiều người sử dụng, nhiều chương trình ứng dụng với mục đích khác Giải pháp sở liệu có điểm bật chất tự mô tả hệ sở liệu; độc lập chương trình liệu; hỗ trợ khung nhìn liệu nhiều thành phần khả chia sẻ liệu cho nhiều người sử dụng hay nói cách khác giải pháp sở liệu đời giải nhược điểm hệ thống tệp (file) sử dụng trước Do việc tìm hiểu sở liệu cần thiết Đề tài “Xây dựng sở liệu quản lý hệ thống trường đại học” ví dụ cụ thể để cung cấp tảng thực tiễn cho mơ hình hóa, thiết kế ,cài đặt truy vấn CSDL phạm vi độ phức tạp cho phép Ở đề tài “Xây dựng sở liệu quản lý hệ thống trường đại học” này, em xin trình bày khía cạnh sau: Mơ hình hóa sở liệu, thiết kế sở liệu, cài đặt sở liệu thực số truy vấn tương tác SQL Trong trình làm bài, em cố gắng dựa vào kiến thức học tìm hiểu thực tế việc quản lý hệ thống trường đại học để thực đề tài hoàn tốt Tuy nhiên khơng thể tránh khỏi sai sót em mong nhận ý kiến đóng góp từ thầy cô bạn đọc để làm hồn thiện MỤC LỤC LỜI NĨI ĐẦU MỤC LỤC CHƯƠNG CƠ SỞ LÝ THUYẾT 1.1 Mô hình thực thể - liên kết (ER Model) 1.2 Mơ hình liệu quan hệ (Relation Database Model) 1.2.1 Các thành phần mơ hình quan hệ 1.2.2 Ánh xạ mơ hình thực thể - liên kết sang mơ hình quan hệ 1.2.3 Chuẩn hóa sở liệu quan hệ 1.2.3.1 Các dạng chuẩn 1.2.3.2 Chuẩn hóa phân rã 1.3 Cài đặt sở liệu quan hệ truy vấn tương tác với SQL CHƯƠNG THIẾT KẾ CƠ SỞ DỮ LIỆU 2.1 Kịch giới thực 2.1.1 Mô tả toán “Hệ thống đại học” 2.1.2 Ứng dụng hệ sở liệu 2.1.3 Các yêu cầu liệu cần lưu trữ 2.2 Mơ hình hóa liệu với sơ đồ thực thể - liên kết 2.3 Chuyển mơ hình ER sang mơ hình liệu quan hệ 13 2.4 Chuẩn hóa sở liệu quan hệ 14 CHƯƠNG CÀI ĐẶT CƠ SỞ DỮ LIỆU VÀ THỰC HIỆN TRUY VẤN 21 3.1 Các lệnh tạo bảng sở liệu hệ thống đại học 21 3.2 Một số câu truy vấn sở liệu “Hệ thống trường đại học” 24 KẾT LUẬN 27 TÀI LIỆU THAM KHẢO CHƯƠNG CƠ SỞ LÝ THUYẾT Chương trình bày tổng quan số khái niệm mơ hình ER, mơ hình liệu quan hệ, số quy tắc ánh xạ mơ hình ER sang mơ hình quan hệ chuẩn hóa sở liệu 1.1 Mơ hình thực thể - liên kết (ER Model)  Là mơ hình phổ biến để biểu diễn trừu tượng cấu trúc sở liệu  Mô tả liệu có liên quan đơn vị giới thực qua đối tượng mối liên hệ chúng  Được sử dụng cho bước đầu thiết kế sở liệu, làm tảng để ánh xạ sang mơ hình liệu mà Hệ quản trị CSDL sử dụng  Trong mơ hình ER, cấu trúc liệu biểu diễn dạng đồ thị “lược đồ liên kết - thực thể” sử dụng thành phần sau:  Một tập hợp thực thể thuộc tính tương ứng  Các mối liên hệ thực thể  Ràng buộc liên kết  Các bước thiết kế mơ hình ER:  B1: Xác định tập thực thể với thuộc tính tương ứng  B2: Xác định phân cấp IS - A  B3: Xác định mối liên kết  B4: Xác định ràng buộc liên kết 1.2 Mơ hình liệu quan hệ (Relation Database Model) Mơ hình quan hệ E.F.Codd đưa vào năm 1970 gây ý tức khắc tính đơn giản sở tốn học Mơ hình quan hệ có ảnh hưởng lớn lĩnh vực sở liệu, hầu hết Hệ quản trị sở liệu lựa chọn mơ hình để phát triển Tư tưởng loại mơ hình xem thứ sở liệu quan hệ 1.2.1 Các thành phần mơ hình quan hệ  Một quan hệ gồm thành phần:  Lược đồ: Được mô tả tên lược đồ, với tên kiểu liệu cột Lược đồ thường ổn định xem cấu trúc quan hệ  Thể hiện: Là nội dung quan hệ Một thể xem tập hợp dòng hay  Một sở liệu quan hệ tập quan hệ bảng  Mỗi dòng (bộ) bảng biểu thị kiện tương ứng với thực thể liên kết giới thực  Tên bảng (quan hệ) tên cột (thuộc tính) dùng để giải thích ý nghĩa giá trị hàng  Mọi giá trị cột kiểu liệu (miền)  Một số ràng buộc toàn vẹn liệu:  Ràng buộc miền giá trị: Các ràng buộc miền rằng, giá trị thuộc tính A phải giá trị nguyên tử thuộc miền giá trị dom(A)  Ràng buộc NULL, NOT NULL  Khóa (tồn vẹn thực thể), khóa ngồi (tồn vẹn tham chiếu), check 1.2.2 Ánh xạ mơ hình thực thể - liên kết sang mơ hình quan hệ  Quy tắc 1: Tập thực thể thông thường Với kiểu thực thể thông thường E lược đồ ER, tạo quan hệ R chứa thuộc tính đơn E Với thuộc tính phức hợp, lấy thuộc tính thành phần đơn Chọn thuộc tính khóa E làm khóa cho R  Quy tắc 2: Tập liên kết -  Cách 1: Sử dụng khóa ngoài:  Giả sử chọn S hai quan hệ, bổ sung khóa quan hệ làm khóa ngồi cho quan hệ S Sẽ tốt chọn S với S kiểu thực thể có tham gia tồn thể  Bổ sung thuộc tính đơn liên kết 1-1 vào S (nếu có)  Cách 2: Thêm quan hệ (nối thuộc tính khóa hai quan hệ liên quan)  Thêm quan hệ thuộc tính nằm khóa thực thể có liên quan  Cách áp dụng hai thực thể có tham gia tồn thể vào liên kết 1-1  Quy tắc 3: Tập liên kết – N  Cách 1: Sử dụng khóa ngồi:  Xác định quan hệ phía nhiều (N-side), giả sử quan hệ S  Bổ sung khóa quan hệ phía (1-side) làm khóa ngồi cho S  Bổ sung thuộc tính đơn liên kết 1-N vào S (nếu có)  Cách 2: Tạo quan hệ S  Lấy khóa quan hệ thành phần  Bổ sung thuộc tính đơn liên kết 1-N vào S (nếu có)  Khóa S kết hợp khóa  Quy tắc 4: Tập liên kết M-N  Mỗi tập liên kết M-N tạo quan hệ S  Các khóa hai quan hệ liên kết M-N khóa ngồi S Các khóa ngồi kết hợp với làm khóa cho S  Bổ sung thuộc tính đơn liên kết vào S (nếu có)  Quy tắc 5: Thuộc tính đa trị  Mỗi thuộc tính đa trị A tạo thành quan hệ S Quan hệ S gồm thuộc tính A khóa K quan hệ nhận A làm thuộc tính đa trị  Khóa S kết hợp A K, tức AK  Quy tắc 6: Tập liên kết bậc n (n>2)  Mỗi liên kết bậc lớn tạo quan hệ S  Mỗi khóa quan hệ tham gia liên kết khóa ngồi S Chúng kết hợp với tạo nên khóa cho quan hệ S  Nếu có thuộc tính đơn liên kết bổ sung chúng vào S  Trường hợp phân cấp IS-A: Mỗi thực thể tách thành quan hệ tương ứng 1.2.3 Chuẩn hóa sở liệu quan hệ Q trình chuẩn hóa E.F.Codd đề nghị năm 1972 xét lược đồ quan hệ thực loạt kiểm tra để xác nhận có thỏa mãn dạng chuẩn hay khơng Chuẩn hóa liệu xem q trình phân tích lược đồ quan hệ cho trước dựa phụ thuộc hàm khóa chúng để đạt đến tính chất mong muốn: Cực tiểu dư thừa cực tiểu phép cập nhật bất thường 1.2.3.1 Các dạng chuẩn Có dạng chuẩn như: Dạng chuẩn (1NF), Dạng chuẩn (2NF), Dạng chuẩn (3NF), Dạng chuẩn Boyce-Codd (BCNF), Dạng chuẩn (4NF), Dạng chuẩn (5NF)  Dạng chuẩn (1NF):  Các thuộc tính bảng phải nguyên tố  Giá trị thuộc tính hàng phải đơn trị, khơng chứa nhóm lặp  Khơng chứa thuộc tính có giá trị tính tốn từ thuộc tính khác (thuộc tính suy dẫn)  Dạng chuẩn (2NF):  Là dạng chuẩn  Mỗi thuộc tính khơng phải khóa phụ thuộc hàm đầy đủ vào khóa  Dạng chuẩn (3NF):  Là dạng chuẩn  Các thuộc tính khơng khóa khơng phụ thuộc hàm bắc cầu vào khóa (các thuộc tính khơng phải khóa phụ thuộc hàm vào khóa chính) 1.2.3.2 Chuẩn hóa phân rã Thực chuẩn hóa dần theo bước: 1NF  2NF  3NF Kỹ thuật đảm bảo phép tách không thông tin lược đồ dạng chuẩn  Chuẩn hóa 1NF: Loại thuộc tính suy dẫn tách thuộc tính lặp  Loại thuộc tính suy dẫn khỏi sơ đồ quan hệ  Chọn khóa cho quan hệ ban đầu  Tạo quan hệ cách chép khóa từ quan hệ ban đầu chuyển thuộc tính lặp vào quan hệ mới, sau chọn khóa cho quan hệ  Chuẩn hóa 1NF  2NF: Loại bỏ phụ thuộc hàm phận vào khóa  Chuyển thuộc tính phụ thuộc chép thuộc tính phận khóa để tạo thành quan hệ  Chọn khóa cho quan hệ  Các thuộc tính cịn lại quan hệ ban đầu tạo thành quan hệ với khóa ban đầu có  Chuẩn hóa 2NF  3NF: Loại bỏ phụ thuộc hàm bắc cầu vào khóa  Loại bỏ thuộc tính bắc cầu khỏi quan hệ tách chúng thành quan hệ riêng có khóa thuộc tính bắc cầu  Các thuộc tính cịn lại lập thành quan hệ có khóa khóa ban đầu 1.3 Cài đặt sở liệu quan hệ truy vấn tương tác với SQL Sau thiết kế xong sở liệu, tiến hành cài đặt với hệ quản trị sở liệu cụ thể Như biết, hệ quản trị sở liệu phần mềm hay hệ thống thiết kế để quản trị sở liệu Cụ thể, chương trình thuộc loại hỗ trợ khả lưu trữ, sửa chữa, xóa tìm kiếm thơng tin sở liệu Có nhiều loại hệ quản trị CSDL khác từ phần mềm nhỏ chạy máy tính cá nhân hệ quản trị phức tạp chạy hay nhiều siêu máy tính Tuy nhiên, hệ quản trị CSDL thị trường có đặc điểm chung sử dụng ngôn ngữ truy vấn theo cấu trúc SQL Các hệ quản trị CSDL phổ biến nhiều người biết đến MySQL, Oracle, SQL Server, Informix, DB2,… Phần lớn hệ quản trị CSDL kể hoạt động tốt nhiều hệ điều hành khác Linux, Unix MacOS ngoại trừ SQL Server Microsoft chạy hệ điều hành Windows Microsoft SQL Server hệ quản trị sở liệu quan hệ (Relation Database Management System – RDBMS), cung cấp cách tổ chức liệu cách lưu chúng vào bảng Dữ liệu quan hệ lưu trữ bảng quan hệ định nghĩa bảng với Người dùng truy cập liệu Server thông qua ứng dụng Người quản trị CSDL truy cập Server trực tiếp để thực chức cấu hình, quản trị thực thao tác bảo trì CSDL Ngồi ra, SQL Server hệ quản trị CSDL có khả mở rộng, nghĩa chúng lưu lượng lớn liệu hỗ trợ tính cho nhiều phép nhiều người dùng truy cập liệu đồng thời Chính đề tài này, hệ quản trị CSDL lựa chọn SQL Server Microsoft, cụ thể phiên SQL Server 2012 Ngôn ngữ SQL xem yếu tố đóng góp vào thành cơng sở liệu quan hệ áp dụng vào đời sống thực tiễn xã hội Tuy ta thực truy vấn sở liệu phép toán đại số quan hệ phép toán tương đối phức tạp hầu hết người dùng nên ngôn ngữ SQL xem thay hồn hảo  SQL ngơn ngữ mức cao nên người sử dụng cần xác định kết truy vấn gì, phần cịn lại tính tốn tối ưu hóa câu lệnh hệ quản trị sở liệu đảm nhiệm  SQL chuẩn hóa hỗ trợ hầu hết hệ quản trị sở liệu thương mại  SQL ngôn ngữ tổng hợp sở liệu, bao gồm nhóm:  DDL (Data Definition Language): Ngôn ngữ định nghĩa sở liệu Ví dụ: Câu lệnh CREATE, ALTER, DROP  DML (Data Manipulation Language): Ngơn ngữ thao tác với CSDL Ví dụ: Câu lệnh UPDATE, DELETE, INSERT, SELECT  DCL (Data Control Language): Ngơn ngữ điều khiển truy cập CSDL Ví dụ: Câu lệnh GRANT, REVOKE CHƯƠNG THIẾT KẾ CƠ SỞ DỮ LIỆU Thiết kế bước quan trọng trình xây dựng sở liệu Trong hệ thống quản lý liệu, công việc chủ yếu thực không thu thập liệu, lưu trữ liệu khôi phục liệu mà quan trọng chuyển đổi liệu thành thơng tin Các thơng tin thu từ liệu nhanh chóng gần gũi với tình trạng thực tiễn việc tạo định xác có nhiều ý nghĩa Để thiết kế sở liệu phải thiết kế mơ hình liệu mức quan niệm (mơ hình ER) sau tiến hành xác định quan hệ tức chuyển mô hình ER xây dựng sang mơ hình liệu quan hệ chuẩn hóa quan hệ 3NF Chương trình bày cách đầy đủ bước 2.1 Kịch giới thực 2.1.1 Mơ tả tốn “Hệ thống đại học” Đại học ABC tổ chức lớn với nhiều sở Mỗi sở có tên gọi khác nhau, địa chỉ, khoảng cách đến trung tâm thành phố xe buýt chạy đến sở Mỗi sở có câu lạc Tên câu lạc bộ, tòa nhà mà câu lạc đặt, số điện thoại câu lạc nhiều môn thể thao mà câu lạc cung cấp, tất nên ghi lại Trường đại học bao gồm số trường thành viên chẳng hạn Trường Nghệ thuật,Trường Khoa học,… Mỗi trường có tên, hiệu trưởng tịa nhà Một trường chia thành số khoa, ví dụ Trường Khoa học có khoa Vật lý khoa Hóa học Mỗi khoa thuộc trường nằm sở, sở địa điểm nhiều khoa Mỗi khoa có tên tịa nhà giao Mỗi khoa cung cấp chương trình khác chương trình cung cấp khoa Mỗi chương trình có mã số nhất, tiêu đề, cấp độ khoảng thời gian Mỗi chương trình bao gồm số học phần, chương trình khác có khóa học khác Mỗi học phần có mã số tên học phần Một số học phần có nhiều học phần tiên học phần học phần tiên số học phần khác o Vì thuộc tính Tên mơn thể thao thuộc tính đa trị (Một câu lạc cung cấp nhiều mơn thể thao khác nhau) nên cần tách thuộc tính khỏi quan hệ đặt vào bảng với khóa quan hệ ban đầu Tên CLB Khóa bảng tổ hợp khóa quan hệ ban đầu thuộc tính đa trị Các thuộc tính cịn lại (Tịa nhà CLB, SĐT, Tên sở) lập thành quan hệ với khóa khóa ban đầu (Tên CLB) Vậy có quan hệ sau dạng chuẩn 1: + Môn thể thao (Tên CLB, Tên môn thể thao) + Câu lạc (Tên CLB, Tòa nhà CLB, SĐT, Tên sở) o Quan hệ Môn thể thao (Tên CLB, Tên môn thể thao) dạng chuẩn khơng tồn thuộc tính khơng khóa phụ thuộc hàm phận vào khóa Ở quan hệ Câu lạc (Tên CLB, Tòa nhà CLB, SĐT, Tên sở) ta thấy thuộc tính khơng phải khóa ( Tịa nhà CLB, SĐT, Tên sở) phụ thuộc hàm tồn vào khóa F = {Tên CLB  Tịa nhà CLB, SĐT, Tên sở} => Quan hệ Câu lạc (Tên CLB, Tòa nhà CLB, SĐT, Tên sở) đạt dạng chuẩn o Quan hệ Môn thể thao (Tên CLB, Tên môn thể thao) quan hệ Câu lạc (Tên CLB, Tòa nhà CLB, SĐT, Tên sở) đạt dạng chuẩn thuộc tính khơng khóa phụ thuộc hàm vào khóa  Kết luận: Quan hệ Câu lạc (Tên CLB, Tịa nhà CLB, SĐT, Tên mơn thể thao, Tên sở) tách thành quan hệ: + Môn thể thao (Tên CLB, Tên môn thể thao) + Câu lạc (Tên CLB, Tòa nhà CLB, SĐT, Tên sở)  Trường (Tên trường, Tên hiệu trưởng, Tòa nhà) F = {Tên trường  Tên hiệu trưởng, Tòa nhà} 15 o Lược đồ quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa (Tên hiệu trưởng, Tòa nhà) phụ thuộc hàm đầy đủ vào khóa (Tên trường) nên quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa (Tên hiệu trưởng, Tòa nhà) phụ thuộc hàm vào khóa (Tên trường) nên quan hệ đạt dạng chuẩn  Khoa (Tên khoa, Tòa nhà khoa, Tên trường, Tên sở) F = {Tên khoa  Tòa nhà khoa, Tên trường, Tên sở} o Quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa => Quan hệ đạt dạng chuẩn o Quan hệ khơng chứa thuộc tính khơng khóa phụ thuộc hàm bắc cầu vào khóa => Quan hệ đạt dạng chuẩn  Chương trình (Mã chương trình, Tiêu đề chương trình, Cấp độ, Thời gian đào tạo, Tên khoa) F = {Mã chương trình  Tiêu đề chương trình, Cấp độ, Thời gian đào tạo, Tên khoa} o Quan hệ chứa thuộc tính ngun tố khơng chứa thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa => Quan hệ đạt dạng chuẩn o Quan hệ khơng chứa thuộc tính khơng khóa phụ thuộc hàm bắc cầu vào khóa => Quan hệ dạng chuẩn  Sinh viên (ID sinh viên, Tên sinh viên, Ngày sinh, Năm nhập học, Mã chương trình) F = { ID sinh viên  Tên sinh viên, Ngày sinh, Năm nhập học, Mã chương trình} o Quan hệ chứa thuộc tính ngun tố khơng chứa thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn 16 o Các thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa => Quan hệ đạt dạng chuẩn o Quan hệ khơng chứa thuộc tính khơng khóa phụ thuộc hàm bắc cầu vào khóa => Quan hệ dạng chuẩn  Học phần (Mã học phần, Tên học phần, Mã chương trình, ID học phần tiên quyết) o Vì ID học phần tiên thuộc tính đa trị (Một khóa học có nhiều học phần tiên học phần học phần tiên nhiều học phần khác nhau) nên cần tách thuộc tính khỏi quan hệ đặt vào quan hệ khác với khóa quan hệ ban đầu (Mã học phần) Khóa quan hệ tổ hợp khóa quan hệ ban đầu thuộc tính đa trị Các thuộc tính cịn lại lập thành quan hệ với khóa khóa ban đầu Vậy có quan hệ đạt dạng chuẩn 1: + Học phần tiên (ID học phần tiên quyết, Mã học phần) + Học phần (Mã học phần, Tên học phần, Mã chương trình) o Cả quan hệ dạng chuẩn đạt dạng chuẩn vì: + Quan hệ thứ Học phần tiên (ID học phần tiên quyết, Mã học phần) khơng tồn thuộc tính khơng khóa phụ thuộc hàm phận vào khóa + Quan hệ thứ hai Học phần (Mã học phần, Tên học phần, Mã chương trình) có thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa F = {Mã học phần  Tên học phần, Mã chương trình} o Cả quan hệ dạng chuẩn đạt dạng chuẩn vì: + Quan hệ thứ Học phần tiên (ID học phần tiên quyết, Mã học phần) có khóa gồm thuộc tính khơng phụ thuộc lẫn + Quan hệ thứ hai Quan hệ thứ hai Học phần (Mã học phần, Tên học phần, Mã chương trình) khơng chứa thuộc tính khơng khóa phụ thuộc hàm bắc cầu vào khóa 17  Kết luận: Quan hệ Học phần (Mã học phần, Tên học phần, Mã chương trình, ID học phần tiên quyết) tách thành quan hệ: + Học phần tiên (ID học phần tiên quyết, Mã học phần) + Học phần (Mã học phần, Tên học phần, Mã chương trình)  Giảng viên (ID giảng viên, Tên giảng viên, Chức vụ, ID giám sát viên, Tên khoa, Phòng làm việc) F = {ID giảng viên  Tên giảng viên, Chức vụ, ID giám sát viên, Tên khoa, Phòng làm việc} o Quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa => Quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa phụ thuộc hàm vào khóa => Quan hệ đạt dạng chuẩn  Hội đồng (Tên hội đồng, Tên trường, Tần suất họp) F = {Tên hội đồng, Tên trường  Tần suất họp} o Quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa => Quan hệ đạt dạng chuẩn o Thuộc tính khơng khóa phụ thuộc hàm vào khóa hai thuộc tính khóa khơng phụ thuộc => Quan hệ đạt dạng chuẩn  Sinh viên_Học phần (ID sinh viên, Mã học phần, Học kỳ tham gia, Năm tham gia, Điểm nhận được) F = {ID sinh viên, Mã học phần  Học kỳ tham gia, Năm tham gia, Điểm nhận được} o Quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Các thuộc tính khơng khóa phụ thuộc hàm đầy đủ vào khóa => Quan hệ đạt dạng chuẩn 18 o Các thuộc tính khơng khóa phụ thuộc hàm vào khóa thuộc tính khóa không phụ thuộc => Quan hệ đạt dạng chuẩn  Giảng viên_Hội đồng (Tên hội đồng, ID giảng viên, Tên trường) o Quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Quan hệ khơng chứa thuộc tính khơng khóa => Quan hệ đạt dạng chuẩn o thuộc tính khóa khơng phụ thuộc => Quan hệ đạt chuẩn  Giảng viên_Học phần (Mã học phần, ID giảng viên) o Quan hệ chứa thuộc tính ngun tố khơng có thuộc tính suy dẫn => Quan hệ đạt dạng chuẩn o Quan hệ khơng chứa thuộc tính khơng khóa => Quan hệ đạt dạng chuẩn o thuộc tính khóa khơng phụ thuộc => Quan hệ đạt chuẩn  Sau chuẩn hóa từ lược đồ gồm 12 quan hệ ta thu lược đồ gồm 14 quan hệ sau:  Cơ sở ( Tên sơ sở, Địa chỉ, Khoảng cách, Số hiệu xe buýt)  Môn thể thao (Tên CLB, Tên môn thể thao)  Câu lạc (Tên CLB, Tòa nhà CLB, SĐT, Tên sở)  Trường (Tên trường, Tên hiệu trưởng, Tòa nhà)  Khoa (Tên khoa, Tòa nhà khoa, Tên trường, Tên sở)  Chương trình (Mã chương trình, Tiêu đề chương trình, Cấp độ, Thời gian đào tạo, Tên khoa)  Sinh viên (ID sinh viên, Tên sinh viên, Ngày sinh, Năm nhập học, Mã chương trình)  Học phần tiên (ID học phần tiên quyết, Mã khóa học)  Học phần (Mã học phần, Tên học phần, Mã chương trình)  Giảng viên (ID giảng viên, Tên giảng viên, Chức vụ, ID giám sát viên, Tên khoa, Phòng làm việc) 19  Hội đồng (Tên hội đồng, Tên trường, Tần suất họp)  Sinh viên_Học phần (ID sinh viên, Mã học phần, Học kỳ tham gia, Năm tham gia, Điểm nhận được)  Giảng viên_Hội đồng (Tên hội đồng, ID giảng viên, Tên trường)  Giảng viên_Hội đồng (Mã học phần, ID giảng viên) Hình 2.4.1 Mơ hình liệu quan hệ sau chuẩn hóa 20 CHƯƠNG CÀI ĐẶT CƠ SỞ DỮ LIỆU VÀ THỰC HIỆN TRUY VẤN Một việc thiết kế CSDL hoàn thành, cần phải chọn hệ quản trị sở liệu để cài đặt sở liệu Ở chương tiến hành cài đặt sở liệu với hệ quản trị sở liệu MS.SQL Server 2012 việc sử dụng ngôn ngữ SQL để định nghĩa thao tác với liệu 3.1 Các lệnh tạo bảng sở liệu hệ thống đại học CREATE TABLE COSO ( TenCoSo VARCHAR (10) NOT NULL, DiaChi VARCHAR (10), KhoangCach NUMERIC (8,2), SoHieuBus VARCHAR (10), PRIMARY KEY (TenCoSo) ); CREATE TABLE TRUONG ( TenTruong VARCHAR (30) NOT NULL, TenHieuTruong VARCHAR (20), ToaNhaTruong VARCHAR (20), PRIMARY KEY (TenTruong) ); CREATE TABLE KHOA ( TenKhoa VARCHAR (30) NOT NULL, TenCoSo VARCHAR (10) NOT NULL, TenTruong VARCHAR (30) NOT NULL, ToaNhaKhoa VARCHAR (20), PRIMARY KEY (TenKhoa), FOREIGN KEY (TenCoSo) REFERENCES COSO, FOREIGN KEY (TenTruong) REFERENCES TRUONG ); CREATE TABLE CHUONGTRINH ( MaChuongTrinh CHAR (11) NOT NULL, TenKhoa VARCHAR (30) NOT NULL, TieuDeCT VARCHAR (50), CapDo VARCHAR (5), ThoiGian VARCHAR (10), PRIMARY KEY (MaChuongTrinh), FOREIGN KEY (TenKhoa) REFERENCES KHOA ); 21 CREATE TABLE SINHVIEN ( IDSinhVien CHAR (13) NOT NULL, MaChuongTrinh CHAR (11) NOT NULL, TenSinhVien VARCHAR (30), NgaySinh CHAR (10), NamNhapHoc INTEGER, PRIMARY KEY (IDSinhVien), FOREIGN KEY (MaChuongTrinh) REFERENCES CHUONGTRINH ); CREATE TABLE HOCPHAN ( MaHocPhan CHAR (10) NOT NULL, MaChuongTrinh CHAR (11) NOT NULL, TenHocPhan VARCHAR (60), PRIMARY KEY (MaHocPhan), FOREIGN KEY (MaChuongTrinh) REFERENCES CHUONGTRINH ); CREATE TABLE SINHVIEN_HOCPHAN ( MaHocPhan CHAR (10) NOT NULL, IDSinhVien CHAR (13) NOT NULL, NamThamGia CHAR (4), HocKyTG VARCHAR (5), Diem VARCHAR (5), PRIMARY KEY (MaHocPhan, IDSinhVien), FOREIGN KEY (MaHocPhan) REFERENCES HOCPHAN, FOREIGN KEY (IDSinhVien) REFERENCES SINHVIEN ); CREATE TABLE CAULACBO ( TenCLB VARCHAR (10) NOT NULL, TenCoSo VARCHAR (10) NOT NULL, ToaNhaCLB VARCHAR (10), SoDienThoai CHAR (10), PRIMARY KEY (TenCLB), FOREIGN KEY (TenCoSo) REFERENCES COSO ); CREATE TABLE MONTHETHAO ( TenMonTheThao VARCHAR (20) NOT NULL, TenCLB VARCHAR (10) NOT NULL, PRIMARY KEY (TenMonTheThao, TenCLB), FOREIGN KEY (TenCLB) REFERENCES CAULACBO ); 22