Phép phân rã

Mục tiêucủa việcthiết kếCSDL quanhệlàtạora một tậpcáclượcđồquan hệ chophép

chúng ta lưutrữ thơngtin khơng cĩnhữngdư thừakhơng cần thiết vàtruy tìm thơng tin

một cách dễ dàng, chính xác. Việc phân rã một lược đồ thành những lược đ ồ con đều

mongmuốnđạtđượcbảotồnthơngtinvàbảotồnphụthuộc.

2.1. Phânrãbảotồnthơng tin

CholượcđồquanhệQ(TenNCC,DiaChiNCC,SanPham,DonGia) PhânrãQthànhQ1vàQ2nhưsau:

Q1(TenNCC,SanPham,DonGia) Q2(TenNCC,DiaChiNCC)

Trang 101/109

NguyễnMai Kẹomè 20.000

khơngbảotồnthơngtin(mấtmátthơngtin).

Địnhnghĩa

Qlàlượcđồquanhệ,Q1,Q2làhailượcđồconcĩ:

Q1∩Q = X Q1∪Q =Q

Khi đĩQđược phân rã thànhhai lược đồcon Q1, Q2là phép phân rã bảo tồn thơngtin

nếuvớirlàthểhiệnbấtkỳcủaQtacĩ:

r=r.Q1 r.Q2

(rlàkếtquảcủaphépkếttựnhiêncủacáchìnhchiếucủanĩtrênQ1,Q2)

2.2. Phânrãbảotồnphụthuộchàm

Một vấn đềcần quan tâmkhi phân rã lượcđồQthành cáclược đồ conQivới tập cácFi

TenNCC DiaChiNCC

NguyễnMai 10NguyễnCơngTrứ

NguyễnMaiTenNCC20NguyễnDiaChiNCCVănTrỗi SanPham DonGia NguyễnMai 10 Nguyễn Cơng

Trứ

Bánhxốp 10.000

NguyễnMai 10 Nguyễn Cơng Trứ

Kẹomè 20.000

NguyễnMai 20NguyễnVănTrỗi Bánhxốp 10.000 NguyễnMai 20NguyễnVănTrỗi Kẹomè 20.000

2 2 (adsbygoogle = window.adsbygoogle || []).push({});

Như vậy kếtquả thểhiện Qvà Q1Q2 làkhác nhau, khiđĩ ta nĩiphép phân rã gọilà

tương ứng được tính từ tập phụ thuộc hàm F. Phép phân rã bảo tồn phụ thu ộc (giữ lại

Trang 102/109

phụ thuộc) nếu với rilàthểhiện củaQithoả điềukiện: ri chỉthoảnhữngphụ t huộc hàm

X Y∈F+vớiXY⊆Qi+

Định nghĩa

Gọi Q1, Q2,…, Qn làphân rã của lượcđồquan hệQ, tậpphụ thuộchàm F trên Q. Hình

chiếu của F trên một tập các thuộc tính Qi+ ký hiệu ∠Qi+(F) là tập các phụ thuộc hàm

X Y∈F+vớiXY⊆Qi+

∠Qi+(F)=Fi+={X Y|X Y∈F+vàXY⊆Qi+} KhiđĩphânrãlàbảotồntậpphụthuộchàmFnếu F≡ ∪∠Qi+(F)

Mục lục