Chương 7: Ràng buộc toàn vẹn trên csdl quan hệ

Giúp CSDL thể hiện trung thực thế giới thực mà CSDL đang mô tả...
Nội dung trích xuất từ tài liệu:
Chương 7: Ràng buộc toàn vẹn trên csdl quan hệ Chöông 7RAØNG BUOÄC TOAØN VEÏN TREÂN CSDL QUAN HEÄ NOÄI DUNGI. Ñònh nghóa – Taàm quan troïng cuûa RBTVII. Caùc yeáu toá cuûa RBTVIII. Phaân loïai RBTV ÑÒNH NGHÓARBTV (Integrity Constraints) laø caùcnguyeân taéc maø moïi tình traïng CSDL ñeàuphaûi thoûa.VD: KQ (MASV, MAMH, DIEM)Ñieåm laø soá thöïc thuoäc [0,10] vaø chínhxaùc ñeán 0.5 TAÀM QUAN TROÏNG CUÛA RBTVGiuùp CSDL theå hieän trung thöïc theá giôùithöïc maø CSDL ñang moâ taû.Ngaên chaën nhöõng thao taùc gaây sai treânCSDL. Giuùp CSDL luoân ñuùng ñaén. CAÙC YEÁU TOÁ CUÛA RBTVCoù 4 yeáu toá: Phaùt bieåu: ngoân ngöõ töï nhieân theå hieän ngöõ nghóa cuûa RBTV Bieåu dieãn: ngoân ngöõ hình thöùc, duøng thuaät toùan (maõ giaû), toùan hoïc, ñaïi soá quan heä, pheùp tính quan heä,...ñeå theå hieän Boái caûnh: Caùc quan heä maø raøng buoäc coù lieân quan Taàm aûnh höôûng: Caùc thao taùc Theâm, Xoùa, Söûa treân caùc quan heä (laø boái caûnh) coù khaû naêng gaây vi phaïm raøng buoäc hay khoâng (+ coù, - khoâng) PHAÂN LOÏAI RBTVBoái caûnhRB coù boái caûnh 1 quan heäRB coù boái caûnh nhieàu quan heäNguoàn goácRB laø nguyeân taéc laøm vieäc: thöïc teáRB sinh ra do giaûi phaùp toå chöùc döõ lieäuSöï hoã trôï khai baùo RBTVTuøy HQT CSDL maø 1 RB coù ñöôïc hoã trôïkieåm tra hay khoâng. PHAÂN LOÏAI RBTV1. RB coù boái caûnh 1 quan heä a. RB mieàn giaù trò b. RB lieân thuoäc tính c. RB lieân boä d. RB giaù trò thuoäc tính theo thôøi gian2. RB coù boái caûnh nhieàu quan heä a. RB khoùa ngoaïi (Toàn taïi/ Tham chieáu) b. RB lieân thuoäc tính (lieân quan heä) c. RB lieân boä (lieân quan heä) d. RB veà thuoäc tính toång hôïp e. RB chu trình RB mieàn giaù trò Cho bieát caùc giaù trò maø moät thuoäc tính coù theå nhaän laáy.VD: KQ (MASV, MAMH, DIEM) Pb: Ñieåm ∈ [0,10] vaø chính xaùc ñeán 0.5 Bd: ∀k∈KQ, k.DIEM ∈ R and 0 RB lieân thuoäc tính Cho bieát moái lieân heä giöõa caùc thuoäc tính trong 1 quan heä VD: MH (MAMH, TENMH, STLT, STTH) Pb: Soá tieát thöïc haønh khoâng lôùn hôn soá tieát lyù thuyeát Bd: ∀m∈MH, m.STLT >= m.STTH Tah: T X S MH + - + (STLT, STTH) RB lieân boä (1 quan heä)Cho bieát moái lieân heä giöõa caùc boä döõlieäu trong 1 quan heäVD1 : MH (MAMH, TENMH, STLT, STTH)Pb: Teân moân hoïc laø duy nhaát.Bd: ∀m1∈MH, ¬∃m2 ∈MH: m1≠ m2 andm1.TENMH = m2.TENMHBc: MHTAH: T X S MH + - + (TENMH) RB lieân boä (1 quan heä) VD2: CÑ_MO(MACÑ, NAM, HK) Pb: Khoâng ñöôïc môû quaù 3 chuyeân ñeà trong 1 hoïc kyø. Bd: ∀m∈CĐ_MO:ℑcount(*) (σNAM=m.NAM and HK = m.HK(CĐ_MO)) RB khoùa ngoaïi (Toàn taïi/ Tham chieáu) VD: NV(MANV, TENNV, PHAI, MAPB) PB (MAPB, TENPB) Pb: Nhaân vieân phaûi thuoäc phoøng ban hôïp leä Bd: ∀n∈NV, (n.MAPB = NULL) or (∃p ∈PB: p.MAPB = n.MAPB) Bc: NV, PB Tah: T X S NV + - + (MAPB) PB - + +(MAPB) RB lieân thuoäc tính (lieân quan heä) Cho bieát moái lieân heä giöõa caùc thuoäc tính treân caùc quan heä khaùc nhau. VD: ÑÑH (SOÑÑH, NGAYÑAT, SLÑ, ÑGÑ) PGH(SOPG, NGAYGIAO, SOÑÑH)Pb: Khoâng ñöïôc giao haøng treã hôn 7 ngaøy so vôùi ngaøy ñaët.Bd: ∀d∈ÑÑH, ∀p∈PGH: p.SOÑÑH = d.SOÑÑH thì d.NGAYÑAT RB lieân boä (lieân quan heä) Cho bieát moái lieân heä giöõa caùc boä döõ lieäu treân caùc quan heä khaùc nhau. VD: HÑ (SOHÑ, NGAYHÑ, TENKH) CTHÑ (SOHÑ, MAHH, SL, ÑG) Pb: Trong 1 hoùa ñôn phaûi coù ít nhaát 1 maët haøng. Bd: ∀h∈HÑ, ∃ c∈CTHÑ : c.SOHÑ = h.SOHÑ Bc: HÑ, CTHÑ Tah: T X S HÑ + - + (SOHÑ) CTHÑ - + +(SOHÑ) RB veà thuoäc tính toång hôïp Cho bieát moái lieân heä giöõa giaù trò 1 thuoäc tính cuûa QH naøy vaø soá doøng döõ lieäu cuûa 1 QH khaùc. Vd: LOP(MALOP, TENLOP, SISO) SV (MASV, TENSV, MALOP)Pb: Só soá cuûa 1 lôùp = toång soá sinh vieân cuûa lôùp ñoùBd: ∀l∈LOP, ∀s∈SV: s.MALOP = l.MALOP thì l.SISO = ℑcount(*) (σMALOP = l.MALOPSV)Bc: LOP, SVTah: T X S LOP + - + (SISO, MALOP) SV + + +(MALOP) RB chu trìnhSV (MASV, TENSV, MANGANH)CÑ_NG(MANGANH, MACÑ)ÑKY(MASV, MACÑ, ÑIEM) SV MANGANH MASV CÑ_NG ÑKY MACÑPb: Sinh vieân chæ ñöôïc ñaêng kyù caùc chuyeân ñeà baétbuoäc cho chuyeân ngaønh maø sv ñang theo hoïc.Bd: ΠMASV,MACÑ (ÑKY) ⊆ ΠMASV,MACÑ (SV⋈CÑ_NG)Tah: T X S CÑ_NG - + + ÑKY + - +(MASV,MACÑ) SV - - +(MANGANH) HEÁT. ...