RBTV trên một lược đồ quan hệ
• Ràng buộc toàn vẹn miền giá trị Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV1
Bối cảnh: LOP
Mô tả: Mỗi lớp học phải có sỉ số lớn hơn 0
Biểu diễn: ∀l ∈ Lop : l.SISO >0
Bảng tầm ảnh hưởng:
RBTV1 Thêm Xóa Sửa LOP + - + (SISO)
•Ràng buộc toàn vẹn liên bộ
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV2
Bối cảnh: TINH
Mô tả: 2 tỉnh khác nhau phải có 2 mã tỉnh khác nhau.
Biểu diễn: ∀t1,t2 ∈ TINH, t1.MATINH ≠t2.MATINH
Bảng tầm ảnh hưởng:
RBTV2 Thêm Xóa Sửa TINH + - + (MATINH)
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV3
Bối cảnh: HUYEN
Mô tả: Mỗi huyện phải được xác định trong phạm vi một tỉnh.
Biểu diễn: ∀t1,t2 ∈ HUYEN:
t1[MATINH,MAHUYEN] ≠ t2[MATINH,MAHUYEN]
Bảng tầm ảnh hưởng:
RBTV3 Thêm Xóa Sửa
HUYEN + - + (MATINH,MAHUYEN)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên (adsbygoogle = window.adsbygoogle || []).push({});
Mô tả RBTV4
Bối cảnh: NGANH
Mô tả: Mỗi ngành có một mã ngành khác nhau.
Biểu diễn: ∀ng1, ng2 ∈ NGANH: ng1[MANGANH] ≠ ng2[MANGANH]
Bảng tầm ảnh hưởng:
RBTV4 Thêm Xóa Sửa
NGANH + - + (MANGANH)
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV5
Bối cảnh: LOP
Mô tả: 2 lớp khác nhau sẽ có 2 mã số khác nhau.
Biểu diễn: ∀l1, l2 ∈ LOP: l1[MALOP] ≠ l2[MALOP]
Bảng tầm ảnh hưởng:
RBTV5 Thêm Xóa Sửa
LOP + - + (MALOP)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV6
Bối cảnh: NGUOIDUNG
Mô tả: Mỗi người dùng sẽ có một mã khoa khác nhau.
Biểu diễn: ∀n1, n2 ∈ NGUOIDUNG: n1[USERNAME] ≠
n2[USERNAME]
Bảng tầm ảnh hưởng:
RBTV6 Thêm Xóa Sửa
NGUOIDUNG + - + (USERNAME)
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên (adsbygoogle = window.adsbygoogle || []).push({});
Mô tả RBTV7
Bối cảnh: SINHVIEN
Mô tả: Mỗi sinh viên sẽ có một mã số sinh viên khác nhau.
Biểu diễn: ∀sv1, sv2 ∈ SINHVIEN: sv1[MSSV] ≠ sv2[MSSV]
Bảng tầm ảnh hưởng:
RBTV7 Thêm Xóa Sửa
SINHVIEN + - + (MSSV)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV9
Bối cảnh: DANTOC
Mô tả: 2 dân tộc khác nhau sẽ có 2 mã dân tộc khác nhau.
Biểu diễn: ∀dt1, dt2 ∈ DANTOC: dt1[MADANTOC] ≠
dt2[MADANTOC]
Trang 49 Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV8
Bối cảnh: TONGIAO
Mô tả: 2 tôn giáo khác nhau sẽ có 2 mã tôn giáo khác nhau.
Biểu diễn: ∀tg1, tg2 ∈ TONGIAO: tg1[MATONGIAO] ≠
tg2[MATONGIAO]
Bảng tầm ảnh hưởng:
RBTV8 Thêm Xóa Sửa
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Bảng tầm ảnh hưởng:
RBTV9 Thêm Xóa Sửa
DANTOC + - + (MADANTOC)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV10 (adsbygoogle = window.adsbygoogle || []).push({});
Bối cảnh: KHUVUC
Mô tả: 2 dân tộc khác nhau sẽ có 2 mã dân tộc khác nhau.
Biểu diễn: ∀kv1, kv2 ∈ KHUVUC: kv1[MAKHUVUC] ≠
kv2[MAKHUVUC]
Bảng tầm ảnh hưởng:
RBTV10 Thêm Xóa Sửa
KHUVUC + - + (MAKHUVUC)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV11
Bối cảnh: CHINHSACH
Mô tả: 2 chính sách khác nhau sẽ có 2 mã chính sách khác nhau.
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Biểu diễn: ∀cs1, cs2 ∈ CHINHSACH: cs1[MACS] ≠ cs2[MACS]
Bảng tầm ảnh hưởng:
RBTV11 Thêm Xóa Sửa
CHINHSACH + - + (MACS)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV12
Bối cảnh: DOITUONG
Mô tả: 2 chính sách khác nhau sẽ có 2 mã chính sách khác nhau.
Biểu diễn: ∀dt1, dt2 ∈DOITUONG: dt1[MADOITUONG] ≠
dt2[MADOITUONG]
Bảng tầm ảnh hưởng:
RBTV12 Thêm Xóa Sửa
DOITUONG + - + (MADOITUONG)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV13 (adsbygoogle = window.adsbygoogle || []).push({});
Bối cảnh: NGHENGHIEP
Mô tả: 2 nghề nghiệp khác nhau sẽ có 2 mã nghề nghiệp khác nhau.
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Biểu diễn: ∀nn1, nn2 ∈NGHENGHIEP: nn1[MANGHENGHIEP] ≠
nn2[MANGHENGHIEP]
Bảng tầm ảnh hưởng:
RBTV13 Thêm Xóa Sửa
NGHENGHIEP + - +
(MANGHENGHIEP)
RBTV trên nhiều lược đồ quan hệ
•Ràng buộc toàn vẹn tham chiếu
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV14
Bối cảnh: NGANH, KHOA
Mô tả: Một ngành học phải thuộc một khoa.
Biểu diễn: ∀n ∈ NGANH, ∃k ∈ KHOA: n.MAKhOA = k.MAKHOA
Bảng tầm ảnh hưởng:
RBTV14 Thêm Xóa Sửa
NGANH + - + (MAKHOA)
KHOA - + + (MAKHOA)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV15
Bối cảnh: HUYEN, TINH
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Mô tả: Một huyện phải thuộc một tỉnh.
Biểu diễn: ∀h ∈ HUYEN, ∃t ∈ TINH: h.MATINH = t.MATINH
Bảng tầm ảnh hưởng:
RBTV15 Thêm Xóa Sửa (adsbygoogle = window.adsbygoogle || []).push({});
HUYEN + - + (MATINH)
TINH - + + (MATINH)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV16
Bối cảnh: NGUOIDUNG, KHOA
Mô tả: Một quyền củangười dùng phải thuộc một khoa.
Biểu diễn: ∀n ∈ NGUOIDUNG, ∃p ∈ KHOA: n.MAKHOA = p. MAKHOA
Bảng tầm ảnh hưởng:
RBTV16 Thêm Xóa Sửa
NGUOIDUNG + - + (MAKHOA)
KHOA - + + (MAKHOA)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV17
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Bối cảnh: LOP, NGANH
Mô tả: Một lớp phải thuộc một ngành.
Biểu diễn: ∀l ∈ LOP, ∃n ∈ NGANH: l.MANGANH = n. MANGANH
Bảng tầm ảnh hưởng:
RBTV17 Thêm Xóa Sửa LOP + - + (MANGANH)
NGANH - + + (MANGANH)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV18
Bối cảnh: NGHIHOC, LYDONGHIHOC
Mô tả: Một nghỉ học phải có it nhất một lý do nghỉ học.
Biểu diễn: ∀nh ∈ NGHIHOC, ∃lydo ∈ LYNGHIHOC: nh.LYDONGHIHOC = lydo.LYDONGHIHOC
Bảng tầm ảnh hưởng:
RBTV18 Thêm Xóa Sửa (adsbygoogle = window.adsbygoogle || []).push({});
NGHIHOC + - + (LYDONGHIHOC)
LYDONGHIHOC - + + (LYDONGHIHOC)
Ứng dụng:Quản lí sinh viên Phòng
Công tác Sinh viên
Mô tả RBTV19
PHẦN 4:THIẾT KẾ VÀ CÀI ĐẶT ỨNG DỤNG
Bối cảnh: SINHVIEN, LOP, TINH, HUYEN, DANTOC, TONGIAO, CHINHSACH, KHUVUC, DOITUONG, QUOCTICH
Mô tả: Mỗi sinh viên phải thuộc một lớp, một tỉnh, một huyện, một dân tộc, một tôn giáo và một chính sách, một khu vực , một đối tượng.
Biểu diễn: ∀sv ∈ SINHVIEN, ∃l ∈ LOP, ∃t ∈ TINH, ∃h ∈ HUYEN , ∃dt
∈ DANTOC, ∃tg ∈ TONGIAO, ∃cs ∈ CHINHSACH, ∃kv ∈ KHUVUC,
∃dt ∈ DOITUONG: sv.MALOP = l.MALOP, sv. F_MAHKTINH = t.MATINH, sv. F_MAHKHUYEN=h.MAHUYEN, sv. F_DANTOC = dt.MADANTOC, sv. F_MATG = tg.MATONGIAO, sv.F_CHINHSACH = cs.MACS, sv. F_KHUVUC = kv.MAKHUVUC,
sv.F_DOITUONG=dt.MADOITUONG.
Bảng tầm ảnh hưởng:
RBTV19 Thêm Xóa Sửa
SINHVIEN + - + (MALOP, F_MAHKTINH , F_MAHKHUYEN, F_DANTOC, F_MATG, F_CHINHSACH, F_KHUVUC, F_DOITUONG) LOP - + + (MALOP) TINH - + + (MATINH) HUYEN - + +(MAHUYEN) DANTOC - + + (MADANTOC) TONGIAO - + + (MATONGIAO) CHINHSACH - + + (MACS) KHUVUC - + +(MAKHUVUC) DOITUONG - + +(MADOITUONG)
4.3 Thiết kế xử lý: (Mô hình UML)