Bài giảng Cơ sở dữ liệu: Chương 3 - Đỗ Thị Mai Hường

Bài giảng Cơ sở dữ liệu biên soạn bởi giáo viên Đỗ Thị Mai Hường với các nội dung lý thuyết thiết kế cơ sở dữ liệu quan hệ; sự dư thừa; phụ thuộc hàm; hệ tiên đề Armstrong; tính chất của bao đóng X+...
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu: Chương 3 - Đỗ Thị Mai Hường CƠ SỞ DỮ LIỆU U GIÁO VIÊN: ĐỖ THỊ T MAI HƯỜNG BỘ MÔN: CÁC HỆ TTHỐNG THÔNG TIN KHOA: CÔNG NG GHỆ THÔNG TINLý thuyết CSDL 1CHƯƠNG 3 Lý th thuyế ết thiết kế cơ sở dữ liệ ệu quan hệ Lý thuyết CSDL 2Nội dung chi tiết• Giới h hạn của ủ ER• Sự dư thừa• Ph thuộc Phụ h ộ hàm hà• Hệ suy diễn Amstrong• Th ậ toán Thuật á tìm ì bao b đóng đó• Thuật toán tìm khóa• Cá dạng chuẩn Các ẩ• Kiểm tra kết nối không mất thô ông tin Lý thuyết CSDL 3 Sự dư thừa• Sự phụ thuộc giữa các thuộc tính gây g ra sự dư thừa Ví dụ: Điểm các môn học  Điểm trrung bình  xếp loại• Thuộc tính đa trị trong lược đồ ER  nhiều bộ số liệu trong lược đồ quan hệ• Ví dụ: NHANVIEN(TENNV HONV, NHANVIEN(TENNV, HONV NS S DCHI GT LUONG BANGCAP) S,DCHI,GT,LUONG, TENNV HONV NS D DCHI GT LUONG BANGCAP Tung Nguyen 12/08/1955 638 NVC Q5 Nam 40000 Trung học Nhu Le 06/20/1951 291 HVH H QPN Nu 43000 Trung học Nhu Le 06/20/1951 291 HVH H QPN Nu 43000 Đại học Hung Nguyen 09/15/1962 Ba Ria VT Nam 38000 Thạc sỹ Lý thuyết CSDL 4Sự dư thừa (tt)• Sự dư thừa  sự dị thường – Thao tác sửa đổi: cập nhật tất cả các giá trị liên quan – Thao tác xóa: người cuối cùngg của đơn vị  mất thông tin về đơn vị – Thao tác chèn TENPB MAPB MaTP NG_NHAN NCHUC MANV TENNV HONV …Nghien cuu 5 NV01 05/22/1 1988 NV01 Tung Nguyen … Dieu hanh 4 NV02 01/01/1 1995 NV02 Hung Nguyen … Quan ly 1 NV03 06/19/1 1981 NV03 Vinh Pham … Lý thuyết CSDL 5Sự dư thừa (tt)• Các Cá giá iá trị t ị khô không xác á định đị h – Đặt thuộc tính Trưởng phòng vàào quan hệ NHANVIEN thay vì vào quan hệ PHONGBAN• Các bộ giả – Sử dụng các phép nối Lý thuyết CSDL 6Sự dư thừa (tt) • Một số quy tắc 1.Rõ ràng về mặt ngữ nghĩa, tránnh các phụ thuộc giữa các thuộc tính với nhau 2 T á h sự ttrùng 2.Tránh ù lặp lặ vềề nội d g đảm ội dung đả bảo bả tránh t á h được đ các á dị thường th ờ khi thao tác cập nhật dữ liệu 3. Tránh đặt các thuộc tính có nhhiều giá trị Null • Khó thực hiện các phép nối và kết k hợp 4. Thiết kế các lược đồ quan hệ sao s cho chúng có thể được nối với điều ề kiện bằng ằ trên các thuộc tính là khoá chính hoặc khoá ngoài theo cách đảm bảo không sinhh ra các bộ “giả” => Lý thuyết về chuẩn hóa: (dự ựa trên phụ thuộc hàm, hàm …)) sẽ là nền tảng cơ sở để thực hiện việc v phân tích và chuẩn hóa lược đồ quan hệ Lý thuyết CSDL 7Phụ thuộc hàmPh thuộcPhụ th ộ hà hàm ttrong quan hệ r• Cho lược đồ quan hệ R và X, Y làà các tập con của R. r là một quan hệ trên R.• Ta nói X xác định phụ thuộc hàm m Y ký hiệu X → Y trong r nếu với mọi t và t’ của r mà t, t’ bằng nhaau trên tập X thì chúng cũng bằng nhau trên tập Y, tức là  t, t’  r nếu t.X = t’.X  t.Y = t’.Y• Ví dụ: – X={MaNV}, { }, Y={Hoten,NS} { , } thỏ ỏa mãn X → Y – X={Hoten}, Y={DC, GT} không g thỏa mãn X → Y• Phụ thuộc hàm trên r là trường hợ ợp riêng của phụ thuộc hàm trên R. R Lý thuyết CSDL 8Phụ thuộc hàm(tt)• Phụ thuộc hàm trong quan hệ rVí dụ: trong lược đồ quan hệ sau nếu giả g thiết Hoten nhập vào là khácnhau thì từ Hoten có thể suy diễn ra tất cả các thuộc tính khác. Nhưngnếu ế thêm hê vàoà bộ cóó H Hoten giống iố với ới bộộ đã cóó thì hì phụ h thuộc h ộ hàm hà không khôcòn đúng nữa. HoTen NgaySinh MaPB TenPB Nguyễn ễ Văn A 1/1/1980 / / ...