Baocao Chuanhoa

LÝ THUYẾT CHUẨN HOÁ Nhóm 4 Trần Tấn Từ Lê Quang Chiến Trương Khắc Tùng Quách Xuân Hưng Võ Hoài Trung

Chuẩn hoá là gì ? ,[object Object],[object Object]

Các dạng chuẩn lược đồ quan hệ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Phụ thuộc đa trị Phụ thuộc kết nối

Dạng chuẩn 1NF ,[object Object],[object Object]

Dạng chuẩn 2NF ,[object Object],[object Object],[object Object],- Ví dụ R = <U, F>, với U = ABCD F = {AB  C, C  D}  K = {AB}  R có 2 thuộc tính khoá: A và B và R có thuộc tính không khoá : C và D

Dạng chuẩn 2NF (tiếp) ,[object Object],Nhận xét: Nếu X  U  F+ là 1 phụ thuộc hàm đầy đủ khi X là khoá của R. Ví dụ : NKBH = <U,F> với U = {NG, SP, MH, ĐG, SL} F = {SP, MH  U, MH  ĐG}  {SP, MH}  ĐG  F+ không là phụ thuộc hàm đầy đủ (vì  MH  {MH, SP}: MH  ĐG  F+)

Dạng chuẩn 2NF (tiếp) ,[object Object],(  A - không khoá,  X  K: X  A  F+ là phụ thuộc hàm đầy đủ) Ví dụ: Xét lược đồ quan hệ nêu trên NKBH có 2 thuộc tính khoá: SP và MH. Suy ra các thuộc tính không khoá: NG, ĐG, SL. Theo trên ta có : {SP, MH}  ĐG  F+ không là phụ thuộc hàm đầy đủ.  NKBH  2NF

Dạng chuẩn 2NF (tiếp) ,[object Object]

Dạng chuẩn 3NF ,[object Object],- Ví dụ: NKBH = <U, F>, với U = {STT, NGAY, MH, TH, ĐG, SL}, F = {STT  U, MH  TH, MH  ĐG}  NKBH  2NF (do lược đồ có 1 khoá duy nhất là STT chỉ có 1 thuộc tính) nhưng NKBH  3NF vì :

Dạng chuẩn 3NF (tiếp) ,[object Object],[object Object],[object Object],- Phân tách NKBH thành 2 lược đồ con: +HANG = <U1, F1>, với U1 = {MH, TH, ĐG} và F1 = {MH  U1} +NK = <U2, F2>, với U2 = {STT, NGAY, MH, SL} và F2 = {STT  U2} rõ ràng HANG và NK thuộc dạng chuẩn 3NF

Dạng chuẩn 3NF (tiếp) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thuật toán 1 : Phân tách thành các lược đồ con 3NF bảo toàn thông tin ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thuật toán 1 : Phân tách thành các lược đồ con 3NF bảo toàn thông tin (Tiếp) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Lưu ý: Nếu phân tách  = (U1, …, Un) tồn tại Ui là tập con của Uj (i  j) thì ta loại bỏ lược đồ tương ứng với tập thuộc tính Ui.

Thuật toán 1 : Phân tách thành các lược đồ con 3NF bảo toàn thông tin (Tiếp) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thuật toán 2 : Phân tách 3NF bảo toàn thông tin và bảo toàn phụ thuộc hàm ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thuật toán 2 : Phân tách 3NF bảo toàn thông tin và bảo toàn phụ thuộc hàm (tiếp) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng chuẩn BCNF ,[object Object],[object Object],Ví dụ: Cho R = <U, F>, với U = CSZ và F = {CS  Z, Z  C} Xét r  R: => Dư thừa dữ liệu r = C VN VN Mỹ Mỹ Mỹ Mỹ X S Hue HN A B C D A Z 84 84 1 1 2 2 99

Dạng chuẩn BCNF (tiếp) Rõ ràng R  3NF (vì R có 2 khoá: CS và SZ), nhưng R vẫn dư thừa. = r C VN Mỹ Mỹ X Z 84 1 2 99 S Hue HN A B C D A Z 84 84 1 1 2 2 99 Không dư thừa Không dư thừa

Ở ví dụ trên R  BCNF vì  Z  C  F+ với Z không là siêu khoá. Nhưng: R1 = <U1, F1> với U1 = CZ và F1 = {Z  C} R2 = <U2, F2> với U2 = SZ và F2 =  Ta có R1, R2  BCNF. ,[object Object],[object Object],[object Object],Dạng chuẩn BCNF (tiếp)

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Thuật toán để phân tách 1 lược đồ quan hệ thành các lược đồ con thuộc BCNF bảo toàn thông tin

Người ta đã chứng minh: không tồn tai 1 giải thuật phân tách 1 lược đồ quan hệ thành các lược đồ con thuộc BCNF vừa bảo toàn thông tin vừa bảo toàn phụ thuộc hàm

Baocao Chuanhoa

Recommended

Recommended

More Related Content

What's hot

What's hot (16)

Viewers also liked

Viewers also liked (15)

Similar to Baocao Chuanhoa

Similar to Baocao Chuanhoa (20)

More from Hoàng Chí Dũng

More from Hoàng Chí Dũng (10)

Recently uploaded

Recently uploaded (20)

Baocao Chuanhoa