Sử dụng tri thức trong cơ sở dữ liệu

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC DÂN LẬP HẢI PHỊNG KHOA CƠNG NGHỆ THƠNG TIN ĐỒ ÁN TỐT NGHIỆP ĐỀ TÀI SỬ DỤNG TRI THỨC TRONG CƠ SỞ DỮ LIỆU Giáo viên hướng dẫn : PGS.TS ĐỖ TRUNG TUẤN Sinh viên : ĐỖ THỊ PHƯƠNG NGÂN Lớp CT 701 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com NỘI DUNG BÁO CÁO Mơ hình liệu tính tồn vẹn 1.1 Mơ hình liệu 1.2 Mơ hình liệu quan hệ 1.3 Hệ quản trị sở liệu Tính tồn vẹn liệu 2.1 Giới thiệu tri thức 2.2 Giới thiệu tính tồn vẹn 2.3 Phụ thuộc hàm Thử nghiệm 3.1 Tìm hiểu VISUAL BASIC 3.2 Tìm hiểu SQL SERVER 3.3 Xây dựng chương trình sở liệu văn hóa Kết luận LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MƠ HÌNH DỮ LIỆU VÀ TÍNH TỒN VẸN Mơ hình liệu: - Là tập khái niệm dùng để mô tả liệu phép tốn xử lí liệu - Dùng cho việc miêu tả đối tượng phức tạp, có cấu trúc phức tạp - Chia thành mức: mức trong, mức khái niệm mức ngồi Mơ hình liệu quan hệ: - Được E.F.Codd đề xuất năm 1970 - Bao gồm: + Một hệ thống ký hiệu để mơ tả liệu dạng dịng cột quan hệ, bộ, thuộc tính, khố chính, khố ngồi,… + Một tập hợp phép tốn thao tác liệu phép toán tập hợp, phép toán quan hệ + Ràng buộc toàn vẹn quan hệ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU Định nghĩa: Là phần mềm hệ thống cho phép: - Định nghĩa – khai báo khung liệu với mô tả chi tiết liệu - Xây dựng – lưu trữ liệu lên nhớ phụ - Xử lí – truy vấn, cập nhật phát sinh báo cáo - Bảo trì sở liệu cung cấp tiến trình điều khiển sở liệu Mục đích: - Độc lập vật lí - Độc lập logic - Xử lí liệu nhờ ngơn ngữ phi thủ tục - Khả quản trị liệu - Dư thừa liệu - Tương hợp liệu - Dùng chung liệu - An toàn liệu LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU Các chức năng: - Mơ tả liệu - Tìm kiếm liệu lưu trữ - Cập nhật liệu: thêm, bớt, sửa đổi liệu - Chuyển hoá liệu mức lược đồ - Điều khiển tính an tồn tồn vẹn liệu - Quản lí liệu mức thấp: giao tác xử lí liệu Thành phần: - Giao diện liệu - Giao diện người sử dụng - Giao diện người lập trình LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TRI THỨC Tri thức: - Là sản phẩm nhận thức kinh nghiệm loài người - Phụ thuộc vào ngữ cảnh, tri thức tài sản cá nhân tập thể - Có thể cung cấp dạng thủ tục, q trình tích hợp, nhúng ngơn ngữ, câu truyện kể lại, khái niệm, luật cơng cụ - Tăng cường cho q trình tạo định hành động Các dạng tri thức: - Tri thức thủ tục - Tri thức mô tả - Tri thức meta - Tri thức may rủi - Tri thức cấu trúc LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TÍNH TỒN VẸN Khố quan hệ: - Khố chính: Là thuộc tính, hay tập thuộc tính, cho phép xác định dịng bảng quan hệ - Khố ngồi: Là thuộc tính hay tập thuộc tính từ hay nhiều bảng khố số bảng Ràng buộc toàn vẹn: - Định nghĩa: Ràng buộc toàn vẹn đặc tả mà sở liệu phải thỏa mãn để giữ tính đắn - Các yếu tố: điều kiện, bối cảnh phạm vi ảnh hưởng - Phân loại: + Ràng buộc toàn vẹn phạm vi quan hệ, gồm: RBTV miền giá trị, RBTV liên thuộc tính, RBTV liên + Ràng buộc tồn vẹn phạm vi nhiều quan hệ bao gồm: RBTV phụ thuộc tồn tại, RBTV liên - liên quan hệ, RBTV liên thuộc tính - liên quan hệ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TÍNH TỒN VẸN Tính tồn vẹn liệu: - Nhằm đảm bảo độ tin cậy liệu bảng - Liên quan đến ràng buộc liệu sở liệu Phân loại toàn vẹn liệu : - Toàn vẹn thực thể - Toàn vẹn miền - Toàn tham chiếu - Toàn vẹn người dùng định nghĩa Điều kiện toàn vẹn: - Điều kiện tồn vẹn thuộc tính - Điều kiện tồn vẹn nhiều thuộc tính - Điều kiện tính LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TÍNH TỒN VẸN Định nghĩa: Giả sử R{A1, A2,…, An } lược đồ quan hệ, X, Y hai tập {Ai-} Người ta nói X → Y (Ta nói X xác định Y hay Y phụ thuộc hàm vào X) với r R, n_bộ t1, t2 r có: Nếu t1.X = t2.X t1.Y = t2.Y Tính chất: Có tập X, Y, Z, W tập tập thuộc tính {A} - Tính chất 1: Phản xạ: Nếu X Y X→Y - Tính chất 2: Tăng: {X→Y} |= XZ→YZ - Tính chất 3: Bắc cầu: Cho X  Y, Y  Z  X  Z Từ tính chất suy diễn tính chất: - Tính chất 4: Hợp: Cho X  Y, X  Z  X  YZ - Tính chất 5: Giả bắc cầu: Cho X  Y, YZ  W  XZ  W - Tính chất 6: Phân rã: Cho X  YZ  X  Y Các loại phụ thuộc hàm: - Các phụ thuộc hàm sơ cấp - Phụ thuộc hàm trực tiếp - Phụ thuộc hàm quy LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com VISUAL BASIC Định nghĩa: Visual Basic (VB) phần công cụ phát triển phần mềm Visual Studio, sản phẩm hãng MicroSoft VB dùng để xây dựng chương trình ứng dụng chạy mơi trường Window, với giao diện đồ hoạ thấy Window quen thuộc với người dùng Đặc điểm: - VB công cụ trực quan - Phần giao diện chương trình VB cấu thành từ thành phần điều khiển – gọi Control - quen thuộc - Phần mã lệnh gắn với điều khiển để thực tính tốn xử lí gồm câu lệnh - Tích hợp kèm theo nhiều cơng cụ hỗ trợ để viết mã lệnh, sửa lỗi tả, sửa lỗi logic - Khả kết hợp thư viện liên kết động DLL - Tiện lợi, dễ sử dụng, tiết kiệm thời gian công sức so với ngơn ngữ lập trình khác xây dựng ứng dụng 10 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com SQL SERVER Định nghĩa: SQL Server 2000 hệ thống quản lý sở liệu quan hệ sử dụng TransactSQL để trao đổi liệu máy khách máy chủ SQL Đặc điểm: - Là hệ quản trị sở liệu quan hệ, 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ệ nhóm vào bảng quan hệ định nghĩa bảng với - Là sở liệu có khả mở rộng, nghĩa chúng lưu lượng lớn liệu hỗ trợ tính cho phép nhiều dùng truy cập liệu đồng thời - Cho phép người quản trị sở liệu truy cập server trực tiếp để thực chức cấu hình, quản trị thực tác vụ bảo trì sở liệu Cơng cụ để thực thi toàn vẹn liệu SQL: - Ràng buộc thực thể: RB PRIMARY KEY, RB UNIQUE, Thuộc tính IDENTITY - Ràng buộc miền: RB DEFAULT, RB CHECK, Thuộc tính NOT NULL, Rule - Ràng buộc tham chiếu: RB FOREIGN KEY, RB CHECK - Ràng buộc người dùng định nghĩa: Tất RB trên, Stored Procedure, Trigger LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com11 PHÁT BIỂU BÀI TỐN Bài tốn khai thác thơng tin từ sở liệu âm nhạc Cơ sở liệu lưu trữ thông tin nghệ sĩ, tác phẩm Thông tin nghệ sĩ bao gồm: Mã nghệ sĩ, họ tên, ngày sinh, giới tính, nơi sinh, địa chỉ, điện thoại dịng nhạc nghệ sĩ Một nghệ sĩ nhạc sĩ, ca sĩ người sáng tác lời cho hát Vì nghệ sĩ sáng tác hay nhiều hát, biểu diễn hay nhiều hát hát hay nhóm nghệ sĩ sáng tác biểu diễn Thông tin hát bao gồm: Mã tác phẩm, tên tác phẩm, thể loại tóm tắt nội dung hát Khi nghệ sĩ sáng tác hát thơng tin hát lưu vào sở liệu với thông tin tác giả năm sáng tác Mỗi hát nghệ sĩ thể thơng tin mà nghệ sĩ biểu diễn lưu sở liệu, bao gồm thông tin nơi biểu diễn thời lượng mà nghệ sĩ thể hát Thông tin sở liệu phải thoả mãn tính tồn vẹn sở liệu điều kiện ràng buộc người dùng thiết lập Các điều kiện thay đổi linh hoạt tuỳ theo yêu cầu người sử dụng sở liệu Dữ liệu đưa vào phải tự động kiểm tra xem có thỏa mãn điều kiện hay LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com12 không ĐIỀU KIỆN RÀNG BUỘC Điều kiện ràng buộc thông tin nghệ sĩ: - Tên tác giả không vượt 40 kí tự NOTNULL - < Tuổi tác giả < 120 - Giới tính: Nam / Nữ - Nơi sinh: Không dài 500 - Địa chỉ: Khơng dài q 500 kí tự - Điện thoại: Khơng vượt q 12 kí tự Điều kiện ràng buộc thông tin tác phẩm: - Tên hát khơng vượt q 100 kí tự NOTNULL - 2.0 phút < Thời lượng < 4.0 phút - Mô tả tóm tắt: Khơng vượt q 1000 kí tự Điều kiện ràng buộc khác: - Khi có thơng tin tác giả phải có thơng tin hát tác giả - Khi có thơng tin tác phẩm phải có thơng tin tác giả sáng tác biểu diễn hát Các điều kiện ràng buộc khởi tạo mặc định sở liệu, người dùng kiểm sốt liệu nhập vào cách thay đổi điều kiện 13 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com14 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com15 EM XIN CHÂN THÀNH CẢM ƠN THẦY CÔ VÀ CÁC BẠN ĐÃ CHÚ Ý THEO DÕI ! LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com16 ... - Tăng cường cho q trình tạo định hành động Các dạng tri thức: - Tri thức thủ tục - Tri thức mô tả - Tri thức meta - Tri thức may rủi - Tri thức cấu trúc LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com... CƠ SỞ DỮ LIỆU Các chức năng: - Mơ tả liệu - Tìm kiếm liệu lưu trữ - Cập nhật liệu: thêm, bớt, sửa đổi liệu - Chuyển hoá liệu mức lược đồ - Điều khiển tính an tồn tồn vẹn liệu - Quản lí liệu mức... lí liệu Thành phần: - Giao diện liệu - Giao diện người sử dụng - Giao diện người lập trình LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com TRI THỨC Tri thức: - Là sản phẩm nhận thức