Qui định
Biểu diễn:
=Lời: “mỗi sinh viên có mã số khác nhau”
= Kí hiệu toán học: "t1, t2 Î sinhvien, t1.masv ≠ t2.masv
= Phụ thuộc hàm: masv -> hoten, ngaysinh
Nội dung của ràng buộc:
Sinhvien(masv, hoten, phai)
Monhoc(mamh, tenmh, sotc)
Ketqua(masv, mamh, diem)
Tìm ít nhất 3 ràng buộc trong lược đồ CSDL trên
R1. Masv không trùng nhau
R2. Phai Î [nam, nữ]
R3. Mamh không trùng nhau
R4. 1<=sotc<=4
R5. Ketqua.masv Îsinhvien.masv
R6. Ketqua.mamh Îmonhoc.mamh
R7. 0<=diem<=10
phạm vi mà ràng buộc có ảnh hưởng
vd1. Sinhvien(masv, hoten, phai)
R2. Phai Î [nam, nữ]=> chỉ xảy ra ở 1 bảng sinhvien=> Ràng buộc nội
R5. Ketqua.masv Îsinhvien.masv
R6. Ketqua.mamh Îmonhoc.mamh
RB: Phai Î [nam, nữ]
Sinhvien(masv hoten phai)
S1 Lê Hoa nữ
S22 Lê Mơ nữ
S20 Hoa Ly Nữ
S21 Hùng Nam
Ketqua(masv, mamh, diem)
S1
S22
S3
R5. Ketqua.masv Îsinhvien.masv
|
Thêm |
Sửa |
Xóa |
R2: Phai Î [nam, nữ] |
+ |
+ |
- |
R5. Ketqua.masv Îsinhvien.masv (ket qua)
|
+ |
+ |
- |
R5. Ketqua.masv Îsinhvien.masv (sinhvien) |
- |
+ |
+ |
Ràng buộc nội, ràng buộc ngoại
Datphong(madp, makh, ngayden, ngaydi, songuoio)
Dp01 kh1 19/11/22 23/11/22 3
Dp02 kh1
Dp03 kh1
Dp04kh1
Mỗi khách chỉ được đặt tối đa 3 mã.
+ Ràng buộc miền giá trị: liên quan giá trị trên 1 cột
R1. Songuoio>=1
+ Ràng buộc khóa chính: Madp không trung nhau
+ Ràng buộc liên thuộc tính: ngayden<=ngaydi
+ Ràng buộc liên bộ: RB giữa các dòng trong bảng
+ Liên thuộc tính, liên quan hệ
Taikhoan(sotk, hotenchutk, ngaylap, sodu)
Giaodichruttien(sotk, magd, ngayrut, sotienrut)
Rb: sotienrut< sodu
+ Ràng buộc phụ thuộc tồn tại. (khóa chính- khóa ngoại)
Giaodichruttien.sotk Îtaikhoan.sotk
+ Ràng buộc tổng hợp:
Chitiet(mahd, mah, sl, dg, thanhtien)
Hd01 h1 1 1000 1000
Hd01 h2 1 2000 4000
Hoadon(mahd, ngayhd, makh, tongtien)
Hd01 19/11/22 kh1 5000
» Tin mới nhất:
» Các tin khác: