Bài giảng môn Cơ sở dữ liệu: Chương 7 - ĐH KHTN

Tham khảo Bài giảng môn Cơ sở dữ liệu: Chương 7 - Ràng buộc toàn vẹn sẽ giúp cho các bạn sinh viên nắm được một số nội dung về các khái niệm ràng buộc toàn vẹn, các đặc trưng của ràng buộc toàn vẹn, phân loại và cài đặt ràng buộc toàn vẹn. Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng môn Cơ sở dữ liệu: Chương 7 - ĐH KHTN Nộidungchi@ết !  Khái&niệm !  CácđặctrưngcủaRBTV CHƯƠNG7 !  Phânloại !  Càiđặt Ràngbuộctoànvẹn(Integrety Constraints)Slide&bài&giảng&môn&Cơ&sở&dữ&liệu&&©BộmônHệThốngThôngTin/KhoaCôngNghệThôngTin/TrườngĐạihọcKhoahọcTựnhiên ©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 2& Kháiniệm Nộidungchi@ết !  RBTV(IntegretyConstraints)đượcpháthiệntừngữnghĩa !  Kháiniệmvàphânloại củadữliệuhoặcthểhiệncủadữliệutrongthựctế(1). !  Các&đặc&trưng&của&RBTV& !  RBTVnhằmđảmbảo(1): -  Bốicảnh !  Tínhđúngcủadữliệuvàmôhìnhdữliệu. -  Nộidung !  NgữnghĩacủaCSDL -  Bảngtầmảnhhưởng !  KhiRBTVđượckhaibáo,mọithểhiệncủaquanhệđều phảithỏacácRBTVnàyởbấtkỳthờiđiểmnào(1). !  Phânloại !  RBTVđượcpháthiệnvàkhaibáobởicácthiếtkếviên !  Càiđặt trongquátrìnhthiếtkếdữliệu(1). !  RBTVđượcđịnhnghĩatrênmộtquanhệhoặcliênquan đếnnhiềuquanhệ(1). (1)Tríchtừsách:Fundamental*of*Databases*4th*,*Ramez*Elmasri*&*Shamkant*B.*Navathe,*ISBN* 0A321A12226A7,*2003©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 3& ©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 4&Bốicảnh Bốicảnh(I)!  BốicảnhcủamộtRBTV !  Vídụ(R2) -  LànhữngquanhệcókhảnăngbịviphạmRBTVkhithực -  Ngườiquảnlýtrựctiếp(củamộtgiáoviên)phảilàmộtgiáo hiệncácphépcậpnhậtdữliệu(thêm,xóa,sửadữliệu) viêntrongcùngbộmôn •  Cácphépcậpnhật!  Vídụ(R1) –  Cậpnhậtngườiquảnlýtrựctiếpcủamộtgiáoviên -  Mứclươngcủamộtngườigiáoviênkhôngđượcvượtquá –  Thêmmớimộtgiáoviên trưởngbộmôn •  Bốicảnh:GIAOVIEN •  Cácphépcậpnhật –  Cậpnhậtlươngchogiáoviên –  Thêmmớimộtgiáoviênvàomộtbộmôn –  Bổnhiệmtrưởngbộmônchomộtbộmôn •  Bốicảnh:GIAOVIEN,BOMON©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 5& ©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 6&Nộidung Nộidung(I)!  NộidungcủamộtRBTVđượcphátbiểubằng !  Vídụ(R1) -  Ngônngữtựnhiên -  Ngônngữtựnhiên •  Dễhiểunhưngthiếutínhchặtchẽ •  Mứclươngcủamộtngườigiáoviênkhôngđượcvượtquá trưởngbộmôncủagiáoviênđó. -  Ngônngữhìnhthức •  Côđọng,chặtchẽnhưngđôilúckhóhiểu -  Ngônngữhìnhthức •  Biểudiễnthôngqua (∀t)(GIAOVIEN(t) ∧ (∃s)(BOMON(s) ∧ –  Đạisốquanhệ (∃u)(GIAOVIEN(u) ∧ –  Phéptínhquanhệ(biếnbộ) s.TRUONGBM = u.MAGV ∧ –  Mãgiả(pseudocode) s.MABM = t.MABM ∧ t.LUONG ≤ u.LUONG )))©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 7& ©BộmônHTTT/KhoaCNTT/TrườngĐHKHTN 8&Nộidung(I) Bảngtầmảnhhưởng ...