tailieunhanh - Bài giảng Hệ quản trị cơ sở dữ liệu - Chương 4: Lý thuyết thiết kế cơ sở dữ liệu

Bài giảng Hệ quản trị cơ sở dữ liệu - Chương 4: Lý thuyết thiết kế cơ sở dữ liệu, cung cấp cho người học những kiến thức như: Phụ thuộc hàm; Hệ luật dẫn Armstrong; Chuẩn hóa cơ sở dữ liệu; Thiết kế cơ sở dữ liệu. Mời các bạn cùng tham khảo! | 12 07 2018 Phụ thuộc hàm Quan hệ R được định nghĩa trên tập thuộc tính R A1 A2 . An . LÝ THUYẾT THIẾT KẾ X Y R là 2 tập con của tập thuộc tính R. CƠ SỞ DỮ LIỆU Quan hệ R có phụ thuộc hàm X xác định Y X Y nếu 2 bộ dòng bất kỳ t t R sao cho t .X thì t .Y Nghĩa là ứng với 1 giá trị của thuộc tính X thì có một giá trị duy nhất của thuộc tính Y. X là vế trái của phụ thuộc hàm Y là vế phải của phụ thuộc hàm. 1 2 Phụ thuộc hàm Phụ thuộc hàm Ví dụ 1 Ví dụ 2 Xét quan hệ SINHVIEN MaSV HoSV TenSV Phai NgaySinh Trong quan hệ KETQUA MaSV MaMH LanThi Diem NoiSinh MaKhoa Có phụ thuộc hàm MaSV MaMH LanThi Diem Có các phụ thuộc hàm sau Không có phụ thuộc hàm MaSV MaMH Diem MaSV HoSV MaSV TenSV MaSV MaMH LanThi Diem MaSV HoSV TenSV Phai NgaySinh NoiSinh MaKhoa A01 01 1 5 Không có phụ thuộc hàm sau A01 04 1 6 HoSV NgaySinh A02 01 1 2 TenSV NgaySinh A02 01 2 5 3 4 12 07 2018 Phụ thuộc hàm Phụ thuộc hàm Phụ thuộc hàm Với tập PTH F MaSV HoSV TenSV Bao đóng của tập thuộc tính MaSV MaMH LanThi Diem Xác định khóa của lược đồ quan hệ Bao đóng của tập thuộc tính vế trái MaSV MaSV HoSV TenSV Xét ví dụ quan hệ KETQUA MaSV HoSV TenSV do có MaSV HoSV TenSV MaMH LanThi Diem MaSV MaMH LanThi MaSV MaMH LanThi Diem Với tập PTH F MaSV HoSV TenSV HoSV TenSV MaSV MaMH LanThi Diem do có MaSV MaMH LanThi Diem Xác định khóa của quan hệ KETQUA và MaSV HoSV TenSV Khóa của quan hệ KETQUA là MaSV MaMH LanThi 5 6 Hệ luật dẫn Armstrong Chuẩn hóa CSDL Dạng chuẩn 1 Dạng chuẩn 2 Dạng chuẩn 3 Chuẩn hóa lược đồ CSDL bằng phương pháp phân rã 7 8 12 07 2018 Đặt vấn đề Đặt vấn đề Xét ví dụ quan hệ 1 KETQUA MaSV HoSV TenSV Xét ví dụ quan hệ 2 DAT_HANG SoDH NgayDH MaKH MaMH LanThi Diem MaHH SoLuong MaSV HoSV TenSV MaMH LanThi Diem SoDH NgayDH MaKH MaHH SoLuong A01 Nguyễn Nam 01 1 5 DH01 5 1 99 KH01 H01 50 A01 Nguyễn Nam 04 1 6 DH02 13 2 99 KH05 H02 30 A02 Hoàng Minh 01 1 2 DH02 13 2 99 KH05 H03 40 A02 Hoàng Minh 01 2 5 DH02 13 2 99 KH05 H01 60 Với tập PTH F MaSV HoSV TenSV Với tập PTH F SoDH NgayDH MaKH MaSV .