Đang tải... (xem toàn văn)
• Nếu K là một khóa của R thì K xác định hàm tất cả các tập thuộc tính của R. • PTH dùng để đánh giá một thiết kế CSDL[r]
(1)Phụ thuộc hàm và
Chuẩn hóa sở liệu
(2)Nội dung trình bày
Nguyên tắc thiết kế lược đồ quan hệ.
Phụ thuộc hàm. Các dạng chuẩn.
(3)Nguyên tắc thiết kế
Nhìn lại vấn đề thiết kế csdl
• Dựa trực quan người thiết kế.
• Thiếu tiêu chuẩn hình thức để đánh giá.
Đánh giá chất lượng thiết kế
• Ngữ nghĩa thuộc tính.
• Giảm giá trị thừa bộ. • Giảm giá trị null bộ.
(4)(5)Ngữ nghĩa thuộc tính (2)
Ý nghĩa thuộc tính dễ hiểu lược đồ thiết kế
càng tốt.
Tránh tổ hợp thuộc tính nhiều kiểu thực thể vào
cùng lược đồ.
TenPB MaPB
p.k
TrPhong DChi
NgSinh MaNV
TenNV
f.k NHANVIEN_PHONGBAN
TenDA TenNV
p.k
Diadiem Gio
MaDA MaNV
(6)Thông tin thừa (1) … 19/01/1968 99988777 Vuong … 08/12/195 333445555 Nghia … 09/01/1965 123456789 Hung MaPhong DChi NgSinh MaNV Ten NHANVIEN 333445555 Nghien cuu TrPhong MaPB Ten PHONGBAN 333445555 Nghien cuu … 09/10/1965 123456789 Hung Nghien cuu TenPB MaPB 333445555 08/12/196 333445555 Nghia TrPhong DChi NgSinh MaNV TenNV NHANVIEN_PHONGBAN
(7)Thông tin thừa (2)
Dị thường thêm bộ
Dị thường xóa bộ
(8)Thông tin thừa (3)
Dị thường sửa bộ
Tránh xảy dị thường cập nhật liệu.
Có thể vi phạm nguyên tắc để tăng hiệu truy vấn
dữ liệu Khi dị thường cần ghi cẩn thận.
333445555 Nghien cuu
5 …
09/10/1965 123456789
Hung
333445555 Nghien cuu
5 …
08/12/196
333445555 Nghia
TenPB
MaPB TrPhong
DChi NgSinh
MaNV TenNV
NHANVIEN_PHONGBAN
(9)Giá trị null bộ
Nếu nhiều thuộc tính lược đồ nhận giá trị null
sẽ
• Lãng phí khơng gian lưu trữ.
• Khó khăn thực phép tốn kết. • Khó khăn sử dụng hàm tập hợp.
(10)Phát sinh khơng có thực (1)
Thu Duc San pham Y
Hung 7.5
2 123456789
Tan Binh San pham X
Hung 32.5 123456789 Diadiem TenDA TenNV Gio MaDA MaNV
San pham Y
Nghia Thu Duc
(11)Phát sinh thực (2) Thu Duc Hung Tan Binh Hung Diadiem TenNV Thu Duc Nghia NHANVIEN_DIADIEM Thu Duc San pham Y
7.5
123456789
Tan Binh San pham X
32.5 123456789 Diadiem TenDA SoGio MaDA MaNV 10 333445555 NHANVIEN_DUAN1 Thu Duc San pham Y
Hung Thu Duc
San pham Y 10
2 333445555
Nghia Thu Duc
San pham Y 7.5 123456789 Thu Duc Thu Duc Tan Binh Diadiem Nghia Hung Hung TenNV San pham Y
7.5
123456789
San pham X 32.5 123456789 TenDA Gio MaDA MaNV
San pham Y 10
2 333445555
(12)Phát sinh khơng có thực (3)
Xây dựng lược đồ quan hệ cho việc thực
(13)Nội dung trình bày
Nguyên tắc thiết kế lược đồ quan hệ.
Phụ thuộc hàm.
Các dạng chuẩn.
(14)Phụ thuộc hàm (1)
Xét lược đồ quan hệ gồm n thuộc tính
• R(U), U={A1, A2,…, An}
PTH hai tập thuộc tính X, Y U
• Ký hiệu: X Y.
r R, t1, t2 r t1[X] = t2[X] t1[Y] = t2[Y]. • X vế trái Y vế phải PTH.
7
5
4
B A
r(R)
(15)Phụ thuộc hàm (2)
r R thỏa ràng buộc PTH gọi trạng thái hợp lệ
của R.
Nhận xét
• Các PTH xuất phát từ ràng buộc giới thực. r R, t r, t[X] X khóa R.
• Nếu K khóa R K xác định hàm tất tập thuộc tính R.
• PTH dùng để đánh giá thiết kế CSDL.
TrPhong TenPB
MaPB Diachi
NgSinh MaNV
TenNV
NHANVIEN_PHONGBAN
(16)Bao đóng tập PTH
F tập PTH R
• F = {MaNV TenNV, MaPB {TenPB, TrPhong}, MaNV MaPB}.
r R thỏa F MaNV {TenPB, TrPhong} với r MaNV {TenPB, TrPhong} gọi suy diễn từ F.
Bao đóng F, ký hiệu F+, gồm
• F và
• Tất PTH suy diễn từ F.
(17)Luật suy diễn
Luật suy diễn dùng để suy diễn PTH từ tập
PTH cho trước.
Hệ luật suy diễn Armstrong
• Phản xạ: Y X X Y.
• Tăng trưởng: X Y XZ YZ, với XZ = X Z. • Bắc cầu: X Y, Y Z X Z.
Các luật khác:
• Phân rã: X YZ X Y, X Z. • Hợp: X Y, X Z X YZ.
• Bắc cầu giả: X Y, WY Z WX Z.
Nhận xét
(18)Bao đóng tập thuộc tính
Làm để biết PTH X Y suy diễn
từ tập PTH F cho trước?
Bao đóng tập thuộc tính X F, ký hiệu X+,
là
• Tập thuộc tính PTH vào X. • X+ = {A U | X A F+}
Nhận xét
• X Y F+ Y X+.
(19)Thuật tốn tìm X+
Nhập: U, F X U Xuất: X+
Thuật tốn 7.1
• B1: X+ = X;
• B2: Nếu tồn Y Z F Y X+ thì
X+ := X+ Z;
(20)Ví dụ tìm X+
Cho:
• F = {AB C, BC D, D EG}. • X = BD.
Tính X+:
• X+ = BD.
• Lặp 1:
- Tìm PTH có vế trái tập X+ = BD + D EG, thêm EG vào X+ ta X+ = BDEG. • Lặp 2:
- Tìm PTH có vế trái tập X+ = BDEG + Khơng có PTH