Bài giảng Cơ sở dữ liệu - Chương 4: Ràng buộc toàn vẹn - Trường Cao đẳng Tài Chính Hải Quân

Nội dung text: Bài giảng Cơ sở dữ liệu - Chương 4: Ràng buộc toàn vẹn - Trường Cao đẳng Tài Chính Hải Quân

1. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan CHƯƠNG 4: R ÀNG BUỘC TỒN VẸN (INTEGRITY CONSTRAINT) I. KHÁI NiỆM  Ràng buộc tồn vẹn sử dụng các luật để định nghĩa các điều kiện đảm bảo cho cơ sở dữ liệu luơn ở trạng thái an tồn. Ràng buộc tồn vẹn là một điều kiện được định nghĩa liên quan đến một hoặc nhiều quan hệ bối cảnh khác nhau.  Các mối quan hệ ràng buộc là những điều kiện bất biến mà mọi thể hiện của quan hệ đều phải thỏa mãn ở bất kỳ thời điểm nào. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! 1 Purchase Print2PDF at
2. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan Ví dụ: Xét lược đồ quan hệ NHAN_VIEN (MSNV, HOTEN, GIOITINH, NƠISINH, ĐIACHI, ĐINHMUCLĐ) MSNV HOTEN GIOITINH NOISINH ĐINHMUCSP NV01 Nguyễn Ngọc Anh Nữ Hà Nội 50 NV02 Lê Hồng Hải Nam Long An 70 NV03 Trần Mạnh Linh Nam Trà Vinh 70 NV04 Nguyễn Ngọc Huệ Nữ Lâm Đồng 50 NV05 Nguyễn Đỗ Quyên Nữ Long An 50 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
3. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan Ví dụ: Trong CSDL quản lý sinh viên R1: Mỗi sinh viên có một mã số riêng biệt, không trùng với bất kỳ sinh viên nào R2: Mỗi sinh viên phải trực thuộc một khoa của trường R3: Điểm của sinh viên phải từ 0 đến 10 This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
4. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan II. CÁC VẤN ĐỀ LIÊN QUAN ĐẾN RÀNG BUỘC TỒN VẸN 1. Điều kiện của ràng buộc tồn vẹn  Điều kiện của một ràng buộc tồn vẹn cĩ thể được biểu diễn bằng:  Ngơn ngữ tự nhiên: dễ hiểu nhưng khơng chặt chẽ, logic  Ngơn ngữ hình thức: chặt chẽ, cơ đọng nhưng đơi lúc khĩ hiểu. Ngơn ngữ hình thức cĩ thể được diễn tả bằng: + Một biểu thức tốn học hoặc + Một phép so sánh trên tập hợp hoặc + Một biểu thức vị từ trên các quan hệ bối cảnh của ràng buộc tồn vẹn đĩ hoặc + Một thuật tốn kiểm tra điều kiện (mã giả, ngơn ngữ tựa Pascal, ). This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
5. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan 2. Bối cảnh của ràng buộc tồn vẹn Bối cảnh của ràng buộc tồn vẹn cĩ thể là một hay nhiều quan hệ cần phải sử dụng để kiểm tra ràng buộc tồn vẹn. Đĩ là những quan hệ cĩ khả năng bị vi phạm ràng buộc tồn vẹn khi thực hiện các thao tác thêm, xĩa, sửa dữ liệu. 3. Tầm ảnh hưởng của ràng buộc tồn vẹn Quan hệ Thêm Sửa Xĩa Quan hệ 1 + - +(A) Quan hệ 2 - + - Quan hệ n + - + This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
6. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan Trong đĩ:  Dấu “+”: cĩ thể gây ra vi phạm ràng buộc tồn vẹn khi thực hiện các thao tác thêm, xĩa, sửa (thao tác cập nhật dữ liệu). Đối với thao tác Sửa ghi thêm trên thuộc tính A nghĩa là chỉ cĩ thể gây ra vi phạm ràng buộc trên thuộc tính A khi thực hiện thao tác sửa dữ liệu.  - Dấu “–”: khơng cĩ khả năng vi phạm ràng buộc tồn vẹn khi thực hiện các thao tác thêm, xĩa, sửa dữ liệu. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
7. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan Bảng tầm ảnh hưởng R1 R2 Rn T X S T X S T X S Quan hệ 1 + - +(A) + - +(A) + - +(B) Quan hệ 2 + - +(A) Quan hệ n - - +(A) - - +(A) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
8. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan III. CÁC LOẠI RÀNG BUỘC TỒN VẸN 1. Ràng buộc tồn vẹn về miền giá trị a. Khái niệm  Ràng buộc tồn vẹn về miền giá trị quy định miền giá trị của một thuộc tính.  Xét các quan hệ sau:  (1) Bối cảnh: Quan hệ SINHVIEN  sinhVIEN (MANV, HONV, TENNV, NGSINH, DCHI, PHAI, NOISINH)  R1: “Phái của một nhân viên chỉ cĩ thể là nam hoặc nữ”. R2: Mỗi nhân viên có một mã số riêng biệt, không trùng với bất kỳ sinh viên nào This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
9. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan b. Biểu diễn  Ràng buộc tồn vẹn R1 được biểu diễn như sau : R1:  sv SINHVIEN: sv.PHAI {Nam, Nữ}  Ràng buộc tồn vẹn R2 được biểu diễn như sau : R2:  sv1 SINHVIEN, sv2 SINHVIEN :sv1 sv1.MASV<>sv2.MASV This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
10. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan c. Bảng tầm ảnh hưởng R1 Thêm Xĩa Sửa SINHVIEN + - +(PHAI,MANV) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
11. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan 2. Ràng buộc tồn vẹn liên thuộc tính a. Khái niệm Ràng buộc tồn vẹn liên thuộc tính quy định các ràng buộc giữa những thuộc tính khác nhau trong cùng một quan hệ.  Xét các quan hệ sau:  (4) Bối cảnh: Quan hệ CTĐĐH  CTĐĐH (SO, MSMH, SL, ĐGM, ĐGB) R3: “Mọi mặt hàng bán ra khơng được thấp hơn giá mua”.  (5) Bối cảnh: Quan hệ HĐBH, DMHH  HĐBH (MAHD, MAHH, SOLUONG)  DMHH (MAHH, TENHH, SLTONKHO) R4: “Số lượng hàng bán ra phải nhỏ hơn hoặc bằng số lượng hàng cịn tồn kho”. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
12. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan b. Biểu diễn Ràng buộc tồn vẹn R4 được biểu diễn như sau : R3:  ct CTĐĐH: ct.ĐGM <= ct.ĐGB. Ràng buộc tồn vẹn R5 được biểu diễn như sau : R4:  hd HĐBH,  hh DMHH : hd.MAHH = hh.MAHH hd.SOLUONG <= hh.SLTONKHO. This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
13. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan c. Tầm ảnh hưởng R3 Thêm Xĩa Sửa CTĐĐH + - +(ĐGM, ĐGB) R4 Thêm Xĩa Sửa HĐBH + - +(MAHH, SOLUONG) DMHH - + +(MAHH, SLTONKHO) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
14. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan 3. Ràng buộc tồn vẹn liên bộ a. Khái niệm  Sự tồn tại của một hoặc nhiều bộ phụ thuộc vào sự tồn tại của một hoặc nhiều bộ khác trong cùng quan hệ. Ràng buộc tồn vẹn khố chính và ràng buộc duy nhất (unique) là trường hợp đặc biệt của ràng buộc tồn vẹn liên bộ. Ràng buộc tồn vẹn về khố chính (Khố chính phải duy nhất) là phổ biến.  Ràng buộc tồn vẹn liên bộ – liên quan hệ áp dụng đối với từng nhĩm các bộ của nhiều quan hệ bối cảnh khác nhau.  Xét quan hệ sau:  (6) Bối cảnh : Quan hệ PHANCONG  PHANCONG ( MA_NVIEN, SODA, THOIGIAN)  (7) Bối cảnh : Quan hệ HOADON, CTHĐ  HOADON ( SOHD, NGAYLAPHD, MAKH)  CTHĐ (SOHD, MAHH, SOLUONG, DONGIA)  R7: “Một hĩa đơn bán hàng phải cĩ ít nhất một mặt hàng” This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
15. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan b. Biểu diễn Ràng buộc tồn vẹn R6 được biểu diễn như sau : R6 : pc1, pc2 PHANCONG: pc1 ? pc2 (pc1.MA_NVIEN = pc2.MA_NVIEN  pc1.SODA =pc2.SODA) Ràng buộc tồn vẹn R7 được biểu diễn như sau : R7 : hd HOADON, cthd CTHĐ : cthd.SOHD = hd.SOHD This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
16. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan c. Tầm ảnh hưởng R6 Thêm Xĩa Sửa PHANCONG + - +(MA_NVIEN, SODA) R7 Thêm Xĩa Sửa HOADON + - +( SOHD) CTHĐ + - +( SOHD) This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
17. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan 4. Ràng buộc tồn vẹn phụ thuộc tồn tại a. Khái niệm Ràng buộc tồn vẹn phụ thuộc tồn tại cịn được gọi là ràng buộc tồn vẹn về khĩa ngoại.  Ví dụ: Trong quan hệ KETQUA và quan hệ SINHVIEN ta cĩ: Kq=(masv1,mamh,diem) KETQUA Hồn tồn phụ thuộc vào một bộ sv trong quan hệ SINHVIEN. Nếu khơng tồn tại trong một bộ sv SINHVIEN thì masv1 trong bảng kết quả khơng tồn tại This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
18. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan b. Biểu diễn Với r,s lần lượt là một quan hệ của SINHVIEN, KETQUA ta cĩ ràng buộc tồn vẹn sau: R8: s[MASV] r[MASV] This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at
19. Choose Learn Succeed Trường Cao Dang Tai Chinh – Hai Quan c. Tầm ảnh hưởng R8 Thêm Xĩa Sửa R - + - S + - + This document was created with the trial version of Print2PDF! Once Print2PDF is registered, this message will disappear! Purchase Print2PDF at