Đề cương cơ sở dữ liệu

MỤC LỤC CÁC KHÁI NIỆM CƠ BẢN VỀ HỆ CƠ SỞ DỮ LIỆU 1.1 Dữ liệu - thông tin 1.1.1 Dữ liệu 1.1.2.Thông tin 1.2 Cơ sở liệu 1.3 Hệ quản trị CSDL 1.3.2.Các chức hệ quản trị sở liệu 10 1.3.3.Các đặc trưng giải pháp sở liệu 11 1.4 Các mô hình liệu 13 1.4.1 Mô hình thực thể - liên kết (thực thể -quan hệ) 15 1.4.2 Mô hình liệu quan hệ 15 1.4.3 Mô hình liệu mạng 15 1.4.4 Mô hình liệu phân cấp 16 MÔ HÌNH THỰC THỂ - LIÊN KẾT 17 2.1 Sử dụng mô hình quan niệm bậc cao cho việc thiết kế sở liệu 17 2.2 Các thành phần mô hình ER .18 2.2 Thực thể thuộc tính 18 2.2 Kiểu thực thể, tập thực thể, khóa tập giá trị 19 2.2.3 Kiểu liên kết, tập liên kết thể 21 2.2.4.Cấp liên kết, tên vai trò kiểu liên kết đệ quy 21 2.2.5 Các ràng buộc kiểu liên kết 22 2.2.6.Thuộc tính kiểu liên kết 23 2.2.7.Các kiểu thực thể yếu 23 2.3 Bài tập thiết kế CSDL dựa mô hình ER 25 2.4 Tổng kết mô hình thực thể - liên kết 26 4.1 Tóm tắt 26 2.4.2.Câu hỏi luyện tập 26 MÔ HÌNH QUAN HỆ - CHUYỂN MÔ HÌNH ER SANG MÔ HÌNH QUAN HỆ 28 3.1.Các khái niệm 28 3.1.1.Thuộc tính (Attribute) 28 3.1.2.Lược đồ quan hệ (relation schema) 28 3.1.3 Quan hệ (relation) 29 3.1.4.Bộ (tuple) 29 3.1.5.Siêu khóa - khóa (super key - key) 29 3.2 Cơ sở liệu quan hệ lược đồ sở liệu quan hệ 31 Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 3.3 Ràng buộc toàn vẹn 33 3.3.1 Khái niệm ràng buộc toàn vẹn 33 3.3.2 Các yếu tố ràng buộc toàn vẹn 33 3.3.3 Phân loại ràng buộc toàn vẹn 35 3.4 Các phép tính sở liệu quan hệ 37 3.4.1 Các phép toán cập nhật quan hệ 37 3.4.2 Tìm kiếm liệu (truy vấn liệu) 39 3.5 Các quy tắc chuyển đổi từ lược đồ CSDL ER sang thiết kế quan hệ 39 3.6 Chuyển đổi mô hình cụ thể 43 BÀI TẬP VỀ THIẾT KẾ CSDL DỰA TRÊN MÔ HÌNH CSDL: ER VÀ QUAN HỆ 44 4.1 Nhắc lại lý thuyết 44 4.2 Bài tập 44 CÁC PHÉP TOÁN ĐẠI SỐ QUAN HỆ 45 5.1.Phép chọn (SELECT) 45 5.2 Phép chiếu (PROJECT) 46 5.3 Phép đặt lại tên (RENAME) 47 5.4 Các phép toán lý thuyết tập hợp 48 5.5.Phép nối (JOIN) 50 5.7.Phép chia 52 5.7.Các phép toán quan hệ bổ sung 53 5.7.1.Các hàm nhóm phép nhóm 53 5.7.2.Các phép toán khép kín đệ quy 54 5.8 Một số ví dụ truy vấn đại số quan hệ 55 BÀI TẬP VỀ NGÔN NGỮ ĐẠI SỐ QUAN HỆ 56 6.1 Nhắc lại lý thuyết 56 6.2 Bài tập – thảo luận 56 NGÔN NGỮ TRUY VẤN CẤU TRÚC SQL 58 7.1 SQL chuẩn ngôn ngữ ANSI để truy cập CSDL 58 7.1.1 SQL gì? 58 7.1.2 SQL chuẩn 58 7.2 Bảng CSDL 58 7.3 Ngôn ngữ truy vấn cấu trúc (SQL) 58 7.3.1 SQL ngôn ngữ thao tác liệu (DML - Data Manipulation Language) 58 7.3.2 SQL ngôn ngữ định nghĩa liệu (DDL - Data Definition Language) 59 7.4 Các kiểu liệu 59 7.5 Câu lệnh định nghĩa liệu (create database, create table, alter table, drop table ) 60 Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 7.5.1 Tạo CSDL 60 7.5.2 Tạo bảng CSDL 60 7.5.3 Các ràng buộc toàn vẹn (TBTV) cách tạo ràng buộc bảng 61 7.5.4 Lệnh sửa đổi bảng(alter table) 65 7.6 Bài tập 66 THỰC HÀNH CÂU LỆNH CREATE DATABASE, CREATE TABLE, ALTER TABLE, DROP TABLE 67 CẬP NHẬT DỮ LIỆU VÀ TRUY VẤN DỮ LIỆU 67 9.1 Cập nhật liệu 67 9.1.1 Câu lệnh thêm liệu (insert) 67 9.1.2 Câu lệnh sửa đổi liệu (update) 68 9.1.3 Câu lệnh xóa liệu (delete) 68 9.2 Truy vấn 69 9.2.1 Cú pháp câu lệnh select 69 9.2.2 SQL đại số quan hệ 70 9.2.3 Mệnh đề select 70 9.2.4 Mệnh đề where 71 9.2.5 Mệnh đề order by 73 9.2.6 Kết nối bảng 74 9.3.Bài tập 75 10 THỰC HÀNH RBTV 76 11 CÁC PHÉP TOÁN TẬP HỢP VÀ TRUY VẤN LỒNG 76 11.1 Các phép toán tập hợp 76 11.1.1 Toán tử UNION 76 11.1.2 Toán tử EXCEPT INTERSECT 77 11.2 Truy vấn lồng 77 11.2.1 Truy vấn lồng phân cấp 78 11.2.2 Truy vấn lồng tương quan 78 11.3 Bài tập liên quan đến phép toán tập hợp truy vấn lồng 78 12 THỰC HÀNH VỀ CẬP NHẬT DỮ LIỆU 80 13 HÀM KẾT HỢP VÀ GOM NHÓM, MỘT SỐ TRUY VẤN KHÁC 80 13.1 Hàm kết hợp 80 13.2 Gom nhóm 82 13.2.1 Cú pháp 82 13.2.2 Điều kiện nhóm 82 13.3 Thứ tự thực câu truy vấn có mệnh đề Group by Having .83 Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 13.4 Một số dạng truy vấn khác 84 13.4.1 Truy vấn mệnh đề From 84 13.4.2 Điều kiện kết nối mệnh đề From 84 14 THỰC HÀNH VỀ TRUY VẤN CƠ BẢN 86 15 BÀI TẬP – THẢO LUẬN: HÀM KẾT HỢP VÀ GOM NHÓM, MỘT SỐ TRUY VẤN KHÁC 86 15.1 Nhắc lại lý thuyết 86 15.2 Bài tập 86 15.3 Thảo luận 86 16 PHỤ THUỘC HÀM 87 16.1 Khái niệm 87 16.2 Một số tính chất phụ thuộc hàm 88 16.3 Định nghĩa suy dẫn theo quan hệ 90 16.4 Hệ tiên đề Amstrong (Armstrong’s Axioms) 91 16.5 Định nghĩa suy dẫn theo hệ tiên đề Amstrong 91 16.6 Bao đóng tập thuộc tính (closures of attribute sets) 91 16.6.1 Thuật toán tìm bao đóng tập thuộc tính 94 16.6.2 Thuật toán tìm F+ 97 17 THỰC HÀNH VỀ CÁC PHÉP TOÁN TẬP HỢP VÀ TRUY VẤN LỒNG 99 18 KHÓA CỦA LƯỢC ĐỒ QUAN HỆ 99 18.1 Siêu khóa khóa 99 18.2 Họ Sperner khóa 100 18.3 Một số vấn đề khóa 101 18.3.1.Tìm khoá lược đồ quan hệ 101 18.3.2 Kiểm tra tập cho trước có phải khoá hay không? 102 18.3.3 Giao tất khoá 102 18.3.4 Thuật toán kiểm tra lược đồ cho có hay nhiều khoá 105 18.3.5 Thuật toán tìm tất khoá lược đồ quan hệ 105 19 BÀI TẬP VỀ PHỤ THUỘC HÀM VÀ KHÓA CỦA LƯỢC ĐỒ QUAN HỆ 109 19.1 Nhắc lại lý thuyết 109 19.2 Bài tập áp dụng 109 20 THỰC HÀNH HÀM KẾT HỢP VÀ GOM NHÓM 111 21 CÁC DẠNG CHUẨN CƠ BẢN CỦA LƯỢC ĐỒ QUAN HỆ 111 21.1 Một số khái niệm liên quan 111 21.2 Các dạng chuẩn 111 21.3 Dạng chuẩn 1( 1NF-first normal form) 113 Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 21.4 Dạng chuẩn 2NF (second normal form) 113 21.5 Dạng chuẩn (3NF- Third normal form) .115 21.6 Dạng chuẩn Boyce Codd ( BCNF- Boyce Codd normal form) 116 21.7 Mối quan hệ dạng chuẩn .116 22 THỰC HÀNH MỘT SỐ DẠNG TRUY VẤN KHÁC 118 23 KIỂM TRA THỰC HÀNH .118 TÀI LIỆU THAM KHẢO 119 Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên CÁC KHÁI NIỆM CƠ BẢN VỀ HỆ CƠ SỞ DỮ LIỆU Lý thuyết CSDL lĩnh vực tin học nhằm nghiên cứu chế, nguyên lý, phương pháp tổ chức, lưu trữ liệu thiết bị mang tin, nhằm khai thác có hiệu liệu lưu trữ Các sở liệu hệ sở liệu trở thành thành phần chủ yếu sống hàng ngày xã hội đại Trong vòng ngày người có nhiều hoạt động cần có giao tiếp với sở liệu như: đến ngân hàng để rút tiền gửi tiền, đăng ký chỗ máy bay khách sạn, truy cập vào thư viện tin học hoá để tìm sách báo, đặt mua tạp chí nhà xuất bản…Tại ngân hàng, cửa hàng, người ta cập nhật tự động việc quản lý tiền bạc, hàng hoá Tất giao tiếp gọi ứng dụng sở liệu truyền thống Trong sở liệu truyền thống, hầu hết thông tin lưu giữ truy cập văn số Những năm gần đây, tiến kỹ thuật đưa đến ứng dụng sở liệu Các sở liệu đa phương tiện lưu trữ hình ảnh, phim tiếng nói Các hệ thống thông tin địa lý lưu trữ phân tích đồ, liệu thời tiết ảnh vệ tinh Kho liệu hệ thống phân tích trực tuyến sử dụng nhiều công ty để lấy phân tích thông tin có lợi từ sở liệu lớn nhằm đưa định Các kỹ thuật sở liệu động thời gian thực sử dụng việc kiểm tra tiến trình công nghiệp sản xuất Các kỹ thuật tìm kiếm sở liệu áp dụng cho World Wide Web để cung cấp việc tìm kiếm thông tin cần thiết cho người sử dụng cách duyệt qua Internet Để hiểu sở kỹ thuật sở liệu phải sở kỹ thuật sở liệu truyền thống Mục đích giáo trình nghiên cứu sở kỹ thuật Trong chương định nghĩa sở liệu, hệ quản trị sở liệu, mô hình sở liệu thuật ngữ khác 1.1 Dữ liệu - thông tin 1.1.1 Dữ liệu Dữ liệu kiện cấu trúc, ý nghĩa Mọi thông tin quản lý máy tính điện tử theo phương cách phải thể liệu ghi thiết bị lưu trữ Trong tin học, liệu hiểu biểu diễn thông tin đưa vào máy tính điện tử để xử lý thường có dạng sau đây: Dữ liệu Dữ liệu dạng số Số nguyên Số thực Dữ liệu dạng phi số Văn Hình ảnh Tri thức Âm Sự kiện Luật dẫn Hình 1-1 Các dạng liệu Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên Để lưu trữ máy tính điện tử liệu số, phi số tri thức mã hoã số nhị phân - Dữ liệu dạng số bao gồm số nguyên số thực Ví dụ: (Số nguyên), -57 (Số nguyên), 43.56 (Số thực) Một dạng liệu khác đặc trưng cho đại lượng logic thường “ số hoá ” qua giá trị - Dữ liệu phi số bao gồm văn (dạng chữ), âm hình ảnh - Dữ liệu dạng tri thức: bao gồm kiện luật dẫn Ví dụ: Bạn Hà đạt điểm tổng kết môn Tin học (sự kiện) Nếu học sinh đạt tổng kết từ trở lên môn học sinh xếp loại giỏi môn (Luật dẫn) Tuỳ theo mục đích xử lý tiếp tục phân chia liệu thành cấu trúc nhỏ gộp liệu thành cấu trúc lớn hơn, phức tạp Vài ví dụ tiêu biểu liệu: + An đạt 550 điểm tổng số 600 điểm + Nhà cách trường 10km + Hà sinh ngày 23 tháng năm 883 + Nhạc ghi băng từ + Bức hình bạn Bản thân liệu ý nghĩa không sếp hay kết hợp thêm vài liệu Ví dụ điểm An Thật tốt biết An điểm cao liệu kèm thêm liệu khác như: + An đạt 500 tổng số 600 điểm + Hoà đạt 300 tổng số 600 điểm Thì làm nhiều Bây so sánh chúng biết thêm An: + An đạt 500 điểm + An đạt điểm cao Hoà Xa có điểm sinh viên lớp An, ta biết nhiều Ta tính xem An đứng thứ lớp Vì liệu xem quan trọng xử lý Để hiểu rõ xem ví dụ khác: + Bình sinh ngày 20 tháng 10 năm 881 Kết hợp với với liệu ngày tại: + Hôm ngày 20 tháng 10 năm 2004 cho ta biết Bình tuổi 1.1.2.Thông tin a Khái niệm Khi liệu xử lý có ý nghĩa lúc gọi thông tin Một vài ví dụ thông tin: a An đạt điểm cao Hoà b Chuyến tàu bị trễ 30 phút c Giờ bình 24 tuổi b Đặc điểm thông tin  Thông tin mang lại cho người hiểu biết, nhận thức tốt đối tượng đời sống xã hội, thiên nhiên, giúp cho họ thực hợp lý công việc cần làm để đạt tới mục đích cách tốt Con người có nhu cầu đọc báo, nghe đài, xem phim, video, tham quan, du lịch, tham khảo ý kiến người khác, để nhận thêm thông tin Nốt nhạc sô-nát ánh trăng Beethoven làm cho người nghe cảm thấy tươi mát, êm dịu đêm trăng Những thông tin cảm xúc tác giả truyền đạt lại Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên  Thông tin phát sinh, lưu trữ, truyền, tìm kiếm, xử lý, chép, nhân Thông tin méo mó, bị biến dạng, sai lệch bị phá huỷ nhiễu tác động hay người xuyên tạc  Thông tin thể nhiều dạng hình thức khác sóng ánh sáng, sóng âm, sóng điện từ, ký hiệu viết giấy khắc gỗ, đá, kim loại… Chúng gọi vật mang tin  Cùng thông tin biểu diễn liệu khác Cũng năm đơn vị, hệ thập phân ta dùng ký hiệu “5” hệ đếm La mã lại dùng kí hiệu: “V” Dữ liệu (kí hiệu) biểu diễn thông tin khác Cùng kí hiệu “I” tiếng Anh có nghĩa đại từ nhân xưng thứ (tôi) toán học lại chữ số La mã có giá trị đơn vị c So sánh liệu thông tin Dữ liệu Thông tin Một tập hợp kiện số liệu Dữ liệu tổ chức xếp Không có giá trị nhiều Luôn có ích Được chuyển thành thông tin Cũng chuyển thành liệu Các hệ thống xử lý truyền thống Tiếp cận CSDL giải vấn đề hệ tập tin theo lối cũ: Vấn đề 1: cấu trúc logic cấu trúc vật lý Kiến trúc bên HQTCSDL quan hệ tách biệt rõ ràng giữa: - cấu trúc luận lý tất tập tin chương trình ứng dụng khai thác tập tin - cấu trúc vật lý csdl phần lưu trữ tập tin Tiếp cận tạo cho người quản trị CSDL thay đổi cấu trúc vật lý hay nơi lưu trữ tập tin mà không ảnh hưởng đến chương trình ứng dụng Vấn đề 2: dư thừa liệu Khi HQTCSDLQH giới thiệu, nhiều tổ chức mong tích hợp tập tin phân tán khắp tổ chức vào CSDL tập trung Dữ liệu chia sẻ cho nhiều ứng dụng khác người sử dụng khai thác đồng thời tập liệu liên quan đến họ Điều làm hạn chế dưthừa liệu Vấn đề 3: Sự khai thác liệu người sử dụng Trong hệ QTCSDLQH người dùng trực tiếp khai thác liệu thông qua việc sử dụng câu truy vấn hay công cụ báo cáo cung cấp hệ QTCSDL - Cơ sở liệu tập liệu đối tượng cần cần quản lý, lưu trữ thiết bị mang tin, quản lý theo chế thống nhất, nhằm thực tốt chức sau: + Mô tả liệu + Cập nhật liệu + Tìm kiếm nói riêng, khai thác liệu nói chung Hệ quản trị CSDL (database management system) hệ thống phần mềm giúp người sử dụng thực chức năng: mô tả liệu, cập nhật tìm kiếm Người quản trị CSDL người thực thao tác sau: + Tạo lập liệu + Bổ sung liệu + Xoá liệu Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên + Tìm kiếm + Bảo quản 1.2 Cơ sở liệu Cơ sở liệu kỹ thuật sở liệu có ảnh hưởng lớn đến việc sử dụng máy tính Có thể nói sở liệu đóng vai trò quan trọng lĩnh vực có sử dụng máy tính giáo dục, thương mại, kỹ nghệ, khoa học, thư viện,… Thuật ngữ sở liệu trở thành thuật ngữ phổ dụng Một sở liệu tập hợp liệu có liên quan với nhau, lưu trữ thiết bị mang tin, có nhiều người sử dụng tổ chức theo mô hình Dữ liệu kiện ghi lại có ý nghĩa Ngày CSDL tồn ứng dụng thông dụng, ví dụ: - Hệ kho kiểm kê - Hệ đặt chỗ máy bay - Hệ nguồn nhân lực - hệ dịch vụ công cộng cấp nước, điện, khí đốt - Điều khiển trình chế tạo sản xuất Các tính chất sở liệu Một sở liệu có tính chất sau: Một sở liệu biểu thị khía cạnh giới thực hoạt động công ty, nhà trường, ngân hàng… Những thay đổi giới thực phải phản ánh cách trung thực vào sở liệu Những thông tin đưa vào sở liệu tạo thành không gian sở liệu “thế giới nhỏ” (miniworld) Một sở liệu tập hợp liệu liên kết với cách logic mang ý nghĩa cố hữu Một sở liệu tập hợp tuỳ tiện Một sở liệu thiết kế phổ biến cho mục đích riêng Nó có nhóm người sử dụng có chủ định có số ứng dụng xác định phù hợp với mối quan tâm người sử dụng Nói cách khác, sở liệu có nguồn cung cấp liệu, mức độ tương tác với kiện giới thực nhóm người quan tâm tích cực đến nội dung Một sở liệu có cỡ tuỳ ý có độ phức tạp thay đổi Có sở liệu gồm vài trăm ghi (như sở liệu phục vụ việc quản lý lương quan nhỏ), có sở liệu có dung lượng lớn (như sở liệu phục vụ cho việc tính cước điện thoại, quản lý nhân phạm vi lớn) Các sở liệu phải tổ chức quản lý cho người sử dụng tìm kiếm liệu, cập nhật liệu lấy liệu cần thiết Một sở liệu tạo trì cách thủ công tin học hoá Một sở liệu tin học hoá tạo trì bằng nhóm chương trình ứng dụng 1.3 Hệ quản trị CSDL Một hệ quản trị sở liệu tập hợp chương trình giúp cho người sử dụng tạo ra, trì khai thác sở liệu Nó hệ thống phần mềm phổ dụng, làm dễ trình định nghĩa, xây dựng thao tác sở liệu cho ứng dụng khác Định nghĩa sở liệu bao gồm việc đặc tả kiểu liệu, cấu trúc ràng buộc cho liệu lưu trữ sở Xây dựng sở liệu trình lưu trữ liệu phương tiện lưu trữ hệ quản trị sở liệu kiểm soát Thao tác sở liệu bao gồm chức truy vấn sở liệu để lấy liệu cụ thể, cập nhật sở liệu để phản ánh thay đổi giới nhỏ tạo báo cáo từ liệu Các hệ quản trị sở liệu dùng để thể sở liệu tin học hoá phổ dụng (là phần mềm đóng gói) chuyên dụng (là tập phần mềm tạo với mục đích riêng) Người ta gọi sở liệu hệ sở liệu thuật ngữ chung hệ sở liệu Môi trường hệ sở liệu mô tả hình vẽ Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên Hình 1-2 Môi trường hệ sơ liệu Một hệ quản trị CSDL (HQTCSDL) Một tập phần mềm quản lý CSDL cung cấp dịch vụ xử lý CSDL cho người phát triển ứng dụng người dùng cuối - HQTCSDL cung cấp giao diện người sử dụng liệu - HQTCSDL biến đổi CSDL vật lý thành CSDL logic - Loại quan hệ như ORACLE Oracle, DB2 IBM, ACCESS Microsoft Access - Loại đối tượng tiếp cận thiết kế HQTCSDL việc sử dụng loại sớm trở nên phổ biến Hiện tại, loại HQTCSDL sử dụng công nghệ loại HQTCSDL quan hệ (RDBMS) Loại chiếm lĩnh công nghệ 10-14 năm cuối đánh bật loại HQTCSDL phân cấp gần HQTCSDL mạng 1.3.2.Các chức hệ quản trị sở liệu Một hệ quản trị sở liệu có chức sau:  Kiểm soát tính dư thừa liệu - Tích hợp nhu cầu liệu người dùng để xây dựng CSDL thống  Chia sẻ liệu - Trong môi trường đa người dùng, HQT phải cho phép truy xuất liệu đồng thời  Hạn chế truy cập không cho phép - Từng người dùng nhóm người dùng có tài khoản mật mã để truy xuất liệu  Cung cấp nhiều giao diện - HQT cung cấp ngôn ngữ CSDL người dùng  Đảm bảo ràng buộc toàn vẹn - RBTV (Integrity Constraints) qui định cần thỏa mãn để đảm bảo liệu phản ánh ngữ nghĩa giới thực - Một số RB khai báo với HQT HQT tự động kiểm tra Một số RB khác kiểm tra nhờ CTƯD Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 10 F={AB  CDE, AC  BCG, BDG, ACHHE, CG  BDE } I = U \ ((CDE – AB)  (BCG – AC)  (G – BD)  (HE – ACH)  (BDE – CG) ) =U \ ( CDE  BG  G  E  BDE ) =U \ BCDEG=AH Nhận xét: - Với lược đồ cho ta tìm I cách dễ dàng - Lược đồ có khoá I khoá hay (I)+ =U 18.3.4 Thuật toán kiểm tra lược đồ cho có hay nhiều khoá Bài toán: cho lược đồ quan hệ  = (U, F) hỏi lược đồ  có hay nhiều khoá b1 Tính I b2 Nếu (I)+ = U lược đồ cho có khoá b3 Nếu (I)+  U lược đồ có nhiều khoá Trong ví dụ ta có I =AH ( I )+  U lược đồ cho có nhiều khoá 18.3.5 Thuật toán tìm tất khoá lược đồ quan hệ Thuật toán 1: Bước 1:Xác định tất tập khác rỗng Q+ Kết tìm giả sử tập thuộc tính X1,X2, X2n-1 Bước 2:Tìm bao đóng xi Bước 3:Siêu khóa xi có bao đóng Q+ Giả sử ta có siêu khóa S={S1,S2, .Sm} Bước 4:Xây dựng tập chứa tất khóa Q+ từ tập S cách xét Si,Sj S(i#j), Si ⊂ Sj ta loại Sj (i,j=1 n), kết lại S tập tất khóa cần tìm Ví dụ 1: Tìm tất khóa lược đồ sau: Q(C, S, Z); F = {f1:CS→Z; f2:Z→C} Xi + Siêu khóa Khóa X1 C C S S CS CSZ CS CS Z ZC CZ CZ SZ SZC SZ SZ CSZ CSZ CSZ Thuật toán 2: Cho lược đồ quan hệ  = (U, F) Hãy tìm tất khoá lược đồ quan hệ  b1) Xác định I b2) Nếu I+= U kết luận lược đồ có khoá I  kết thúc thuật toán Ngược lại I+ U chuyển sang bước Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 105 b3) Xác định N={  ( Ri -Li ) cho Li  I } - đặt N’=(I N)+ \ I ( N’N ) - đặt N’’= R – L (R = Ri, L = Li) - đặt B=U \N’ \N’’\ I b4) Nếu | B |=2 (tập B gồm có hai thuộc tính), giả sử B=B1B2 lược đồ có hai khoá IB1 IB2, kết thúc thuật toán Ngược lại | B |>2 chuyển sang bước b5) Tìm tất tập khác rỗng B, ký hiệu tập {B1, B2, Bn} Tính (BiI)+ (i=1 n), (BiI)+ = U đặt Mi=BiI b6) Khi M= {M1, M2, …, Mh} họ tất siêu khoá lược đồ  b7) Loại bỏ siêu khoá không tối tiểu khỏi M, tức  Mi Mj (*) ( ij, i, j= 1, h ) loại Mj khỏi M Tập M thu sau loại bỏ tất phần tử thoả mãn biểu thức (*) họ tất khoá lược đồ  Nhận xét: Từ tập B gồm n phần tử ta lập lên 2n-1 tập khác rỗng B Cho nên dù n số không lớn 2n-1 số tương đối lớn Do toán tìm tất khoá lược đồ quan hệ coi toán khó (vì có độ phức tạp thuật toán hàm mũ) Nhận xét: Nếu I+U tập B gồm hai phần tử (giả sử B=B1B2) suy lược đồ có hai khoá I  B1 I  B2 Ví dụ 1: cho lược đồ quan hệ  = (U, F) với U=ABCDEGH, F={ ABCADH, ABGAEH, AEDG} Hãy tìm tất khoá lược đồ Giải: I =U \  (Ri -Li )=U- (DH u EH u DG )= ABCDEGH - DEGH= ABC (I)+= (ABC)+ = ABCDH ≠ U nên lược đồ cho có nhiều khóa N= (Ri -Li )=DH ( với Li I ) N’=(I N)+ \ I =(ABCDH)+ \ ABC = DH  N N’’ = R- L = ADGEH – ABCGE = DH N = N U N’ U N’’= DH B=U \ N \ I = ABCDEGH \ ABC \ DH =EG Do (I )+  U nên lược đồ cho có nhiều khoá, lược đồ có hai khoá I  E =ABCE I  G= ABCG Ví dụ 2: Tìm tất khóa lược đồ quan hệ α = (U, F), U=ABCD, F={AB->C, D->B, C->ABD} Bài làm: I= U – u (Ri-Li) , Li-> Ri thuộc vào F I= ABCD – (C u B u ABD) = Rỗng I=rỗng Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 106 N= I –u (Ri - Li), Li thuộc vào I N=rong N’=(I u N)+- I N’=Rỗng N’’= R- L = rỗng B= U-N’-N’’-I = ABCD B={ABCD} |B|=4 Tìm tập khác rỗng B (2 mũ 4=16-1=15 tập con): A B C D AB AC AD BC BD CD ABC ABD BCD ACD ABCD Tìm bao đóng (B HỢP VỚI I) A+=A B+=B C+=U D+=BD (AB)+=U (AC)+=U (AD)+=U (BC)+=U (BD)+=BD (CD)+=U (ABC)+=U (ABD)+=u (BCD)+=U (ACD)+=U (ABCD)+=U Suy ra, Họ siêu khóa là:Mi C AC BC AB AD CD ABC ABD BCD ACD ABCD Hoặc trình bày bảng sau: Bi (Bi hợp với I) (Bi hợp với I)+ Siêu khóa A A A B B B AB AB ABCD AB C C ABCD C AC AC ABCD AC BC BC ABCD BC ABC ABC ABCD ABC D D BD AD AD ABCD AD BD BD BD ABD ABD ABCD ABD CD CD ABCD CD ACD ACD ABCD ACD BCD BCD ABCD BCD ABCD ABCD ABCD ABCD Vậy khóa lược đồ là: C, AB, AD Ví dụ 3: Cho lược đồ =(U,F) Với U=ABCDEGH F={AB  CDE, AC  BCG, BDG, ACHHE, CG  BDE} Tìm tất khóa lược đồ Khóa AB C AD Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 107 Bài làm: B1: Tìm I ={ U - (Ri – Li) |  Li  Ri  F } I = U – (CDE  BG  G  E  BDE) = AH B2: (I)+= (AH)+= AH ≠ U, nên lược đồ có nhiều khóa B3: F={AB  CDE, AC  BCG, BDG, ACHHE, CG  BDE } N={  ( Ri -Li ) cho Li  I } N= rỗng - Tính N’=(I N)+ \ I = rỗng ( N’N ) N’’= R- L = BCDGHE – ABCDGH = E N’’’= N’  N’’ = E VẬY, B=U \N’‘’\ I = ABCDEGH – E – AH = BCDG |B| =4 Bước 4, 5, 6, F={AB  CDE, AC  BCG, BDG, ACHHE, CG  BDE } Bi (Bi U Iα) (Bi U Iα)+ Rỗng B C D G BC BD BG CD CG DG BCD BCG BDG CDG BCDG AH AHB AHC AHD AHG AHBC AHBD AHBG AHCD AHCG AHDG AHBCD AHBCG AHBDG AHCDG AHBCDG AH U U AHD AHG U U U U U AHDG U U U U U Mi Họ khóa AHB AHC AHB AHC AHBC AHBD AHBG AHCD AHCG AHBCD AHBCG AHBDG AHCDG AHBCDG Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 108 19 BÀI TẬP VỀ PHỤ THUỘC HÀM VÀ KHÓA CỦA LƯỢC ĐỒ QUAN HỆ 19.1 Nhắc lại lý thuyết 19.2 Bài tập áp dụng Bài số 1: Sử dụng luật hệ tiên đề Amstrong chứng minh tính chất sau: a Tính tựa bắc cầu: Nếu XY YZW XZW b Tính phản xạ chặt XX c Tính cộng tính: Nếu XY ZW XZYW d Tính chất hợp: Nếu XY XZ XYZ e Tính tách: Nếu XYZ XY v XZ f Tính tích luỹ: Nếu XYZ, ZVW XYVW Bài số 2: Cho lược đồ quan hệ  = (U, F) với U = ABCDEG F = {AC, BCD, DE, EA} Hãy tính (AB)+ ((DE)+A)+ Bài số 3: Cho lược đồ quan hệ =(U, F) với U=ABCDEG F={BC, ACD, DG, AGE} cho biết ABGF+ BDADF+ Bài số 4: Cho lược đồ quan hệ =(U, F) với U=ABCDEGH, F = {ABGH, GDAHE, CAGH, HEBC } a Tính (CE)+ b Tính (CD)+ c Chứng minh ABEDH không suy dẫn từ F d F├ ABE ->CD? Vì Bài số 5: Cho lược đồ quan hệ (=(u, F) tập phụ thuộc hàm F={ABE, AGI, BEI, EG, GIH} Chứng minh ABGH suy dẫn từ F Bài số 6: Cho tập phụ thuộc hàm F = {ABC, BD, CDAE} Xác định mối quan hệ (suy dẫn tương đương) tập phụ thuộc hàm F tập phụ thuộc hàm Giải thích a Fa = {ABCDE, CDAB} b Fb = {ABCDE, CDA, BD} Bài số 7: Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 109 Tìm phủ không dư tập phụ thuộc hàm F={AC, ABC, CDI, ECAB, EIC} Bài số 8: Tìm phủ không dư F={ XYZ, ZWP, PZ, WXPQ, XYQYW, WQYZ} Bài số 9: Loại bỏ phụ thuộc hàm dư thừa tập F={XY, YX, YZ ZY, XZ, ZX} Bài số 10: Hãy tìm phủ cực tiểu (tối thiểu) của: a F={ABC, AD, BDC} b F={ABC, AB} c F={ XYZ, ZWP, PZ, WXPQ, XYQYW, WQY} Bài số 10: Cho lược đồ quan hệ  = (U, F) với U = ABCDEGH F = { ABCDE, BCDG, ABHEG, CEGH} Hãy tìm khóa lược đồ Bài số 11: Cho lược đồ quan hệ =(U, F) với U = ABCDEGH F = {CDH, EB, DG, BHE, CHDG, CA } a Tìm giao tất khoá b Lược đồ có hay nhiều khoá c Tập ABD có phải khoá  không? ? d Tập CH có phải khoá  không? ? e Tính Z = (X+Y)+  (K+ -Y) X = CD , Y = CH , K siêu khoá  Bài số 12: Cho lược đồ quan hệ  = (U, F) với U = ABCD, F = {ADBC, BA, DC} a Tìm khoá lược đồ b Cho biết C có phải thuộc tính khoá hay không? Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 110 20 THỰC HÀNH HÀM KẾT HỢP VÀ GOM NHÓM 21 CÁC DẠNG CHUẨN CƠ BẢN CỦA LƯỢC ĐỒ QUAN HỆ 21.1 Một số khái niệm liên quan Chuẩn hoá trình tách lược đồ thành tập lược đồ con, cho trình tách không thông tin lược đồ tối ưu lược đồ ban đầu theo nghĩa: hạn chế dư thừa liệu, thuận lợi cho trình tạo lập, cập nhật thao tác tìm kiếm Định nghĩa thuộc tính khóa: Cho lược đồ quan hệ  =(U, F), thuộc tính AU gọi thuộc tính khoá hay thuộc tính nguyên tố A thuộc khoá đó, ngượclại A gọi thuộc tính không khoá thuộc tính không nguyên tố Định nghĩa phụ thuộc hàm đầy đủ: Cho lược đồ quan hệ  =(U, F), X, YU tập thuộc tính Y đợc gọi phụ thuộc hàm đầy đủ vào tập thuộc tính X nh Y phụ thuộc hàm vào X nhng không phụ thuộc hàm vào tập thực X tức - XY (Y phụ thuộc hàm vào X) -  X’  X X’Y (mọi tập thực X xác định hàm Y) Định nghĩa phụ thuộc hàm bắc cầu: Cho lược đồ quan hệ  =(U, F), X  U, AU, Thuộc tính A gọi phụ thuộc hàm bắc cầu vào tập thuộc tính X nh  Y U để - XY - YA - YX - AXY Nếu XY Y không phụ thuộc bắc cầu vào X ta nói Y phụ thuộc trực tiếp vào X 21.2 Các dạng chuẩn Sự cần thiết chuẩn hóa liệu Khi thực phép lưu trữ quan hệ chưa chuẩn hóa thường xuất dị thường thông tin Nghĩa liệu lưu trữ, dư thừa, liệu, mâu thuẫn hay không quán liệu xảy cập nhật, bổ sung hay sửa đổi liệu Dị thường thông tin nguyên nhân gây cản trở cho việc tìm khiếm, hỏi đáp thông tin Mục tiêu chuẩn hóa liệu triệt tiêu mức cao khả xuất dị thường thông tin thực phép lưu trữ Có mục tiêu hệ sở đảm bảo Dữ liệu lưu trữ phản ánh giới thực khách quan, đầy đủ sinh động Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 111 Khi thiết kế cài đặt hệ CSDL, chuẩn hóa trình khảo sát dang sách thuộc tính áp dụng tập quy tắc phân tích vào danh sách đó, biến đổi chúng thành nhiều tập nhỏ cho: •Tối thiểu việc lặp lại •Tránh dị thường thông tin •Xác định giải không rõ ràng, nhập nhằng suy diễn Quá trình chuẩn hóa trình tách lược đồ quan hệ nhóm tương đương lược đồ quan hệ chiếu cho kết nối tự nhiên không làm tổn thất thông tin bảo toàn phụ thuộc hàm Cơ sở chuẩn hóa dựa khái niệm phụ thuộc hàm, phụ thuộc đầy đủ, khóa, thuộc tính không khóa Một mô hình xem mô hình chuẩn hóa tốt, lý tưởng mô hình thuộc thuộc tính không khóa phụ thuộc hàm vào khóa Quan hệ chuẩn hóa quan hệ mà giá trị thuộc tính thuộc tính nguyên tố, không phân chia đựợc Mói cách khác, toạ độ hàng cột quan hệ có giá trị giá trị Ví dụ: Ngữ nghĩa liệu sau: +, Trong tuyến cáp, giá trị loại cáp xác định +, Mỗi mã cáp xác định mã nước sản xuất cáp, +, Mã nước xác định tên nước sản xuất F = {(TC#,MC#) → GTR, MC# → NSX, MC# → N#, N# → NSX} tập phụ thuộc hàm Các thuộc tính khóa: (TC#,MC# ) thuộc tính không khóa: GTR, N#, NSX NSX GTC MC# N# TC# Hình 25.1 TC# T01 T01 T01 T02 T02 GTR 210 140 120 500 400 Sơ đồ phụ thuộc hàm lược đồ quan hệ QLCAP MC# C01 C02 C03 C01 C04 N# HAQ HAQ VTN HAQ JAN NSX Hàn Quốc Hàn Quốc Việt Nam Hàn Quốc Nhật Bản Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 112 T03 T04 T05 210 400 450 C05 C06 C03 RUS CHN VTN Nga Trung Quốc Việt Nam Hình 25.2 Một thể lược đồ quan hệ 21.3 Dạng chuẩn 1( 1NF-first normal form) Một lược đồ quan hệ 𝛼 =(U, F) gọi dạng chuẩn 1(1 NF) tất miền giá trị thuộc tính R nguyên tố (không thể phân chia được) Chú ý: Tính phân chia có tính chất tương đối Định nghĩa cho thấy quan hệ chuẩn hóa 1NF Ví dụ: Xét quan hệ S (S#, PRO), thấy thuộc tính PRO chứa giá trị không nguyên tố Vì quan hệ quan hệ dạng chuẩn 1NF PRO S# P# QTY S1 210 200 300 S2 210 200 S3 300 210 Hình 25.3 Một thí dụ quan hệ không 1NF 21.4 Dạng chuẩn 2NF (second normal form) Trước nghiên cứu dạng chuẩn thứ 2, ta xét ví dụ sau đây: Xét CSDL gồm lược đồ quan hệ THI (MONTHI, GIAOVIEN) SINHVIEN(MONTHI, MSSV, TEN, TUOI, DCHI, DIEM) phản ánh thông tin kết thi đơn vị đó.Trong quan hệ THI MONTHI khoá quan hệ SINHVIEN MONTHI MSSV khoá Ở quan hệ thứ hai dễ nhận thấy MONTHI, MSSV,DIEM xác định kết thi sinh viên MSSV,TEN,TUOI,DCHI xác định đối tượng dự thi Xét hành lược đồ quan hệ THI SINHVIEN sau: THI MONTHI GIAOVIEN Toán T.Trợ Lý T.Công Hóa T.Giao SINHVIEN MONTHI MSSV TEN TUOI DCHI DIEM Toán 11 Lan 20 HN 8.0 Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 113 Toán Hóa Hóa Lý Lý 12 11 12 11 13 Hue Lan Hue Lan An 21 20 21 20 12 HY HN HY HN BN 7.5 7.0 6.0 5.0 4.0 Trong trình cập nhật lưu trữ liệu xuất vấn đề sau: Dư thừa liệu Ở quan hệ SINHVIEN , việc lưu trữ thông tin ví dụ sinh viên có mã sinh viên 11 phải lặp lại lần địa chỉ, lần tuổi Rõ ràng dư thừa Phép thay đổi Khi cần thay đổi thông tin một sinh viên phải thay đổi tất ứng với sinh viên Ví dụ sinh viên tên Lan phải thay đổi bộ, rõ ràng tốn thời gian.Hơn sửa đổi thông tin sinh viên bỏ sót số chưa sửa dẫn đến bất đồng liệu Phép chèn Không thể bổ sung sinh viên vào quan hệ SINHVIEN sinh viên chưa thi môn quan hệ SINHVIEN chứa thông tin sinh viên thi môn Bất lợi loại bỏ thông tin thi cử khỏi quan hệ Phép loại bỏ Giả sử lý cần phải huỷ bỏ môn thi Lý mà danh sách sinh viên giữ nguyên Khi quan hệ THI ta xoá (Lý, T.Thỉnh), quan hệ SINHVIÊN xoá môn thi Lý thông tin sinh viên An Để khắc phục bất lợi ta tách Lược đồ quan hệ SINHVIEN thành lược đồ quan hệ sau: SINHVIEN (MSSV, TEN, TUOI, DCHI) THIXONG (MSSV, MONTHI, DIEM) Định nghĩa: Cho lược đồ quan hệ  =(U, F), lược đồ  gọi dạng chuẩn 2, ký hiệu 2NF lược đồ dạng chuẩn 1NF thuộc tính không khoá  phụ thuộc đầy đủ vào khoá Thuật toán kiểm tra lược đồ có dạng chuẩn 2NF hay không? Bài toán: Cho lược đồ quan hệ  =(U, F), hỏi lược đồ có dạng chuẩn 2NF hay không? Thuật toán 1: Thuật toán kiểm tra dạng chuẩn Vào: Lược đồ quan hệ Q, tập phụ thuộc hàm F Ra: Khẳng định Q đạt chuẩn hay không đạt chuẩn Bước 1: Tìm tất khóa Q Bước 2: Với khóa K, tìm bao đóng tất tập thật LỚN NHẤT S K Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 114 Bước 3: Nếu có bao đóng 𝑆 + chứa thuộc tính không khóa Q không đạt chuẩn 2NF Ngược lại Q đạt chuẩn Ví dụ: Cho lược đồ quan hệ Q(A,B,C,D) tập phụ thuộc hàm F={AB→C; B→D; BC→A} Hỏi Q có đạt chuẩn không? Bài làm: Khóa 𝐾1 =AB 𝐾2 =BC ; tập khóa là: A, B, C Ta thấy B ϲ 𝐾1 , B→D, D thuộc tính không khóa => thuộc tính không khóa không phụ thuộc đầy đủ vào khóa => Q không đạt chuẩn 21.5 Dạng chuẩn (3NF- Third normal form) Định nghĩa1: Cho lược đồ quan hệ  =(U, F), lược đồ  gọi dạng chuẩn 3, ký hiệu 3NF, lược đồ dạng chuẩn 2NF thuộc tính không khoá  không phụ thuộc hàm bắc cầu vào khoá Định nghĩa 2:Cho lược đồ quan hệ  =(U, F), lược đồ  gọi dạng chuẩn 3, ký hiệu 3NF, phụ thuộc hàm X A F+ với A  X thì: - Hoặc X siêu khóa - Hoặc A thuộc tính khóa Nhận xét: Lược đồ quan hệ  =(U, F), với F tập phụ thuộc hàm có vế phải gồm thuộc tính Khi lược đồ  dạng chuẩn 3NF phụ thuộc hàm X A F với A  X có - Hoặc X siêu khóa - Hoặc A thuộc tính khóa Thuật toán kiểm tra lược đồ dạng chuẩn 3NF hay không? Từ nhận xét ta có thuật toán kiểm tra xem lược đồ có dạng chuẩn 3NF hay không sau: Input: lược đồ quan hệ  =(U, F) Output: khẳng định  đạt chuẩn 3NF hay không Thuật toán Vào: Lược đồ quan hệ Q,tập phụ thuộc hàm F Ra: Khẳng định Q đạt chuẩn hay không đạt chuẩn Bước 1: Tìm tất khóa Q Bước 2: Từ F tạo tập phụ thuộc hàm tương đương 𝐹1𝑡𝑡 có vế phải thuộc tính Bước 3: Nếu phụ thuộc hàm X→A ∈ 𝐹1𝑡𝑡 với A∉X có X siêu khóa A thuộc tính khóa Q đạt chuẩn ngược lại Q không đạt chuẩn Ví dụ: Cho lược đồ quan hệ Q(A,B,C,D) F={AB→C; D→B; C→ABD} Hỏi lược đồ có dạng 3NF? Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 115 K1 ={AB}; K ={AD}; K ={C} khóa => phụ thuộc hàm X→A∈ F có A thuộc tính khóa Vậy Q đạt chuẩn 21.6 Dạng chuẩn Boyce Codd ( BCNF- Boyce Codd normal form) Định nghĩa 1: Cho lược đồ quan hệ  =(U, F), lược đồ  gọi dạng chuẩn Boyce Codd, ký hiệu BCNF, lược đồ dạng chuẩn 1NF XA F+ ( A X ) X phải siêu khoá lược đồ Định nghĩa 2: Cho lược đồ quan hệ  =(U, F), lược đồ  gọi dạng chuẩn Boyce Codd, ký hiệu BCNF, lược đồ dạng chuẩn 1NF XYF phụ thuộc hàm không tầm thường (YX) X phải siêu khoá lược đồ Thuật toán kiểm tra lược đồ dạng chuẩn BCNF hay không? Từ định nghĩa dạng chuẩn BCNF ta có thuật toán kiểm tra xem lược đồ có dạng chuẩn BCNF hay không sau: Input: Lược đồ quan hệ  =(U, F) Output: Khẳng định  đạt chuẩn BCNF hay không Thuật toán: Vào: lược đồ quan hệ Q, tập phụ thuộc hàm F Ra: Khẳng định Q đạt chuẩn BC hay không đạt chuẩn BC Bước 1: Tìm tất khóa Q Bước 2: Từ F tạo phụ thuộc hàm tương đương 𝐹1𝑡𝑡 có vế phải thuộc tính Bước 3: Nếu phụ thuộc hàm X→A∈ F1tt với A∉X có X siêu khóa Q đạt chuẩn BC ngược lại Q không đạt chuẩn BC Ví dụ: Q(A,B,C,D,E,I) F={ACD→EBI, CE→AD} Hỏi Q có đạt chuẩn BC không? Giải: Lược đồ cho có khóa: ACD, CE F≡ F1tt = { ACD→E, ACD→B, ACD→I, CE→A, CE→D} Mọi phụ thuộc hàm 𝐹1𝑡𝑡 có vế trái siêu khóa => Q đạt chuẩn BC 21.7 Mối quan hệ dạng chuẩn Định lý: Một lược đồ dạng chuẩn cao dạng chuẩn thấp, nhiên điều ngược lại không điều mô tả hình sau: Ta chứng minh lược đồ dạng chuẩn BCNF dạng chuẩn 3NF Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 116 Giả sử lược đồ  = (U, F) dạng chuẩn BCNF không dạng chuẩn 3NF, tồn khoá K, tồn thuộc tính không khoá A cho phụ thuộc bắc cầu vào K Suy  Y  U cho: KY YA YK AKY Chọn X=Y XA YA AX AY X không siêu khoá X=Y mà YK suy lược đồ cho không dạng BCNF mâu thuẫn với giả thiết Suy đpcm Chứng minh lược đồ dạng 3NF dạng 2NF Giả sử lược đồ dạng 3NF không dạng 2NF, tức tồn khoá K, tồn thuộc tính không khoá A cho thuộc tính A phụ thuộc không đầy đủ vào khoá K suy tồn K’  K, K’ A đặt Y=K’ ta có KY YA YK Y K AKY (vì KY khoá), suy thuộc tính không khoá A phụ thuộc bắc cầu vào khoá Do lược đồ cho không dạng 3NF Điều trái với giả thiết Suy đpcm Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 117 22 THỰC HÀNH MỘT SỐ DẠNG TRUY VẤN KHÁC 23 KIỂM TRA THỰC HÀNH Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 118 TÀI LIỆU THAM KHẢO [1] Giáo trình nhập môn CSDL quan hệ, Lê Tiến Vương, NXB thống kê, 2000 [2] Đề cương giảng Cơ sở liệu, 2011, khoa Công nghệ thông tin [3] Nguyễn Bá Tường, Cơ sở liệu quan hệ ứng dụng, NXB Khoa học kỹ thuật, 2005 [4] Hồ Thuần, Hồ Cẩm Hà, Lý thuyết CSDL, NXB Giáo dục [5] Sở BCVT TP Hà nội, Giáo trình Cơ sở liệu, 2005 [6] Vũ Đức Thi, CSDL – kiến thức thực hành, nhà xuất thống kê, 1997 [7] Raghu Ramakrishnan- Johannes Gehrke, Database Management Systems, 2nd Ed [8] Elmasri – Navathe, Fundamentals Of Database Systems 3rd Edition, Addison Wesley Bộ môn MMT&TT – Khoa CNTT – Trường Đại học Sư phạm Kỹ thuật Hưng Yên 119 ... đích giáo trình nghiên cứu sở kỹ thuật Trong chương định nghĩa sở liệu, hệ quản trị sở liệu, mô hình sở liệu thuật ngữ khác 1.1 Dữ liệu - thông tin 1.1.1 Dữ liệu Dữ liệu kiện cấu trúc, ý nghĩa... liệu lưu trữ sở Xây dựng sở liệu trình lưu trữ liệu phương tiện lưu trữ hệ quản trị sở liệu kiểm soát Thao tác sở liệu bao gồm chức truy vấn sở liệu để lấy liệu cụ thể, cập nhật sở liệu để phản... Giải pháp sở liệu đời giải nhược điểm Cụ thể, giải pháp sở liệu có đặc trưng sau: Bản chất tự mô tả hệ sở liệu Một đặc trưng giải pháp sở liệu hệ thống sở liệu không gồm có thân sở liệu mà có