Trình bày định nghĩa phụ thuộc hàm đa trị, dạng chuẩn 4NF và thuật toán tách SĐCH có kết nối không mất mát thông tin về dạng 4NF, cho ví dụ.

Một phần của tài liệu lý thuyết thiết kế CSDL quan hệ (Trang 31 - 33)

II. CHUẨN HOÁ LƯỢC ĐỔ QUAN HỆ

9.Trình bày định nghĩa phụ thuộc hàm đa trị, dạng chuẩn 4NF và thuật toán tách SĐCH có kết nối không mất mát thông tin về dạng 4NF, cho ví dụ.

SĐCH có kết nối không mất mát thông tin về dạng 4NF, cho ví dụ.

10. Cho lược đổ quan hệ R và tập các phụ thuộc hàm: a. F = (AB — E, AG ¬ I, BE — Í, E —> G, GI —› H} trên R a. F = (AB — E, AG ¬ I, BE — Í, E —> G, GI —› H} trên R Chứng minh rằng: AB -> GHI.

b. F = {AB ¬ C, B ¬ D, CD ¬ E, CE ~> GH, G ¬ A] trên R Chứng minh rằng: AB -> E và AB —› G, Chứng minh rằng: AB -> E và AB —› G,

11. Cho sơ đổ quan hệ W = <R, F> với R = (A, B, C, D} và:

a, F = {A — B, A -> C}. Phụ thuộc hàm nào trong dãy sau được suy dẫn từ F: A 53D A 53D

€Cằ-+>D BC > A A + BC

b. F = {A — B, BC -> D}. Phụ thuộc hàm nào trong đãy sau được suy dẫn từ F: C -+D C -+D

A + D ADsC ADsC BC-+ A B > CD

12. Cho sơ đồ quan hệ W = <R, F>.

Các phép tách sau có kết nối mất mát thông tin không? Với: a. R={A, B,C) và: F={AB} P=(R¿,R¿), Rị ={A, Bị, Rạ = (A, C). b. R=({A, B, C} và: F=(A-+B,AsC} P= (R¡, Rạ), Rị = {A, B), Rạ = (A, C}. 13. Cho sơ đồ quan hệ W = <R, F>,

Các phép tách sau có kết nối mất mát thông tin không? Với: a. R={A,B,C,D,E,H, I,K, L} và F ={AB -—› D, DE —> H, IK ¬ L, LB -> C} P= (Rị, Rạ, Rạ), Rị = (A, B, C}, Rạ = (C, D, E, Hạ, Rạ ={E, H, I, K, L}. b. R=(ABCDEF) F ={AB + C,C->D,D-›E,DE—F} P.= (Rị, Rạ, Rạ, Rụ), Rị = {A, B, C}, Rạ = (C, D), Rạ = {D, E), Rạ ={D, E, F).

14. Hãy tìm khoá của sơ đồ quan hệ sau: W=<R,F> W=<R,F>

Trong đó:

R = (ABCDEF)

F ={(AB >C,C->D,D -›E, DE — F} 1. Hãy tìm các khoá của mỗi sơ đổ quan hệ sau: 1. Hãy tìm các khoá của mỗi sơ đổ quan hệ sau:

a.W=<R,F> Trong đó: R =(ABCD) F = (AB -› C, D —> B, D — B, C -› ABD} b.W=<R,F> 95

Trong đó:

R =(ABCDEG)

F = {AB -—> €, C -› A, BC + D, ACD —› B, D ¬ EG, BE — C,

Một phần của tài liệu lý thuyết thiết kế CSDL quan hệ (Trang 31 - 33)