Bài giảng Cơ sở dữ liệu - Chương 6: Dạng chuẩn và vấn đề chuẩn hoa lược đồ cơ sở dữ liệu - Trường Cao đẳng Tài Chính Hải Quân

Nội dung text: Bài giảng Cơ sở dữ liệu - Chương 6: Dạng chuẩn và vấn đề chuẩn hoa lược đồ cơ sở dữ liệu - Trường Cao đẳng Tài Chính Hải Quân

1. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan bi 1: Q(A,B,C,D,E,G) F={AB?C;C?A; BC?D;ACD?B;D?EG;BE?C;CG?BD;CE?G} xác định dạng chuẩn của lược đồ quan hệ Q. bi 2: Cho F={AB?E,AG?I,BE?I,E?G,GI?H}. Hãy chứng tỏ phụ thuộc hàm AB?GH được suy diễn từ F nhờ luật dẫn Armstrong bi 3: cho F = {AB?C,B?D,CD?E,CE?GH,G?A} This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
2. Choose Learn Succeed CHƯƠNG 6: Trường Cao Đẳng Tài Chính – Hải Quan DẠNG CHUẨN (NORMAL FORM) VÀ VẤN ĐỀ CHUẨN HĨA LƯỢC ĐỒ CƠ SỞ DỮ LIỆU I. DẠNG CHUẨN (NORMAL FORM) 1. Đặt vấn đề Cho một lược đồ CSDL C cĩ các lược đồ quan hệ Q và tập phụ thuộc hàm F. Trong thực tế một ứng dụng cĩ thể phân tích, thiết kế thành nhiều lược dồ CSDL khác nhau và tất nhiên chất lượng thiết kế của các lược đồ CSDL này là khác nhau. Chất lượng thiết kế của một lược đồ CSDL cĩ thể được đánh giá dựa trên tiêu chuẩn sau: sự trùng lắp thơng tin, chi phí kiểm tra ràng buộc tồn vẹn, This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! 2 Purchase Print2PDF at
3. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví dụ: TÊN SẢN PHẨM ĐĐH TÊN KH ĐCHỈ-KH NGÀY NVIÊN - BÁN HÀNG Máy hút bụi 1458 Hồng Ngọc Đà Nẵng 7/5/05 Ngọc An Máy vi tính 2730 Hồng Dung TP.HCM 12/9/05 Mỹ An Tủ lạnh 2460 Nguyễn Thị Lan Hà nội 12/4/05 Liên Bình Ti vi 519 Dương Khang Lâm Đồng 22/7/05 Thuận Thành Máy CD 1817 Lê Thái Hịa Quảng Ngãi 20/8/05 Thanh Hà Máy hút bụi 1865 Nguyễn Mai Nha Trang 21/8/05 Ngọc An This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
4. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan - Sự trùng lắp thơng tin nhiều tốn khơng gian lưu trữ - Khi tìm kiếm thì rất tốn thời gian - Khi xĩa một khách hàng thì chúng ta xĩa mất địa chỉ, điện thoại. - This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
5. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Nếu chúng ta cĩ một phương pháp để cắt một bảng lớn như thế thành các bảng nhỏ hơn và nhờ đĩ cĩ thể loại bỏ được những vấn đề này, cơ sở dữ liệu sẽ hiệu quả và đáng tin cậy hơn. Các lớp lược đồ cơ sở dữ liệu quan hệ hoặc các định nghĩa bảng, được gọi là các dạng chuẩn (normal form), thường được sử dụng để đạt được mục tiêu này. Quá trình tạo ra một bảng dữ liệu đạt dạng chuẩn gọi là quá trình chuẩn hĩa (normalization). Quá trình này được thực hiện bằng cách phân tích sự phụ thuộc qua lại giữa từng thuộc tính đi kèm với những bảng này và chiếu (trên tập con của các cột) các bảng lớn để tạo ra các bảng nhỏ hơn. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
6. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan 2. Các dạng chuẩn a. Dạng chuẩn 1 Định nghĩa: Một quan hệ ở dạng chuẩn một nếu và chỉ nếu với mọi thuộc tính chỉ chứa các giá trị nguyên tố (giá trị nguyên tố là giá trị khơng thể tách thành các giá trị khác). Số báo cáo Biên tập viên Số phịng Tên phịng Địa chỉ phịng Địa chỉ tác giả Tên tác giả 4216 Woolf 15 design P1 Cs-tor Mantei P1 Mathrev Bolton P1 Mathrev Koenig 5789 Koenig 27 analysis P2 Fry Folkstone P2 Umar Prise Koenig mathrev P2 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
7. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Bảng đã chuẩn hố của Báo cáo: dạng chuẩn 1 Số báo cáo Biên tập viên Số phịng Tên phịng Địa chỉ phịng Mã tác giả Tên tác giả Địa chỉ tác giả 4216 Woolf 15 design P1 53 mantei Cs-tor 4216 Woolf 15 design P1 44 bolton mathrev 4216 Woolf 15 design P1 71 Koenig mathrev 5789 koenig 27 analysis P2 26 Fry folkstone 5789 koenig 27 analysis P2 38 umar prise 5789 koenig 27 analysis P2 71 koenig mathrev This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
8. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan b. Dạng chuẩn 2 Một số khái niệm bổ sung: - Thuộc tính khĩa, thuộc tính khơng khĩa Cho lược đồ quan hệ Q, cĩ thuộc tính U={A,B,C, }  X là thuộc tính khĩa của Q nếu thỏa mãn 2 điều kiện sau: - X U - X phải là một trong những thuộc tính khĩa của Q ví dụ: Q1(MNOPX) Q2(PY) - Thuộc tính đầy đủ - Thuộc tính A được gọi là phụ thuộc đầy đủ vào tập thuộc tính X nếu X A là một phụ thuộc hàm đầy đủ. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
9. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Định nghĩa dạng chuẩn 2: Một quan hệ R ở dạng chuẩn 2 nếu và chỉ nếu tất cả thuộc tính khơng khĩa phụ thuộc đầy đủ vào khĩa. Thuật tốn kiểm tra dạng chuẩn 2 Vào: lược đồ quan hệ Q, tập phụ thuộc hàm F Ra: khẳng định Q đạt chuẩn 2 hay khơng đạt chuẩn 2. Bước 1: Tìm tất cả khĩa của Q Bước 2: Với mỗi khĩa K, tìm bao đĩng của tất cả tập con thật sự + F k của K. + Bước 3: Nếu cĩ bao đĩng F k chứa thuộc tính khơng khĩa thì Q khơng đạt chuẩn 2 Ngược lại thì Q đạt chuẩn 2 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
10. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan ví dụ: Cho lược đồ quan hệ Q(A,B,C,D) và tập phụ thuộc hàm F={AB C; B D; BC A}. Hỏi Q cĩ đạt chuẩn 2 khơng? This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
11. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Bước 1: Tìm khĩa Khĩa là K1=AB và K2=BC. Ta thấy B D,D là 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 2. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
12. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Quan hệ sau có đạt chuẩn 2. Q(G,M,V,N,H,P) F={G→M; G→N; G→H; G→P; M→V; NHP→M} This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
13. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Bước 1: Tìm khóa: G Bước 2: Tìm bao đóng của G=U Lược đồ quan hệ Q có G là thuộc tính khóa và khóa chỉ có một thuộc tính nên mọi thuộc tính đều phụ thuộc đầy đủ vào khóa ⇒ Q đạt chuẩn 2 Kết luận: Nếu tất cả khóa của quan hệ chỉ gồm một thuộc tính thì quan hệ đó ít nhất đạt chuẩn 2. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
14. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví dụ: R = { A, B, C, D, E,G } F = { AB C D EG C A BE C BC D CG BD ACD B CE AG} This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
15. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Khĩa của R là: K1 = {A, B} ; K2 = {B, E}; K3 = {C, G}; K4 = {C, E} ; K5 = {C, D}; K6 = {B, C} Ta thấy tất cả các thuộc tính của R đều là thuộc tính khĩa tức là tập các phần tử khơng khĩa bằng rỗng. Vậy R là dạng chuẩn 2. Ta rút ra kết luận: Nếu Q đạt chuẩn 1 và tập thuộc tính không khóa của Q bằng rỗng thì Q đạt chuẩn 2 (các thuộc tính của Q đều là thuộc tính khóa) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
16. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví dụ 4: Cho R = { A, B, C, D, E, H } F = { A E C D E DH } This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
17. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan c. Dạng chuẩn 3 - kiến thức bổ sung Thuộc tính phụ thuộc bắc cầu Q là lược đồ quan hệ,tập thuộc tính U={A,B,C } X,Y là hai tập con của U, A là một thuộc tính  U. Nói rằng A phụ thuộc bắc cầu vào X nếu điều sau thỏa: + X → Y & Y → A + Y → X + A ∉XY This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
18. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan - Định nghĩa 1: R ở dạng chuẩn 3 nếu và chỉ nếu tất cả thuộc tính khơng khĩa phụ thuộc đầy đủ và khơng phụ thuộc bắc cầu vào khĩa. - Định nghĩa 2: R ở dạng chuẩn 3 nếu và chỉ nếu X A, phụ thuộc hàm khơng hiển nhiên định nghĩa trên Q (A là thuộc tính đơn, X là tập thuộc tính), 1 trong 2 điều kiện sau được thỏa: (i) hoặc X chứa 1 khĩa của R. (ii) hoặc A là thành viên của một khĩa của R. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
19. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Thuật tốn kiểm tra dạng chuẩn 3 Vào: lược ồ quan hệ Q, tập phụ thuộc hàm F Ra: khẳng ịnh Q ạt chuẩn 3 hay khơng ạt chuẩn 3. Bước 1: Tìm tất cả khĩa của Q Bước 2: Từ F tạo tập phụ thuộc hàm tương ương F1tt cĩ vế phải một thuộc tính. Bước 3: Nếu mọi phụ thuộc hàm X ? A ? F1tt với A?X ều cĩ X là siêu khĩa hoặc A là thuộc tính khố thì Q ạt chuẩn 3 ngược lại Q khơng ạt chuẩn 3 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
20. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví dụ: Cho lược đồ quan hệ Q(A,B,C,D) F={AB→C; D→B; C→ABD}.Hỏi Q có đạt chuẩn 3 không? This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
21. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan K1 = {AB}; K2 = {AD}; K3={C} là các khóa ⇒ mọi phụ thuộc hàm X→A∈F đều có A là thuộc tính khóa. Vậy Q đạt chuẩn 3 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
22. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví dụ: Quan hệ sau đạt chuẩn 3. Q(N,G,P,M) F = {NGP→M,M→P} This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
23. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan hệ quả Hệ quả 1: Nếu Q đạt chuẩn 3 thì Q đạt chuẩn 2 Hệ quả 2: Nếu Q không có thuộc tính không khóa thì Q đạt chuẩn 3. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
24. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Định lý: Q là lược đồ quan hệ F là tập các phụ thuộc hàm có vế phải một thuộc tính. Q đạt chuẩn 3 nếu và chỉ nếu mọi phụ thuộc hàm X→A∈F với A∉X đều có • Hoặc X là siêu khóa • Hoặc A là thuộc tính khóa This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
25. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan d. Dạng Chuẩn BC (Boyce-Codd Normal Form) Định nghĩa: R ở dạng chuẩn BCK nếu với mỗi phụ thuộc hàm khơng hiển nhiên X A thuộc F + và được định nghĩa trên R, và B U, X B là một phụ thuộc hàm thuộc F + . Nĩi một cách khác, X chứa một khĩa của U. Thuật toán kiểm tra dạng chuẩn BC 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 cả khóa của Q Bước 2: Từ F tạo tập phụ thuộc hàm tương đương F1tt có vế phải một thuộc tính Bước 3: Nếu mọi phụ thuộc hàm X → A ∈ F1tt với A∉X đều có X là siêu khóa thì Q đạt chuẩn BC ngược lại Q không đạt chuẩn BC This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
26. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Q(A,B,C,D,E,I) F={ACD→EBI;CE→AD}. Hỏi Q có đạt chuẩn BC không? F ≡ F1tt={ACD→E,ACD→B,ACD→I,CE→A,CE→D} This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
27. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan CHO Q(SV,MH,THAY) F = {SV,MH → THAY;THAY → MH} Quan hệ trên cĩ đạt dạng chuẩn BCK? This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
28. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Khoa k1={ACD} K2={CE} Mọi phụ thuộc hàm của F1tt đều có vế trái là siêu khóa ⇒ Q đạt dạng chuẩn BC This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
29. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Định lý: Q là lược đồ quan hệ F là tập các phụ thuộc hàm có vế phải một thuộc tính. Q đạt chuẩn BC nếu và chỉ nếu mọi phụ thuộc hàm X→A∈F với A∉X đều có X là siêu khóa This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
30. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Thuật toán kiểm tra dạng chuẩn của một lược đồ quan hệ. Vào: lược đồ quan hệ Q, tập phụ thuộc hàm F Ra: khẳng định Q đạt chuẩn gì? Bước 1: Tìm tất cả khóa của Q Bước 2: Kiểm tra chuẩn BC nếu đúng thì Q đạt chuẩn BC, kết thúc thuật toán ngược lại qua bước 3 Bước 3: Kiểm tra chuẩn 3 nếu đúng thì Q đạt chuẩn 3, kết thúc thuật toán ngược lại qua bước 4 Bước 4: Kiểm tra chuẩn 2 nếu đúng thì Q đạt chuẩn 2, kết thúc thuật toán. ngược lại Q đạt chuẩn 1 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
31. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Định nghĩa: Dạng chuẩn của một lược đồ cơ sở dữ liệu là dạng chuẩn thấp nhất trong các dạng chuẩn của các lược đồ quan hệ con. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
32. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan II. CHUẨN HĨA LƯỢC ĐỒ CƠ SỞ DỮ LIỆU 1. Các vấn đề liên quan a. Khái niệm Quá trình chuẩn hĩa cơ sở dữ liệu cần đạt được hai tiêu chuẩn quan trọng là: - Cấu trúc cần đạt một dạng chuẩn cao nhất. Cấu trúc kết quả phải tương đương với cấu trúc ban đầu.  Tiêu chuẩn dạng chuẩn được đề ra nhằm đáp ứng hai yêu cầu cụ thể: Giảm tối đa sự trùng lắp thơng tin trong Cơ sở dữ liệu, do đĩ sẽ tránh được một số bất tiện khi cập nhập Cơ sở dữ liệu. Tạo điều kiện để kiểm tra các ràng buộc tồn vẹn dưới dạng phụ thuộc dữ liệu được thuận lợi nhất, nghĩa là các phụ thuộc dữ liệu sẽ được kiểm tra dễ dàng nhất và tương đối ít tốn kém nhất. Tiêu chuẩn tương đương nhằm đảm bảo các thơng tin được lưu trữ trong quan hệ phổ quát được đầy đủ trong cơ sở dữ liệu của cấu trúc mới. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
33. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan b. Phương pháp Cĩ 2 phương pháp được sử dụng để chuẩn hĩa cơ sở dữ liệu. Đĩ là phương pháp phân rã và phương pháp tổng hợp. Phương pháp phân rã: Theo quan điểm của cách tiếp cận này, các quan hệ con của cấu trúc cơ sở dữ liệu ban đầu sẽ lần lượt được phân rã thành những quan hệ con với số thuộc tính ít hơn, sao cho cấu trúc đạt kết quả các tiêu chuẩn đề ra ở mức cao nhất. Quá trình phân rã là một quá trình được lặp lại đối với các quan hệ con nào được đánh giá cịn cĩ thể phân rã. Phương pháp tổng hợp: Cách tiếp cận tổng hợp khơng địi hỏi người thiết kế phải phác thảo một cấu trúc Cơ sở dữ liệu ban đầu, chỉ cần xác định danh sách các thuộc tính cần được quan tâm và danh sách các qui tắc quản lý của mơi trường ứng dụng được diễn đạt dưới dạng phụ thuộc hàm. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
34. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan 2. Chuẩn hĩa Lược đồ Cơ sở dữ liệu bằng phương pháp phân rã  - Định lý Delobel: Cho một lược đồ quan hệ R(XYZ) và tập phụ thuộc hàm F. Nếu X →Y ∈ F thì phép phân rã R thành 2 lược đồ quan hệ con R1(XY), R2(XZ) là bảo tồn thơng tin nghĩa là R = R1 R2 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
35. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Thuật tốn : Vào: Ra: p= {Ri}ni=1 đạt 2 tính chất: Bảo tồn thơng tin.(dựa vào định lý Delobel) Đạt chuẩn BCK. Lặp cho đến khi đạt được các Ri đạt BCK. Chọn X Y F1 mà X khơng là siêu khĩa của Ri (Ri chưa đạt BCK). Rã Ri thành Ri1(XY) và Ri2(XZ). Với Z = Ri – XY This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
36. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Bước 1: Tìm tập tất cả khĩa SK của Q Bước 2: Tìm phụ thuộc hàm X ? Y ? F cĩ X khơng là siêu khĩa và Y khơng chứa thuộc tính khĩa. Nếu tìm thấy thì tách Q thành Q1 và Q2 theo quy tắc sau: Q1=Q[XY]; Tính F1 bằng cách tính bao ĩng tất cả tập con của XY Q2=Q[Q+ -Y] SK cũng là tập khĩa của Q2 thực hiện bước 1 cho Q1 thực hiện bước 2 cho Q2 Ngược lại nếu khơng tìm thấy thì cĩ hai trường hợp: Trường hợp 1: mọi phụ thuộc hàm trong Fi ều cĩvế trái là siêu khĩa thì Qi ạt chuẩn BC Trường hợp 2: nếu cĩ phụ thuộc hàm cĩ vế trái khơng là siêu khĩa và vế phải là thuộc tính khĩa thì Qi ạt chuẩn 3. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
37. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví dụ: Cho R (XYZKLMN) F = f1: XY Z; f2: X LM; f3: K N R chưa đạt dạng chuẩn 3, phân rã R để sau khi phân rã Cơ sở dữ liệu đạt dạng chuẩn ít nhất là 3. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
38. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
39. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Kết luận: R được phân rã thành: 1. R1(XLM) F1 = f2: X LM Đạt dạng chuẩn BCK 2. R21(XYZ) F21 = f1:XY Z Đạt dạng chuẩn BCK 3. R221(KN) F221 = f3: K N Đạt dạng chuẩn BCK 4. R222(XYK) F222 =  Đạt dạng chuẩn BCK This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
40. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví Dụ : Cho lược đồ quan hệ Q(ABCDEG) và tập phụ thuộc hàm F F={ f1: AE →C f2: CG → A f3: BD →G f4: GA →E} a. Xác định dạng chuẩn của Q? b. Nếu Q chưa đạt dạng chuẩn 3, phân rã Q để sau khi phân rã Cơ sở dữ liệu đạt dạng chuẩn ít nhất là 3 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
41. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan ví d?: Xt lu?c d? quan h? Kehoach(GIAMTHI, MAMH, GV_DAY, NGAY, GIO, PHONG) v t?p cc ph? thu?c hm F. F={ f1: GIAMTHI ?MAMH, NGAY, GIO, PHONG f2: MAMH ?GV_DAY f3: NGAY, GIO, PHONG ?MAMH} a. Xác định dạng chuẩn của Kehoach? b. N?u Kehoach chua d?t d?ng chu?n 3, dng thu?t tốn phn r co s? d? li?u d?t d?ng chu?n ít nh?t l 3 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
42. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Ví Dụ : Q(C,D,E,G,H,K) và tập phụ thuộc hàm F như sau; F = {CK→ H; C →D; E→C; E →G; CK →E} a) Từ tập F, hãy chứng minh EK → DH b) Tìm tất cả các khóa của Q. c) Xác định dạng chuẩn của Q. d) Hãy tìm cách phân rã Q thành một lược đồ CSDL đạt dạng chuẩn BC (hoặc dạng chuẩn 3). Tìm tập phụ thuộc hàm và khóa cho mỗi lược đồ quan hệ con. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
43. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Q1:Tho(MATHO,TENTHO,NHOM,NHOM_TRUONG) Tân từ: Mỗi người thợ đều cĩ mã số là MATHO để nhận diện. Mỗi thợ chỉ cĩ một tên (TENTHO) và chỉ thuộc một nhĩm (NHOM). Nhĩm trưởng (NHOM_TRUONG)của mỗi nhĩm là một trong số những người thợ của nhĩm đĩ. MGT(MATHO)=MGT(NHOM_TRUONG) Q2: Cong_viec(MACV,NOIDUNGCV) Tân từ: Dịch vụ sửa chữa xe được chia nhỏ thành nhiều cơng việc để dễ dàng tính tốn chi phí với khách hàng. Mỗi cơng việc đều cĩ mã riêng (MACV) và nội dung của cơng việc được mơ tả qua NOIDUNGCV. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
44. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Q3: Hop_dong(SOHD,NGAYHD,MAKH,TENKH,DCHI,SOXE,TRI GIAHD,NG_GIAO_DK,NG_NGTHU) Tân từ: Mỗi hợp đồng sửa xe ký kết với khách hàng đều cĩ mã số (SOHD) để phân biệt. NGAYHD là ngày ký hợp đồng. Mỗi khách hàng cĩ một mã số (MAKH), một tên (TENKH) và một địa chỉ (DCHI) để theo dõi cơng nợ. SOXE là số đăng bộ của xe đem đến sửa chữa, số này do phịng CSGT đường bộ cấp (nếu xe đổi chủ thì xem như một xe khác). Khách hàng ký hợp đồng chính là chủ xe sửa chữa. Một khách hàng cĩ thể ký nhiều hợp đồng sửa chữa nhiều xe khác nhau hoặc hợp đồng sửa chữa nhiều lần của cùng một xe nhưng trong cùng một ngày. Những cơng việc sửa chữa cho một đầu xe chỉ ký hợp đồng một lần. TRIGIAHD là tổng trị giá của hợp đồng. NG_GIAO_DK là ngày dự kiến phải giao trả xe cho khách. NG_NGTHU là ngày nghiệm thu thật sự sau khi đã sửa chữa xong để thanh lý hợp đồng. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
45. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Q4: Chitiet_HD(SOHD,MACV,TRIGIA_CV,MATHO,KHOANTHO) Tân từ: Mỗi hợp đồng sửa xe cĩ thể gồm nhiều cơng việc. MACV là mã số của từng cơng việc. TRIGIA_CV là chi phí về vật tư, phụ tùng, thiết bị, cơng thợ đã tính tốn với khách. Mỗi cơng việc của hợp đồng sẽ giao cho một người thợ phụ trách (MATHO) và một người thợ cĩ thể tham gia vào nhiều cơng việc của một hay nhiều hợp đồng khác nhau. KHOANTHO là số tiền giao khĩan lại cho người thợ sửa chữa. Q5: Phieu_thu(SOPH,NGAYPH,SOHD,MAKH,HOTEN,SOTIENTHU) Tân từ: Khách hàng (MAKH) cĩ thể thanh tốn tiền của một hợp đồng (SOHD) làm nhiều lần trước hoặc sau khi nghiệm thu (trong cùng ngày hoặc khác ngày). Mỗi lần thanh tốn đều cĩ số phiếu để phân biệt (SOPH), NGAYPH là ngày phát hành phiếu và SOTIENTHU là số tiền thanh tốn. HOTEN là họ tên của người mang tiền đến thanh tốn (cĩ thể khác với tên của khách hàng đứng ra ký hợp đồng) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
46. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan F1={MATHO→TENTHO,NHOM,NHOM_TRUONG} Q1:Tho(MATHO,TENTHO,NHOM,NHOM_TRUONG) F2={MACV→NOIDUNGCV} Q2:Congviec(MACV,NOIDUNGCV) F3={SOHD→NGAYHD,MAKH,SOXE,TRIGIAHD,NG_GIAO_ DK,NG_NGTHU; MAKH→TENKH,DCHI} Q3: Hopdong(SOHD,NGAYHD,MAKH,TENKH,DCHI,SOXE,TRIGIA HD,NG_GIAO_DK,NG_NGTHU) F4={SOHD,MACV→TRIGIA_CV,MATHO,KHOANTHO} Q4:ChiTiet_hd(SOHD,MACV,TRIGIA_CV,MATHO,KHOANTHO) F5={SOPH→NGAYPH,SOHD,HOTEN,SOTIENTHU;SOHD→MAKH} Q5:Phieu_thu(SOPH,NGAYPH,SOHD,MAKH,HOTEN,SOTIENTH U) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
47. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Câu 2: mơ tả tất cả các ràng buộc tồn vẹn: R11 ? t1,t2 ? rTho RBTV khĩa chính t1.MATHO ? t2.MATHO cuối ? R12 rTho[NHOM_TRUONG] ? rTho[MATHO] RBTV khĩa ngoại R13 ? t ? rTho t.TENTHO ? NULL RBTV miền giá trị t.NHOM ? NULL RBTV miền giá trị cuối ? R21 t1,t2 ? rCongviec RBTV khĩa chính t1.MACV ? t2.MACV cuối ? R22 ? t ? rCongviec RBTV miền giá trị. t.NOIDUNGCV ? NULL cuối ? This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
48. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan R31 ∀ t1,t2 ∈ rHopdong RBTV khóa chính. t1.SOHD ≠ t2.SOHD cuối ∀ R32 ∀ t ∈ rHopdong t.NGAYHD ≠ NULL RBTV miền giá trị. t.MAKH ≠ NULL RBTV miền giá trị. t.TENKH ≠ NULL RBTV miền giá trị. t.SOXE ≠ NULL RBTV miền giá trị. t.TRIGIAHD > 0 RBTV miền giá trị. t.NGAYHD <= t.NG_NGTHU RBTV liên thuộc tính. t.NG_NGTHU <= t.NG_GIAO_DK RBTV liên thuộc tính. cuối ∀ This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
49. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan R41 ∀ t1,t2 ∈ rChiTiet_hd RBTV khóa chính. t1.{SOHD,MACV} ≠ t2.{SOHD,MACV} cuối ∀ R42 rChitiet_HD[MATHO] ⊆ rTho[MATHO] RBTV khóa ngoại R43 rChitiet_HD[SOHD] ⊆ rHopdong[SOHD] RBTV khóa ngoại R44 rChitiet_HD[MACV] ⊆ rCongviec[MACV] RBTV khóa ngoại R45 ∀ t ∈ rChiTiet_hd t.TRIGIA_CV > t.KHOANTHO RBTV liên thuộc tính. t.KHOANTHO > 0 RBTV miền giá trị. cuối ∀ This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
50. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan Dùng ngơn ngữ SQL để thực hiện những yêu cầu sau: a) Cho biết danh sách những người thợ hiện khơng tham gia vào một hợp đồng sửa chữa nào. b) Cho biết danh sách những hợp đồng hiện đã thanh lý (đã giao tra xe cho khách) nhưng chưa được thanh tốn đầy đủ. c) Giả sử hơm nay là ngày 21/12/95 cho biết danh sách những hợp đồng cần phải hồn tất trước ngày 31/12/95. d) Cho biết người thợ nào thực hiện nhiều cơng việc nhất. e) Cho biết người thợ nào thực hiện tổng giá trị cơng việc (tổng số tiền) cao nhất. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
51. a) SELECT matho,tentho Choose Learn Succeed FROM tho Trường Cao Đẳng Tài Chính – Hải Quan WHERE matho NOT IN (SELECT matho FROM hop_dong INNER JOIN chitiet_HD ON hop_dong.sohd = chitiet_HD.sohd WHERE ng_ngthu > date() OR ISNULL(ng_ngthu)) b)SELECT sohd,ngayhd,makh,tenkh,dchi,soxe,trigiahd,ng_giao_dk,ng_ngthu FROM hop_dong WHERE ng_giao_dk (SELECT SUM(SOTIENTHU) FROM phieu_thu WHERE phieu_thu.sohd = hop_dong.sohd) OR sohd Not In (Select sohd From phieu_thu)) c)SELECT sohd,ngayhd,makh,tenkh,dchi,soxe,trigiahd,ng_giao_dk,ng_ngthu FROM hop_dong WHERE ng_giao_dk > #12/21/95# AND ng_giao_dk = ALL (SELECT COUNT(macv) FROM chiTiet_hd GROUP BY matho) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
52. Choose Learn Succeed Trường Cao Đẳng Tài Chính – Hải Quan e. SELECT chiTiet_hd.matho,tentho,SUM(trigia_cv) AS congtrigia_cv FROM chiTiet_hd INNER JOIN tho ON chiTiet_hd.matho = tho.matho GROUP BY chiTiet_hd.matho,tentho HAVING SUM(trigia_cv) >= ALL (SELECT SUM(trigia_cv) FROM chiTiet_hd GROUP BY matho) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at