Phát triển hệ thống hỗ trợ thiết kế cơ sở dữ liệu quan hệ

TRƢỜNG ĐẠI HỌC VINH KHOA CÔNG NGHỆ THÔNG TIN TRẦN THÁI HƢNG BÁO CÁO ĐỒ ÁN TỐT NGHIỆP ĐẠI HỌC Tên đồ án: PHÁT TRIỂN HỆ THỐNG HỖ TRỢ THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ Nghệ An, tháng 01 năm 2016 TRƢỜNG ĐẠI HỌC VINH KHOA CÔNG NGHỆ THÔNG TIN BÁO CÁO ĐỒ ÁN TỐT NGHIỆP ĐẠI HỌC Tên đồ án: PHÁT TRIỂN HỆ THỐNG HỖ TRỢ THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ Sinh viên thực hiện: Trần Thái Hƣng – Mã sinh viên: 1151070407 Lớp:52K1 - CNTT Giáo viên hướng dẫn: TS Phan Anh Phong Nghệ An, tháng 01 năm 2016 Đồ án tốt nghiệp đại học LỜI CẢM ƠN Trong trình thực đồ án tốt nghiệp với đề tài “Phát triển hệ thống hỗ trợ thiết kế sở liệu quan hệ”, đƣợc hƣớng dẫn nhiệt tình, chu đáo thầy giáo, cô giáo khoa Công nghệ thông tin cách hƣỡng dẫn nhiệt tình quý báu thầy giáo hƣớng dẫn TS.Phan Anh Phong nên em hoàn thành tốt phần đề tài Em xin chân thành cảm ơn đóng góp thời gian kinh nghiệm quý báu thầy giáo TS.Phan Anh Phong truyền đạt, giúp sức cho em trình làm đồ án tốt nghiệp Đó động lực, lời khun kho báu trí thức để em sẵn sàng tỉnh thức vận dụng thời gian làm đồ án tốt nghiệp vừa qua Em xin chân thành cảm ơn thầy giáo, cô giáo khoa Công nghệ thông tin Trƣờng Đại học Vinh bạn bè lớp tạo điều kiện giúp đỡ em suốt thời gian làm đồ án học tập trƣờng Trong trình làm đồ án tốt nghiệp, số lý thời gian kiến thức hạn hẹp nên không tránh khỏi sai sót đề tài Em mong nhận đƣợc góp ý quý thầy giáo, cô giáo bạn Em xin chân thành cảm ơn! Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học LỜI MỞ ĐẦU Trong năm gần đây, việc ứng dụng công nghệ thơng tin trở nên rộng rãi vai trị công nghệ thông tin ngày đƣợc khẳng định nhiều lĩnh vực khác nhƣ giáo dục & đào tạo, khoa học kỹ thuật, kinh doanh, dƣới nhiều quy mô khác Cơ sở liệu lĩnh vực nghiên cứu đóng vai trị tảng phát triển công nghệ thông tin Sự phát triển mạnh sở liệu năm 70 kỷ trƣớc, đặc biệt từ E.F.Codd giới thiệu mơ hình quan hệ Ngày có nhiều hệ quản trị sở liệu đƣợc xây dựng phát triển dựa mơ hình nhƣ là: MS Access, SQL Server, Oracle, MySQL Cơ sở liệu (CSDL) liên quan đến vấn đề thu nhập, biểu diễn, tổ chức lƣu trữ xử lý liệu đơn vị, tổ chức, doanh nghiệp, Lý thuyết sở liệu nghiên cứu chế, nguyên lý phƣơng pháp tổ chức liệu vật mang tin để khai thác có hiệu liệu hệ thống tin học ứng dụng nhƣ hệ lƣu trữ tra cứu thông tin Trong số mơ hình cho việc tổ chức khai thác sở liệu, mơ hình quan hệ đƣợc sử dụng rộng rãi Bởi mơ hình đƣợc xây dựng sở lý thuyết quan hệ có sở tốn học chặt chẽ, sử dụng công cụ đại số logic, đảm bảo đƣợc tính an tồn liệu, tính qn liệu tính độc lập liệu Trong sở liệu quan hệ, quan hệ có hình ảnh trực quan nhƣ bảng biểu thông thƣờng Điều tạo nên thuận lợi việc thực thao tác quan hệ, ngôn ngữ thao tác sở liệu quan hệ có khả tổ hợp cao hiệu Việc cập nhật sở liệu mơ hình quan hệ dễ dàng Một yêu cầu quan trọng xây dựng ứng dụng sở liệu vấn đề thiết kế sở liệu Vào cuối năm 1972, E.F.Codd ngƣời sáng lập mô hình liệu quan hệ đề xuất dạng chuẩn để chuẩn hóa liệu, làm sở để thiết kế sơ đồ quan hệ Lúc đầu, Codd đề nghị ba dạng chuẩn gọi dạng chuẩn 1, dạng chuẩn dạng chuẩn Một định nghĩa mạnh cho dạng chuẩn gọi dạng chuẩn Boyce-Codd Boyce Codd đề nghị muộn Nhờ dạng chuẩn này, ta tách liệu gốc thành liệu nhỏ để lƣu trữ xử lý nhằm đảm bảo tính quán liệu, yêu cầu cần thiết ứng dụng sở liệu Với mong muốn đƣợc đóng góp phần cơng sức nhỏ bé vào việc nghiên cứu chuẩn hóa liệu sở liệu quan hệ, mục tiêu nghiên cứu Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học đề tài chủ yếu trọng vào việc xây dựng ứng dụng hỗ trợ thiết kế sở liệu quan hệ dạng chuẩn 3NF với phép tách bảo tồn phụ thuộc hàm khơng thơng tin Nội dung đề tài đƣợc trình bày chƣơng: Chƣơng 1: Các kiến thức chuẩn bị Các khái niệm chung mơ hình quan hệ với trọng tâm khái niệm sơ đồ sở liệu quan hệ, mô tả phụ thuộc hàm nhƣ cơng cụ tốn học trợ giúp cho việc biểu đạt ngữ nghĩa liệu đảm bảo tính quán liệu sở liệu đƣợc Codd, tác giả mơ hình liệu quan hệ đề xuất sớm Các tính chất phụ thuộc hàm hệ tiên đề cho phụ thuộc hàm đƣợc mô tả đầy đủ đƣợc sử dụng nhƣ công cụ thiết kế sở liệu chuẩn hóa Chƣơng 2: Lý thuyết thiết kế sở liệu quan hệ Chƣơng phần thứ trình bày cần thiết phải thiết kế sở liệu, phần thứ hai trình bày bƣớc thiết kế sở liệu, phần thứ ba trình bày phép tách sơ đồ quan hệ với phép tách khơng thơng tin phép tách bảo tồn tập phủ thuộc hàm Phần cuối trình bày số phƣơng pháp chuẩn hoá quan hệ, phần ta tập trung vào hai kỹ thuật kỹ thuật phân tách kỹ thuật phủ tối thiểu Chƣơng 3: Cài đặt thuật toán chuẩn hoá sơ đồ quan hệ Chƣơng trình bày cách cài đặt ứng dụng tách lƣợc đồ quan hệ dạng chuẩn 3NF với phép tách bảo tồn phụ thuộc hàm khơng thơng tin Phần trình bày cách xây xây dựng kiểu liệu phụ thuộc hàm mô tả cách biểu diễn phụ thuộc hàm file text Phần trình bày thuật tốn: Thuật tốn tìm bao đóng tập thuộc tính, thuật tốn tìm khố, thuật tốn tìm khố, thuật tốn tìm phủ tối thiểu, thuật toán tách lƣợc đồ quan hệ 3NF Chƣơng 4: Demo chƣơng trình ứng dụng Demo ứng dụng tìm phủ tối thiểu, tìm khố tách lƣợc đồ quan hệ dạng 3NF với phép tách bảo tồn phụ thuộc hàm khơng thơng tin với toán đƣợc đọc từ tệp hay nhập vào từ bàn phím Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học MỤC LỤC Trang LỜI CẢM ƠN LỜI MỞ ĐẦU CHƢƠNG CÁC KIẾN THỨC CHUẨN BỊ 1.1 Các khái niệm 1.2 Sơ đồ sở liệu quan hệ 11 1.2.1 Thực thể 11 1.2.2 Thuộc tính 11 1.2.3 Mối liên kết thực thể 12 1.2.4 Quan hệ 13 1.2.5 Khóa sơ đồ quan hệ 13 1.3 Phụ thuộc hàm tính chất .13 1.3.1 Phụ thuộc hàm .14 1.3.2 Hệ tiên đề Amstrong 14 1.3.3 Bao đóng tập phụ thuộc hàm 16 1.3.4 Bao đóng tập thuộc tính 16 1.3.5 Tính chất bao đóng tập thuộc tính 16 1.3.6 Tập phụ thuộc hàm tƣơng đƣơng 17 1.3.7 Phủ tối thiểu tập phụ thuộc hàm 17 1.4 Các dạng chuẩn mơ hình quan hệ 17 1.4.1 Sự cần thiết phải chuẩn hóa liệu 18 1.4.2 Các dạng chuẩn 19 1.5 Kết luận chƣơng 23 CHƢƠNG LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ 24 2.1 Sự cần thiết phải thiết kế sở liệu 24 2.2 Các bƣớc thiết kế sở liệu 24 2.3 Phép tách sơ đồ quan hệ 28 Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học 2.3.1 Phép tách không thông tin 28 2.3.2 Phép tách bảo toàn tập phụ thuộc hàm 30 2.4 Một số phƣơng pháp chuẩn hóa sơ đồ quan hệ 30 2.4.1 Kỹ thuật phân tách .30 2.4.2 Kỹ thuật phủ tối thiểu 31 2.5 Kết luận chƣơng 32 CHƢƠNG CÀI ĐẶT THUẬT TOÁN CHUẨN HOÁ SƠ ĐỒ QUAN HỆ 33 3.1 Xây dựng kiểu liệu cho phụ thuộc hàm 33 3.2 Thuật toán tìm bao đóng tập thuộc tính 35 3.3 Thuật tốn tìm khóa 37 3.4 Thuật tốn tìm khóa 38 3.4.1 Mô tả thuật toán chung 38 3.4.2 Các thuật toán chi tiết .38 3.5 Thuật tốn tìm phủ tối thiểu 44 3.5.1 Tách vế phải phụ thuộc hàm thành thuộc tính đơn: 44 3.5.2 Loại bỏ dƣ thừa thuộc tính vế trái 45 3.5.3 Loại bỏ dƣ thừa phụ thuộc hàm 46 3.6 Thuật toán tách lƣợc đồ quan hệ dạng 3NF, bảo toàn phụ thuộc hàm không thông tin 47 3.7 Kết luận chƣơng 47 CHƢƠNG DEMO CHƢƠNG TRÌNH ỨNG DỤNG 48 4.1 Chức đọc từ tệp 48 4.1.1 Giao diện chƣơng trình 48 4.1.2 Đọc liệu từ tệp 48 4.1.3 Tìm phủ tối thiểu 50 4.1.4 Tìm khoá 50 4.1.5 Tách lƣợc đồ quan hệ .51 4.2 Chức nhập liệu 52 4.2.1 Nhập thuộc tính mã hoá liệu 52 Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học 4.2.2 Nhập phụ thuộc hàm 53 4.2.3 Hiện thị toán .55 4.2.4 Tìm phủ tối thiểu 55 4.2.5 Tách lƣợc đồ quan hệ 56 4.2.6 Sinh mã lệnh SQL 57 4.2.7 Xuất file mã lệnh 57 KẾT LUẬN 59 TÀI LIỆU THAM KHẢO 60 Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học CHƢƠNG CÁC KIẾN THỨC CHUẨN BỊ 1.1 Các khái niệm Dữ liệu: Dữ liệu kiện, văn bản, đồ họa, hình ảnh đoạn phim video có ý nghĩa mơi trƣờng ngƣời dùng Thông tin: Thông tin liệu đƣợc xử lý để tăng hiểu biết ngƣời dùng liệu Cơ sở liệu: tập hợp liệu có liên quan chứa thơng tin tổ chức (cơng ty, xí nghiệp, trƣờng học, …) đƣợc lƣu trữ thiết bị nhớ ngồi để đáp ứng u cầu khai thác thơng tin nhiều ngƣời sử dụng với mục đích khác Có quan hệ logic CƠ SỞ Lưu trữ có chọn lọc DỮ LIỆU DỮ LIỆU THƠNG TIN Hình 1.1: Quan hệ thông tin, liệu sở liệu Hệ quản trị sở liệu: Là hệ thống phần mềm cho phép quản lý sở liệu thực thao tác xử lý liệu Hệ quản trị sở liệu quan trọng, nhƣ diễn dịch với ngôn ngữ bậc cao nhằm giúp ngƣời sử dụng dùng đƣợc hệ thống mà nhiều khơng cần quan tâm đến thuật toán chi tiết biểu diễn máy Một số hệ quản trị CSDL phổ biến nhƣ là: Oracle, SQL Server, DB2, My SQL, Trần Thái Hưng – Lớp 52K1 – Khoa CNTT Đồ án tốt nghiệp đại học Hình 1.2: Hệ thống Cơ sở liệu Việc tổ chức liệu tốt cho ta hệ thống CSDL tốt, giúp cho ngƣời quản trị hệ thống dễ dàng việc làm chủ hệ thống này… Chức hệ quản trị sở liệu: a Thiết lập sở liệu:  Khai báo  Định nghĩa b Cập nhật liệu:  Bổ sung liệu vào sở liệu  Loại bỏ liệu khỏi sở liệu  Sửa liệu sở liệu c Khai thác liệu sở liệu  Tìm kiếm thơng tin theo yêu cầu  Kết xuất thông tin theo yêu cầu Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 10 Đồ án tốt nghiệp đại học  Bƣớc 6: Đƣa phủ kết thúc 3.5.3 Loại bỏ dƣ thừa phụ thuộc hàm  ĐẦU VÀO:  Phủ không dƣ thừa thuộc tính vế trái phụ thuộc hàm,  nphu số phụ thuộc hàm phủ  ĐẦU RA: Phủ tối thiểu LĐQH  Bƣớc 1: Khởi tạo chuỗi S, i =  Bƣớc 2: Nếu i >= nphu sang Bƣớc  Bƣớc 3: Gán S = phu[i].VP, phu[i].VP = “ ”  Bƣớc 4: Nếu bao đóng phu[i].VT khơng chứa S sang Bƣớc  Bƣớc 5: phu[i ] = phu[ nphu], sang Bƣớc  Bƣớc 6: Gán phu[i].VP = S  Bƣớc 7: i = i + Quay Bƣớc  Bƣớc 8: Đƣa phủ tối thiểu Hình 3.6: Sơ đồ thuật tốn loại bỏ dƣ thừa phụ thuộc hàm Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 46 Đồ án tốt nghiệp đại học 3.6 Thuật toán tách lƣợc đồ quan hệ dạng 3NF, bảo tồn phụ thuộc hàm khơng thơng tin Mơ tả thuật tốn chung:  Bƣớc 1: Tìm phủ tối thiểu LĐQH cho  Bƣớc 2: Tìm khóa key LĐQH  Bƣớc 3: Gộp phụ thuộc hàm có vế trái phủ  Bƣớc 4: Tìm thuộc tính U nhƣng khơng có table loại bỏ chúng khỏi U  Bƣớc 5: Nếu có phu[i].VT phu[i].VP = U table dạng 3NF bảo tồn phụ thuộc hàm Ngƣợc lại, phủ table dạng 3NF bảo toàn phụ thuộc hàm  Bƣớc 6: Nếu key khơng thuộc table thêm key vào table  Bƣớc 7: Đƣa table kết thúc 3.7 Kết luận chƣơng Chƣơng ta xây dựng đƣợc kiểu liệu phụ thuộc hàm gồm có vế trái vế phải, cách biểu diễn phụ thuộc hàm file text Để thiết kế sở liệu lớn phức tạp đòi hỏi nhiều thuật tốn để tìm khố, khoá, phủ tối thiểu tập phụ thuộc hàm cuối tách lƣợc đồ quan hệ dạng chuẩn 3NF với phép tách bảo toàn phủ thuộc hàm không thông tin Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 47 Đồ án tốt nghiệp đại học CHƢƠNG DEMO CHƢƠNG TRÌNH ỨNG DỤNG 4.1 Chức đọc từ tệp 4.1.1 Giao diện chƣơng trình Hình 4.1: Giao diện chƣơng trình Chƣơng trình có chức đọc liệu, yêu cầu tốn từ tệp hay nhập liệu vào từ bàn phím Nếu chọn chế độ đọc từ tệp chức để nhập liệu từ bàn phím bị ẩn ngƣợc lại 4.1.2 Đọc liệu từ tệp Hình 4.2: Giao diện mở tệp Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 48 Đồ án tốt nghiệp đại học Bấm vào mở tệp xuất form mở tệp, ta đến đƣờng dẫn tệp Tệp có cấu trúc nhƣ nêu Hình 4.3: Cấu trúc tệp đầu vào Sau mở tệp tốn đƣợc thị nhƣ hình bên dƣới Hình 4.4: Sau mở tệp Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 49 Đồ án tốt nghiệp đại học 4.1.3 Tìm phủ tối thiểu Hình 4.5: Kết tìm phủ tối thiểu 4.1.4 Tìm khố Hình 4.6: Kết tìm khố Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 50 Đồ án tốt nghiệp đại học 4.1.5 Tách lƣợc đồ quan hệ Sau tìm đƣợc khố, để tách lƣợc đồ quan hệ với phép tách bảo toàn phụ thuộc hàm khơng thơng tin ta sử dụng cách: Khi bấm nút tách 3NF chọn khoá lƣợc đồ quan hệ để thực phép tách cho kết nhƣ sau Hình 4.7: Kết tách lƣợc đồ 3NF tìm khố Chọn khố khố tìm đƣợc để thực phép tách Ở ta chọn khoá HI, nhƣng HI không thuộc lƣợc đồ quan hệ nên ta thêm HI vào thành lƣợc đồ Đây tính chất bảo tồn thơng tin phép tách Hình 4.8: Kết tách lƣợc đồ 3NF chọn khoá Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 51 Đồ án tốt nghiệp đại học 4.2 Chức nhập liệu 4.2.1 Nhập thuộc tính mã hoá liệu Trƣớc tiên nhập số thuộc tính liệu kiểu số, nhập sai bị xố nhập lại Nhập số lƣợng textbox tự động tạo gồm có tên thuộc tính thuộc tính đƣợc mã hố Thuộc tính mã hố chữ có ký tự, khơng đƣợc nhập thêm Hình 4.9: Giao diện nhập thuộc tính mã hố Sau nhập xong thuộc tính mã hố, bấm Nhập xong xuất thơng báo liệt kê thuộc tính nhập mã hố Nếu bấm OK Nếu sai bấm Cancel để sửa lại Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 52 Đồ án tốt nghiệp đại học Hình 4.10: Giao diện kết nhập thuộc tính mã hố 4.2.2 Nhập phụ thuộc hàm Giao diện nhập phụ thuộc hàm có: - Danh sách thuộc tính: Liệt kê tồn thuộc tính ta nhập bƣớc thứ - Nhập phụ thuộc hàm:  Nhập phụ thuộc hàm có vế trái vế phải  Khi nhập phụ thuộc hàm thuộc tính mã hố tự động xuất Hình 4.11: Giao diện nhập phụ thuộc hàm Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 53 Đồ án tốt nghiệp đại học  Nếu vế trái hay vế phải phụ thuộc hàm có nhiều thuộc tính thuộc tính dấu phẩy ,  Nếu nhập phụ thuộc hàm có thông báo tồn tại, nhập lại  Nếu nhập thừa phụ thuộc hàm ta xố phụ thuộc hàm Hình 4.12: Giao diện xố phụ thuộc hàm Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 54 Đồ án tốt nghiệp đại học 4.2.3 Hiện thị toán Khi bấm nút Hiện thị tốn thị tốn gồm thuộc tính, phụ thuộc hàm chƣa mã hố sau mã hố Hình 4.13: Giao diện toán chƣa mã hoá sau mã hoá 4.2.4 Tìm phủ tối thiểu Hình 4.14: Kết tìm phủ tối thiểu mã hoá Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 55 Đồ án tốt nghiệp đại học Đối với chức nhập liệu từ bàn phím có thêm thị phủ tối thiểu chƣa mã hố, phủ tối thiểu tập phụ thuộc hàm ban đầu nhập vào Hình 4.15: Kết tìm phủ tối thiểu khơng mã hố 4.2.5 Tách lƣợc đồ quan hệ Kết phép tách lƣợc đồ quan hệ 3NF với phép tách bảo toàn phủ thuộc hàm khơng thơng tin Hình 4.16: Kết tách lƣợc đồ quan hệ Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 56 Đồ án tốt nghiệp đại học 4.2.6 Sinh mã lệnh SQL Từ lƣợc đồ quan hệ tách đƣợc ta sinh mã lệnh SQL Trƣớc tiên ta phải chọn kiểu liệu cho thuộc tính Với số kiểu liệu mẫu thƣờng dùng SQL Server : nvarchar (20) , int, bit , float , Date , DateTime Hình 4.17: Giao diện chọn kiểu liệu cho thuộc tính Nhập tên sở liệu Nếu chƣa nhập chƣơng trình kiểm tra bắt buộc nhập 4.2.7 Xuất file mã lệnh Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 57 Đồ án tốt nghiệp đại học Chƣơng trình hỗ trợ xuất file định dạng file SQL SerVer ( *.sql ) hay file text (*.txt) Hình 4.18: Giao diện xuất file mã lệnh Nội dung file mã lệnh sau tạo Hình 4.19: Nội dung file mã lệnh sau tạo Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 58 Đồ án tốt nghiệp đại học KẾT LUẬN Việc nghiên cứu lý thuyết mơ hình liệu quan hệ dạng chuẩn để chuẩn hoá lƣợc đồ quan hệ đóng vai trị quan trọng nghiên cứu lý thuyết ứng dụng tốn thực tế Qua q trình làm đồ án tốt nghiệp với đề tài “Phát triển hệ thống hỗ trợ thiết kế sở liệu quan hệ” thân em tự thấy thu đƣợc kết sau: Hiểu đƣợc trình thiết kế sở liệu từ toán thực tế để xây dựng ứng dụng Hiểu đƣợc dạng chuẩn hố sở liệu từ áp dụng để xây dựng đề tài Nắm rõ đƣợc thuật tốn tìm khố, tìm phủ tối thiểu, tách lƣợc đồ quan hệ 3NF từ xây dựng chƣơng trình ứng dụng cho thuật tốn Hiểu thêm kiến thức lập trình ngơn ngữ C# : Các kiểu liệu, phƣơng thức, xử lý ngoại lệ,…lập trình hƣớng đối tƣợng để xây dựng ứng dụng winform Ngồi việc sử dụng để chuẩn hóa sơ đồ quan hệ, hỗ trợ thiết kế sở liệu, chƣơng trình ứng dụng hỗ trợ cho việc giảng dạy học phần sở liệu học phần liên quan đến xây dựng ứng dụng CSDL đơn giản Ƣu nhƣợc điểm chƣơng trình ứng dụng  Ƣu điểm:  Ứng dụng đƣợc xây dựng gọn nhẹ, dễ sử dụng  Giao diện thân thiện với ngƣời dùng  Nhƣợc điểm:  Cách tổ chức liệu kỹ thuật lập trình chƣa tốt  Các chức chƣơng trình chƣa linh động, gây khó khăn sử dụng  Chỉ hỗ trợ thiết kế sở liệu quan hệ cho tốn có 26 thuộc tính  Chỉ đáp ứng đến mức chuẩn hố dạng 3NF với phép tách boả toàn phủ thuộc hàm không thông tin chƣa lên tới BCNF, 4NF, 5NF  Hƣớng khắc phục phát triển đề tài:  Sử dụng thuật toán hợp, giao, trừ tập xâu ký tự, kiểm tra tập hợp có tập hợp để áp dụng cho thuật tốn trình bày chƣơng Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 59 Đồ án tốt nghiệp đại học  Phát triển kiểu mã hoá liệu thành xâu ký tự để mã hố cho tốn có nhiều 26 thuộc tính  Chuẩn hoá lƣợc đồ quan hệ BCNF, 4NF, 5NF Do thời gian không đƣợc nhiều kỹ lập trình cịn có hạn chế nên chƣơng trình ứng dụng hỗ trợ thiết kế sở liệu quan hệ cịn chƣa đƣợc thật hồn thiện với ngƣời sử dụng Trong thời gian tới, em cố gắng hoàn thiện chức thời bổ sung thêm chức mang lại tiện dụng cho ngƣời sử dụng Vì kính mong thầy giáo, cô giáo bạn xem xét, bảo giúp đỡ em để em hồn thiện đồ án tốt Em xin chân thành cảm ơn! TÀI LIỆU THAM KHẢO [1] Phan Anh Phong, Giáo trình sở liệu , Khoa CNTT - Đại học Vinh [2] Hồng Hữu Việt , Lập trình C# cho ứng dụng sở liệu, NXB Đại Học Vinh, 2015 [3] Lê Văn Tấn , Giáo trình Phân tích thiết kế hệ thống, Khoa CNTT - Đại học Vinh [4] G.Sunitha - Dr.A.Jaya, A knowledge based approach for automatic database normalization, No 5, May 2013 [5] Moussa Demba, Algorithmfor relational database or malizationup to 3NF, No 5, May 2013 [6] Tham khảo tài liệu qua mạng Internet, số trang web nhƣ: http://doan.edu.vn/ , http://congdongcviet.com/ , http://voer.edu.vn/, http://doc.edu.vn/ Trần Thái Hưng – Lớp 52K1 – Khoa CNTT 60 ... liệu tạo nên sở liệu Thiết kế sở liệu loạt trình xử lý thiết kế làm cho hệ quản trị sở liệu dễ dàng phát triển, cài đặt, trì Đối tƣợng thiết kế đƣa thiết kế mơ hình vật lý logic hệ thống sở liệu. .. chọn lọc DỮ LIỆU DỮ LIỆU THƠNG TIN Hình 1.1: Quan hệ thơng tin, liệu sở liệu Hệ quản trị sở liệu: Là hệ thống phần mềm cho phép quản lý sở liệu thực thao tác xử lý liệu Hệ quản trị sở liệu quan trọng,... Đƣa sơ đồ quan hệ kết thúc 2.5 Kết luận chƣơng Chƣơng ta biết đƣợc thiết kế sở liệu loạt trình xử lý thiết kế làm cho hệ quản trị sở liệu dễ dàng phát triển, cài đặt trì Để thiết kế sở liệu phải