Phụ Thuộc Đa Trị Đặt Vấn Đề Phụ Thuộc Đa Trị Kiểm Tra Phụ Thuộc Đa Trị Luật Dẫn Cho Phụ Thuộc Đa Trị Cơ Sở Tập Tối Tiểu Rời Rạc... Phụ Thuộc Đa Trị Đặt Vấn Đề Phụ Thuộc Đ
Trang 1PHỤ THUỘC ĐA TRỊ, PHỤ THUỘC KẾT HỢP VÀ CÁC DẠNG CHUẨN
Trang 2 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 3Xét 1 thể hiện của quan hệ dichvu(MAMB,NGAYBAY,LOAIMB)
Ta thấy có sự trùng lắp thông tin nên tiến hành tách thành 2
bảng
mb_ngay MAMB NGAYBAY
106 Thứ 2
106 Thứ 3
Trang 4Sau khi tách thành 2 bảng như trước, nhưng khi kết lại thì
không có được bảng ban đầu.
Tách ra có làm sai lệch thông tin trong bảng chính hay không?
mb_ngay MAMB NGAYBAY
106 Thứ 2
106 Thứ 3
Trang 5 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 6PHỤ THUỘC ĐA TRỊ
Định nghĩa: Cho lược đồ quan hệ R với X, Y là tập thuộc
tính của R; Z = R - (X Y) và 1 quan hệ r(R) thỏa phụ
thuộc đa trị X Y nếu:
Với mọi bộ t1, t2 thuộc r mà t1(X)=t2(X) phải tồn tại bộ t3, t4
sao cho
t3(X) = t1(X), t3(Y) = t1(Y),t3(Z) = t2(Z) Tương tự,
t4(X) = t1(X), t4(Y) = t2(Y),t4(Z) = t1(Z)
Khi đó ta nói X xác định đa trị Y.
Trang 7PHỤ THUỘC ĐA TRỊ
7
t1-> 106 Thứ 2 A300 t4-> 106 Thứ 3 A300 t3-> 106 Thứ 2 B52 t2-> 106 Thứ 3 B52
Từ Ví dụ 1:
X: MAMB, Y: NGAYBAY, Z: LOAIMB
Chọn t1, t2, t3, t4 như trong bảng trên Ta thấy,với t1(X) = t2(X) = 106 ta tìm được t3, t4
- t3(X) = t1(X) = 106
- t3(Y) = t1(Y) = Thứ 2
- t3(Z) = t2(Z) = B52Tương tự với t4
Ta nói, MAMB NGAYBAY
Trang 8r(dichvu) thỏa MAMB NGAYBAY và Z = LOAIMB thì
r cũng thỏa MAMB LOAIMB
Trang 9PHỤ THUỘC ĐA TRỊ
Định lý: Cho lược đồ quan hệ R; X, Y là tập thuộc
tính của R và Z = R - (X Y); quan hệ r thỏa phụ
thuộc đa trị X Y nếu và chỉ nếu r phân rã thành
2 lược đồ quan hệ R1(XY) và R2(XZ) mà vẫn bảo
toàn thông tin.
Bằng cách nào để kiểm tra phụ thuộc đa trị
Trang 10 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 11KIỂM TRA PHỤ THUỘC ĐA TRỊ
Dùng phép chiếu và phép kết trên 2 lược đồ được phân
Trang 12KIỂM TRA PHỤ THUỘC ĐA TRỊ
[ )
](
[ X x r c XY xy r
| )) ( (
| ) ](
](
3 _
106 _
[
2 )
](
2 _
106 _
[
2 )
](
106 [
NGAYBAY MAMB
c
dichvu Thu
NGAYBAY MAMB
c
dichvu MAMB
c
LOAIMB
LOAIMB
LOAIMB
Trang 13 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 14LUẬT DẪN CHO PHỤ THUỘC ĐA TRỊ
M5 Luật bắc cầu: nếu X Y và Y Z thì Y Z-Y
M6 Luật bắc cầu giả: nếu X Y và YW Z thì
XW Z - (YW)
M7 Luật bù: X Y và Z=R-(XY) thì X Z
Trang 15 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 16CƠ SỞ TẬP TỐI THIỂU RỜI RẠC
Định nghĩa: Cho trước S = {S1, S2, …, Sp} sao cho S1 U
S2… U Sp = Q+ ; cơ sở tập tối tiểu rời rạc mdsb(S) là
các phân rã T1, T2, …, Tq của Q+ sao cho:
<1> Mọi Si là hội của 1 vài Tj
<2> Không có phân rã nào khác có số phần tử ít hơn
thỏa tính chất 1
Ví dụ: Q(ABCDE)
S={ABCD,CDE,AE}
mdsb(S) = {A,E,CD,B}
Trang 17 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 19CƠ SỞ PHỤ THUỘC
Thuật toán tính DEP(X):
1 Tìm G của tất cả các Y mà X Y bằng luật thêm vào
ngược lại DEP(X) = mdsb(DEP(X) U {Z-Y})
Nếu không có MVD trong F có thể thay đổi DEP(X) thì kết thúc
19
Trang 21 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 22Cho F là tập bao gồm Phụ thuộc hàm và Phụ thuộc đa trị
Lược đồ quan hệ R đạt dạng chuẩn 4 trên F nếu mọi phụ
thuộc đa trị X Y ( ) suy diễn từ F là phụ
thuộc đa trị hiển nhiên hoặc X là siêu khóa của R
Lược đồ cơ sở dữ liệu R đạt dạng chuẩn 4 trên F nếu
mọi lược đồ quan hệ R trong R đều đạt dạng chuẩn 4
Y X X Y R
,
X Y R
Trang 23DẠNG CHUẨN 4 (2)
Ví dụ:
Xét R = (A B C D E) và F = {A B C, C D E}
- R không đạt dạng chuẩn 4 trên F vì phụ thuộc đa
trị C D E không thỏa định nghĩa
- Xét R1 = (A B C) và R2 = (C D E) R1 và R2 đạt
dạng chuẩn 4 trên F (R1 và R2 phân rã từ R sử
dụng C D E)
Trang 24DẠNG CHUẨN 4 (3)
Chuẩn hóa Lược đồ CSDL thành dạng chuẩn 4 từ
Lược đồ quan hệ R và tập Phụ thuộc hàm & Phụ
thuộc đa trị F:
Bắt đầu từ R không đạt dạng chuẩn 4, lặp lại các bước
sau:
Tìm phụ thuộc đa trị không hiển nhiên X Y ( ) suy
diễn từ F, với X không phải là khóa của lược đồ quan hệ R
Phân rã R thành 2 lược đồ quan hệ R1 và R2 theo phụ thuộc đa
Trang 25DẠNG CHUẨN 4 (4)
Ví dụ:
Xét R = (A B C D E I) và F = {A B C D, B A C, C D}
- R không đạt dạng chuẩn 4 vì phụ thuộc đa trị không hiển
nhiên A B C D , A không phải là khóa của R
- Phân rã R theo A B C D: R1(A B C D), R2(A E I)
+ R2 đạt dạng chuẩn 4
+ R1 không đạt dạng chuẩn: do B là khóa của R1 nên
không phân rã theo B A C
+ C D không hiển nhiên, C không phải khóa của R1,
phân rã R1 theo C D: R11(C D), R12(A B C)
+ R11, R12 đạt đạng chuẩn 4.
R = {R2, R11, R12} đạt dạng chuẩn 4
Trang 27 Phụ Thuộc Đa Trị
Đặt Vấn Đề
Phụ Thuộc Đa Trị
Kiểm Tra Phụ Thuộc Đa Trị
Luật Dẫn Cho Phụ Thuộc Đa Trị
Cơ Sở Tập Tối Tiểu Rời Rạc
Trang 28(SNAME PNAME PRNAME)
Smith Bolt ProjX Smith Nut ProjY Smith Bolt ProjY Adamsky Bolt ProjY Adamsky Nail ProjX Adamsky Bolt ProjX Walton Nut ProjZ
Trang 29PHỤ THUỘC KẾT (tt)
Xét quan hệ SUPPLY
Không thể phân rã bảo toàn thông tin thành hai quan hệ con.
Phân rã bảo toàn thông tin thành 3 quan hệ con R 1 (SNAME,
PNAME), R 2 (SNAME, PRNAME) và R 3 (PNAME, PRNAME).
Ta nói SUPPLY thỏa phụ thuộc kết nối trên (SNAME PNAME,
SNAME PRNAME, PNAME PRNAME).
R3(PNAME PRNAME) Bolt ProjX Nut ProjY Bolt ProjY Nail ProjX 29
Trang 30PHỤ THUỘC KẾT (tt)
Định nghĩa: Cho R = {R1, R2, …., Rp} là một tập
lược đồ quan hệ trên U Một quan hệ r(U) thỏa phụ
thuộc kết JD *[R1, R2, …, Rp] nếu r phân rã bảo toàn
thông tin trên R1, R2, …., Rp Nghĩa là:
Trang 31DẠNG CHUẨN 5
(PROJECT–JOIN NORMAL FORM - PJNF)
JD *[R1, R2, …, Rp] trên R là hiển nhiên nếu nó thỏa
với mọi r(R) JD là hiển nhiên khi có Ri = R
Định nghĩa: cho lược đồ quan hệ R và tập FDs và
JDs F R có dạng chuẩn 5 (PJNF) theo F nếu mọi
JD *[R1, R2, …, Rp] suy diễn từ F thì JD là hiển
nhiên hoặc mỗi Ri là một siêu khóa của R
Ví dụ: xem lại quan hệ SUPPLY và các phân rã của
nó
Trang 32PHỤ THUỘC KẾT ĐƯỢC BAO
(EMBEDDED JOIN DEPENDENCY - EJD)
Định nghĩa: quan hệ r(R) thỏa (EJD) *[R1, R2 …Rp]
nếu πS(r) thỏa (JD) *[R1, R2 …Rp], với S = R1R2…Rp
Cho R = S thì mỗi JD là một EJD
Trang 33Chân thành cảm ơn sự theo dõi của
Cô, các anh chị và các bạn!