Bài giảng Cơ sở dữ liệu - Chương : Phụ thuộc hàm - Các khái niệm, qui tắc suy diễn và thuật toán. Chương này cung cấp cho sinh viên những nội dung gồm: định nghĩa phụ thuộc hàm; phụ thuộc hàm suy diễn được; các qui tắc suy diễn đối với các phụ thuộc hàm; bao đóng của tập thuộc tính; tìm bao đóng của tập thuộc tính; . Mời các bạn cùng tham khảo! | BÀI GI NG CƠ S D LI U 8. Ph thu c hàm các khái ni m qui t c suy di n và thu t toán Nguy n H i Châu Khoa Công ngh Thông tin Trư ng Đ i h c Công ngh ĐHQGHN N. H. Châu VNU-UET Cơ s d li u Ph thu c hàm https 3dIZGAm 1 25 Đ nh nghĩa ph thu c hàm Gi s X và Y là hai t p thu c tính c a lư c đ quan h R M t ph thu c hàm t X vào Y là m t ràng bu c trên các b c a m i tr ng thái h p l r R sao cho v i hai b b t kỳ t1 t2 r R n u t1 X t2 X thì t1 Y t2 Y Ph thu c hàm t X vào Y đư c ký hi u là X Y v i X là v trái và Y là v ph i c a ph thu c hàm Các cách di n đ t khác Y ph thu c hàm vào X ho c X xác đ nh hàm Y M t ph thu c hàm là m t tính ch t c a lư c đ quan h R và không ph i là tính ch t c a tr ng thái quan h r R M t ph thu c hàm không th đư c phát hi n m t cách t đ ng t các tr ng thái r R mà ph i xác đ nh t ng nghĩa c a lư c đ quan h R N. H. Châu VNU-UET Cơ s d li u Ph thu c hàm https 3dIZGAm 2 25 Ví d ph thu c hàm 1 Lư c đ quan h MUONSACH Sothe MaSach Nguoimuon Tensach Ngaymuon có các ph thu c hàm Sothe Nguoimuon Masach Tensach Sothe Masach Ngaymuon N. H. Châu VNU-UET Cơ s d li u Ph thu c hàm https 3dIZGAm 3 25 Ví d ph thu c hàm 2 Lư c đ quan h CONGDAN SoCMND Hoten Ngaysinh Gioitinh có các ph thu c hàm SoCMND Hoten SoCMND Ngaysinh SoCMND Gioitinh N. H. Châu VNU-UET Cơ s d li u Ph thu c hàm https 3dIZGAm 4 25 Ph thu c hàm suy di n đư c Gi s F là m t t p ph thu c hàm trên lư c đ quan h R M t ph thu c hàm X Y đư c g i là suy di n đư c t F n u X Y đúng trong m i tr ng thái h p l r R . Đi u này có nghĩa là khi r R th a mãn các ph thu c hàm trong F r R cũng th a mãn X Y X Y suy di n đư c t F đư c ký hi u là F X Y Bao đóng c a t p ph thu c hàm F ký hi u là F đư c đ nh nghĩa như sau F F X Y F X Y 1 N. H. Châu VNU-UET Cơ s d li u Ph thu c hàm https 3dIZGAm 5 25 Các qui t c suy di n đ i v i các ph thu c hàm Armstrong1 đưa ra 6 qui t c suy di n đ i v i ph thu c hàm 1974 QT1. ph n x N u X Y thì X Y QT2. tăng X Y XZ YZ 2 QT3. b c c u X Y Y Z X Z QT4. chi u