Đánh giá dạng chuẩn và ràng buộc toàn vẹn

1. Đánh giá dạng chuẩn:

ƒ Nganh(MaNganh, TenNganh)

Có tập phụ thuộc hàm là : MaNganh J TenNganh

Thuộc tính không khóa TenNganh phụ thuộc duy nhất vào khóa MaNganh nên MaNganh là một siêu khóa. Vậy Nganh(MaNganh, TenNganh) thuộc dạng chuẩn BC

ƒ Lop(MaLop, TenLop, MaNganh)

Có tập phụ thuộc hàm: MaLop JTenLop

Thuộc tính không khóa TenLop phụ thuộc duy nhất vào MaLop nên MaLop là một siêu khóa. Vậy Lop(MaLop, TenLop, MaNganh) thuộc dạng chuẩn BC.

ƒ SinhVien(MaSV, HoSV, TenSV, MaLop,NgaySinh,GioiTinh,

TonGiao, DiaChi, KhuVuc, HinhAnh, TrangThai_ID, QuocTich, ThanhPhanXT )

Có tập phụ thuộc hàm: MaSVJHoSV, TenSV, NgaySinh, GioiTinh, MaLop, GioiTinh, TonGiao,DiaChi, KhuVuc, HinhAnh, TrangThai_ID, QuocTich, ThanhPhanXT.

GioiTinh, MaLop, GioiTinh, TonGiao, DiaChi, KhuVuc, HinhAnh, TrangThai_ID, QuocTich,ThanhPhanXT. Vậy SinhVien(MaSV, HoSV, TenSV, NgaySinh, MaLop, GioiTinh, TonGiao, DiaChi, KhuVuc, HinhAnh, TrangThai_ID, QuocTich, ThanhPhanXT) thuộc dạng chuẩn BC.

ƒ NamHoc(NamHoc_ID, NamHoc)

Có tập phụ thuộc hàm: NamHoc_ID J NamHoc

Thuộc tính không khóa NamHoc phụ thuộc duy nhất vào NamHoc_ID nên NamHoc_ID là một siêu khóa. Vậy NamHoc(NamHoc_ID, NamHoc) thuộc dạng chuẩn BC.

ƒ HocKy(HocKy_ID, HocKy, NamHoc_ID)

Có tập phụ thuộc hàm: HocKy_ID J HocKy

Thuộc tính không khóa HocKy phụ thuộc duy nhất vào HocKy_ID nên HocKy_ID là một siêu khóa. Vậy NamHoc(HocKy_ID, HocKy) thuộc dạng chuẩn BC.

ƒ TrangThai(TrangThai_ID, TenTrangThai)

Có tập phụ thuộc hàm: TrangThai_ID J TenTrangThai

Thuộc tính không khóa TenTrangThai phụ thuộc duy nhất vào TrangThai_ID nên TrangThai_ID là một siêu khóa. Vậy TrangThai(TrangThai_ID, TenTrangThai) thuộc dạng chuẩn BC.

ƒ ChuyenTrangThai(CTT_ID, MaSV, TrangThai_ID, HocKy_ID): đạt

dạng chuẩn BC

ƒ LoaiChinhSach(LoaiCS_ID, TenLoaiCS): đạt dạng chuẩn BC

ƒ SinhVien_ChinhSach(SV_CS_ID, MaSV, ChinhSach_ID): đạt dang chuẩn BC

ƒ LoaiHocbong(LoaiHB_ID, TenLoaiHB): đạt dạng chuẩn BC.

ƒ HocBong(HocBong_ID, TenHB, LoaiHB_ID): đạt dạng chuẩn BC.

ƒ SinhVien_HocBong(SV_HB_ID, MaSV, HocBong_ID, HocKy_ID):

đạt dạng chuẩn BC

ƒ KhenThuong(KT_ID, TenKhenThuong): đạt dạng chuẩn BC

ƒ SinhVien_KhenThuong(SV_KT_ID, MaS, KT_ID, HocKy_ID): đạt dạng chuẩn BC.

ƒ Lop_KhenThuong(Lop_KT_ID, MaLop, KT_ID, HocKy_ID): đạt dạng chuẩn BC

ƒ LoaiViPham(LoaiVP_ID, TenLoaiVP): đạt dạng chuẩn BC

ƒ ViPham(VP_ID, TenVP, LoaiP_ID): đạt dạng chuẩn BC

ƒ HinhThucXL(HTXL_ID, TenHTXL): đạt dạng chuẩn BC

ƒ SinhVien_ViPham(SV_VP_ID, MaSV, VP_ID, HTXL_ID,

HocKy_ID): đạt dạng chuẩn BC

ƒ KetQuaHT(KQHT_ID, MaSV, HocKy_ID, KetQua, XepLoaiHT,

XepLoaiRL): đạt dạng chuẩn BC

ƒ KetQuaTN(KQTN_ID, MaSV, KetQuaTN, XepLoaiTN): đạt dạng chuẩn BC

ƒ VonTinDung(VTD_ID, MaSV, HocKy_ID, SoTien ) :đạt dạng chuẩn

BC

ƒ ViecLamThem(VLT_ID, MaSV, HocKy_ID, ChuyenMon): đạt dạng chuẩn BC

2. Ràng buộc toàn vẹn:

ƒ Ràng buộc toàn vẹn liên bộ

Các thực thể/ Mối kết hợp: SinhVien, Lop, Nganh, NamHoc, HocKy,….

Mô tả: khóa chính trong một bảng phải khác nhau. Thuật toán: ∀ t1, t2 ∈ SinhVien

t1.MaSV ≠ t2.MaSV Tầm ảnh hưởng:

Thêm Xóa Sửa SinhVien + - +[MaSV]

ƒ Ràng buộc toàn vẹn về miền giá trị của thuộc tính Các thực thể/ Mối kết hợp: KetQuaHT, KetQuaTN

Mô tả: Miền giá trị của xếp loại học tập và xếp loại tốt nghiệp có các loại sau: xuất sắc, giỏi, khá, trung bình khá, trung bình, yếu, kém. Thuật toán: ∀ t∈KetQuaHT, t.XepLoaiHT [xuất sắc, giỏi, khá, trung bình khá, trung bình, yếu, kém]

⊆

Tầm ảnh hưởng:

Thêm Xóa Sửa

KetQuaHT + - +[XepLoaiHT]

ƒ Ràng buộc toàn vẹn về phụ thuộc tồn tại

Mô tả: Khóa ngoại trong các bảng quan hệ phải tồn tại trong mã khóa chính của các bảng liên quan.

Thuật toán: ∀ t∈SinhVien, ∃ l∈Lop Sao cho: t.MaLop= l.MaLop Tầm ảnh hưởng:

Thêm Xóa Sửa

SinhVien + - +[MaLop]

Lop - + +[MaLop]