Public cuối kì cơ sở dữ liệu k15 21 22

CƠ SỞ DỮ LIỆU BHT Đoàn khoa MMT&TT – Training ći kì kì I Trainers: Vũ Minh Đức – ATTT2020 Trần Đặng Hồng Loan - ATCL2020 NỘI DUNG CHÍNH Ràng buộc tồn vẹn Ngơn ngữ truy vấn Phụ thuộc hàm Dạng chuẩn NGÔN NGỮ TRUY VẤN Nội dung Truy vấn có xếp Tốn tử Truy vấn có gom nhóm Truy vấn tổng quát Truy vấn lồng Truy vấn Phép toán tập hợp Truy vấn có kết bảng Phép chia Toán tử - Toán tử so sánh: =, >, >=, 2020 AND K.BENH = ‘Tim mạch’ Truy vấn có xếp SELECT FROM WHERE ORDER BY [ASC | DESC] Lưu ý: - ASC : tăng DESC : giảm - Khi sau mệnh đề ORDER BY có danh sách cột mặc định xếp ASC (tăng dần) 10 Các dạng chuẩn Dạng chuẩn (1NF) HOADON(MaHD, MaKH, NgayHD, CtietMua, SoTien) CtietMua không nguyên tố nên lược đồ quan hệ HOADON không đạt Dạng chuẩn 64 Các dạng chuẩn Dạng chuẩn (2NF) Lược đồ Q dạng chuẩn thoả: (1) Q đạt dạng chuẩn (2) Mọi thuộc tính khơng khóa Q phụ thuộc đầy đủ vào khóa Kiểm tra dạng chuẩn Bước 1: Tìm khóa Q Bước 2: Với khóa K, tìm bao đóng tập tất tập thực Si K Bước 3: Nếu tồn bao đóng Si+ chứa thuộc tính khơng khóa Q khơng đạt dạng chuẩn 2, ngược lại Q đạt dạng chuẩn 65 Các dạng chuẩn Dạng chuẩn (2NF) Ví dụ: Cho Q1 (A, B, C, D), F={A→B, B→DC} Hỏi Q có đạt dạng chuẩn hay khơng? Lược đồ có khóa A, khố có thuộc tính, nên thuộc tính phụ thuộc đầy đủ vào khóa Do Q1 đạt dạng chuẩn Ví dụ: Cho Q2 (A, B, C, D), F={AB → D, C → D} Lược đồ có khóa ABC, ngồi còn có C⊂ABC mà C → D, D thuộc tính khơng khóa (nghĩa thuộc tính D khơng phụ thuộc đầy đủ vào khóa) Do Q2 khơng đạt dạng chuẩn 66 Các dạng chuẩn Dạng chuẩn (3NF) Lược đồ Q dạng chuẩn phụ thuộc hàm X → A ∈ F+ , với A ∉ X có: (1) X siêu khóa, (2) A thuộc tính khóa Kiểm tra dạng chuẩn Bước 1: Tìm khóa Q Bước 2: Phân rã vế phải phụ thuộc hàm F để tập F trở thành tập phụ thuộc hàm có vế phải thuộc tính Bước 3: Nếu phụ thuộc hàm X → A ∈ F, mà A ∉ X thỏa (1) X siêu khóa (vế trái chứa khóa), (2) A thuộc tính khóa (vế phải tập khóa) Q đạt dạng chuẩn 3, ngược lại Q không đạt dạng chuẩn 67 Các dạng chuẩn Dạng chuẩn (3NF) Ví dụ: Cho Q (A, B, C, D), F={AB → D, C → D} Bước 1: Q có khóa ABC Bước 2: Mọi phụ thuộc hàm F có vế phải thuộc tính Bước 3: Với AB → D, nhận thấy D ∉ AB có • Vế trái (AB) khơng phải siêu khóa • Hơn vế phải (D) khơng thuộc tính khóa Vậy Q không đạt dạng chuẩn 68 Các dạng chuẩn Dạng chuẩn Boyce Codd (BCNF) Lược đồ Q dạng chuẩn BC phụ thuộc hàm X → A ∈ F+ , với A ∉ X có X siêu khoá Kiểm tra dạng chuẩn BCNF Bước 1: Tìm khóa Q Bước 2: Phân rã vế phải phụ thuộc hàm F để tập F trở thành tập phụ thuộc hàm có vế phải thuộc tính Bước 3: Nếu phụ thuộc hàm X → A ∈ F, mà A ∉ X thỏa X siêu khóa (vế trái chứa khóa), Q đạt dạng chuẩn BC, ngược lại Q khơng đạt dạng chuẩn BC 69 Các dạng chuẩn Dạng chuẩn Boyce Codd (BCNF) Ví dụ: Cho Q (A, B, C, D, E, I), F={ACD → EBI, CE → AD} Bước 1: Q có hai khóa {ACD, CE} Bước 2: Phân rã vế phải phụ thuộc hàm F, ta có: F={ACD → E, ACD → B, ACD → I, CE → A, CE → D} Bước 3: Mọi phụ thuộc hàm F có vế trái siêu khóa Vậy Q đạt dạng chuẩn BC 70 Câu 2.1: (HK1 2020 – 2021) Cho lược đồ quan hệ Q(ABCDE) có tập phụ thuộc hàm: F = {A→ BC, A→E, BC→AD, AB→D} Phụ thuộc hàm BDC→E có thuộc F+ khơng? Giải thích BDC+F = BDC BDC+F = BCDA(Vì BC → AD) BDC+F = BCDAE(Vì A → E) BDC+F = BCDAE = Q+ => Dừng Kết luận: Vì E ⊆ BDC+F nên BDC→E có thuộc F+ 71 Câu 2.2: (HK1 2020 – 2021) Cho lược đồ quan hệ Q(ABCDE) có tập phụ thuộc hàm: F = {A→ BC, A→E, BC→AD, AB→D} Lược đồ quan hệ (Q, F) có đạt dạng chuẩn khơng? Giải thích Tập thuộc tính nguồn N = { }, N +F ≠ Q + Tập thuộc tính trung gian TG = {A, B, C}, tập trung gian Xi = {A, B, C, AB, AC, BC, ABC} 72 Câu 2.2: (HK1 2020 – 2021) Các khoá Q A và BC Thuộc tính khơng khố: E, D Tập thật sự khoá {B, C}: B+F = B C+F = C Kết luận: Mọi thuộc tính khơng khố D, E Q phụ thuộc đầy đủ vào khoá A và BC nên Q đạt dạng chuẩn 73 Câu 2.1: (HK1 2017 – 2018) Cho lược đồ quan hệ Q(ABCDEG) tập phụ thuộc hàm: F = {f1: A→ BC, f2:AB→D, f3:AC→E, f4:B→G} Cho f: AG → DG, f có phải phụ thuộc hàm hệ (là thành viên) F khơng? Giải thích AG+F = AG AG+F = AGBC(Vì A → BC) AG+F = AGBCD(Vì AB → D) AG+F = AGBCDE(Vì AC→ E) AG+F = AGBCDE = Q+ => Dừng Kết luận: Vì DG ⊆ AG+F nên AG→DG thuộc F+ 74 Câu 2.1: (HK1 2017 – 2018) Cho lược đồ quan hệ Q(ABCDEG) tập phụ thuộc hàm: F = {f1: A→ BC, f2:AB→D, f3:AC→E, f4:B→G} Tìm tất khóa lược đồ quan hệ (Q, F) Tập thuộc tính nguồn N={A} N +F = A +F = ABCDEG = Q + Kết luận: Khoá Q A 75 Câu 2.1: (HK1 2017 – 2018) Cho lược đồ quan hệ Q(ABCDEG) tập phụ thuộc hàm: F = {f1: A→ BC, f2:AB→D, f3:AC→E, f4:B→G} Lược đồ quan hệ (Q, F) có đạt dạng chuẩn khơng? Giải thích Thuộc tính khố A Phân rã vế phải phụ thuộc hàm F, ta có: F={A→B, A→C, AB→ D, AC→ E, B→ G} Với B → G, nhận thấy G ∉ B có • Vế trái (B) khơng phải siêu khóa • Hơn vế phải (G) khơng thuộc tính khóa Vậy Q không đạt dạng chuẩn 76 Khoa Mạng Máy tính Truyền thơng BHT Đồn khoa MMT&TT Thank you ~ Chúc bạn thi thật tốt! Noel vui vẻ ! 77 Christmas Presents from: Bht DOAn KHOA Mmt&tt to: sV Uit 78