Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Toán – Tin Học CƠ SỞ DỮ LIỆU Xác định ràng buộc toàn vẹn Trần Ngọc Bảo Email: tnbao.dhsp@gmail.com Thuvientailieu.net.vn Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Toán – Tin Học CƠ SỞ DỮ LIỆU XÁC ĐỊNH CÁC RÀNG BUỘC TOÀN VẸN • Qui tắc xác định loại ràng buộc • Xác định ràng buộc có bối cảnh quan hệ • Xác định ràng buộc có bối cảnh nhiều quan hệ Thuvientailieu.net.vn Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Toán – Tin Học CƠ SỞ DỮ LIỆU XÁC ĐỊNH CÁC RÀNG BUỘC TOÀN VẸN • Qui tắc xác định loại ràng buộc • Xác định ràng buộc có bối cảnh quan hệ • Xác định ràng buộc có bối cảnh nhiều quan hệ Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Phân loại ràng buộc • Ràng buộc có bối cảnh quan hệ ‰ Ràng buộc miền giá trị ‰ Ràng buộc liên ‰ Ràng buộc liên thuộc tính • Ràng buộc có bối cảnh nhiều quan hệ ‰ Ràng buộc tham chiếu/khóa ngoại ‰ Ràng buộc liên ‰ Ràng buộc liên thuộc tính ‰ Ràng buộc chu trình TR ẦN NG ỌC B ẢO ” ÁN TIN TIN H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (4) (4) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Biểu diễn ràng buộc • Với ràng buộc cần phải thực ‰ Phát biểu ràng buộc Phát biểu nội dung ràng buộc ‰ Biễu diễn ngôn ngữ hình thức Biểu diễn ràng buộc ngôn ngữ đại số quan hệ ‰ Xác định bối cảnh Xác định quan hệ có ảnh hưởng đến ràng buộc ‰ Xây dựng bảng tầm ảnh hưởng Xác định thao tác thêm xóa sửa quan hệ (trong bối cảnh) có ảnh hưởng đến ràng buộc TR ẦN NG ỌC B ẢO ” ÁN TIN TIN H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (5) (5) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị • Định nghĩa ‰ Ràng buộc miền giá trị qui định tập giá trị mà thuộc tính nhận Ví dụ: thuộc tính Phái quan hệ nhân viên có hai giá trị ‘Nam’ ‘Nữ’ • Cách xác định ‰ Tìm tân từ quan hệ thuộc tính có qui định tập giá trị mà thuộc tính nhận TR ẦN NG ỌC B ẢO ” ÁN TIN TIN H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (6) (6) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ: Mỗi sinh viên có mã số (MASV), họ tên (HOTEN), thuộc phái (PHAI) PHAI = 0: Nam, PHAI = 1: Nữ, có ngày sinh (NGAYSINH), có địa (DCHI), học ngành (MANGANH) Qui định thuộc tính PHAI có giá trị: – Nam, - Nữ ràng buộc miền giá trị TR ẦN NG ỌC B ẢO ” ÁN TIN TIN H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (7) (7) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ: Mỗi sinh viên có mã số (MASV), họ tên (HOTEN), thuộc phái (PHAI) PHAI = 0: Nam, PHAI = 1: Nữ, có ngày sinh (NGAYSINH), có địa (DCHI), học ngành (MANGANH) Qui định thuộc tính PHAI có giá trị: – Nam, - Nữ ràng buộc miền giá trị • Biểu diễn ngôn ngữ hình thức ∀ sv ∈ SINHVIEN, sv.PHAI ∈ [0,1] TR ẦN NG ỌC B ẢO ” ÁN TIN TIN H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (8) (8) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ: Mỗi sinh viên có mã số (MASV), họ tên (HOTEN), thuộc phái (PHAI) PHAI = 0: Nam, PHAI = 1: Nữ, có ngày sinh (NGAYSINH), có địa (DCHI), học ngành (MANGANH) Qui định thuộc tính PHAI có giá trị: – Nam, - Nữ ràng buộc miền giá trị • Bối cảnh: SINHVIEN • Bảng tầm ảnh hưởng (TAH) Quan hệ SINHVIEN Thêm Xóa + - Sửa +(PHAI) TR ẦN NG ỌC B ẢO ” ÁN TIN TIN H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (9) (9) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 1: QUẢN LÝ CHUYÊN ĐỀ NGANH(MANGANH, TENNGANH, SOCD, TSSV) Tân từ: Mỗi ngành có mã (MANGANH), có tên (TENNGANH) SOCD số lượng chuyên đề mà sinh viên theo học ngành có mã ngành có MANGANH phải học TSSV cho biết tổng số sinh viên theo học ngành Quan hệ NGANH ràng buộc miền giá trị TR ẦN NG ỌC B ẢO ” ÁN TIN TIN10 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (10) (10) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ • Định nghĩa ‰ Ràng buộc liên điều kiện ràng buộc quan hệ Ví dụ: thuộc tính TenNganh dòng quan hệ Nganh có giá trị MANGANH TENNGANH SOCD TSSV SP103 Sư Phạm Tin học 800 SP102 Sư Phạm Lý 1200 CNTT Khoa học máy tính 160 SP104 Sư Phạm Lý 1000 Không hợp lệ, TENNGANH TR ẦN NG ỌC B ẢO ” ÁN TIN TIN20 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (20) (20) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ • Định nghĩa ‰ Ràng buộc liên điều kiện ràng buộc quan hệ Ví dụ: thuộc tính TenNganh dòng quan hệ Nganh có giá trị • Cách xác định ‰ Tìm tân từ quan hệ thuộc tính có qui định “là nhất” ‰ Tìm tân từ quan hệ thuộc tính có qui định “về số lượng”, ví dụ 2, 3, n, liên quan đến hàm COUNT, SUM TR ẦN NG ỌC B ẢO ” ÁN TIN TIN21 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (21) (21) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ NGANH(MANGANH, TENNGANH, SOCD, TSSV) Tân từ: Mỗi ngành có mã (MANGANH), có tên (TENNGANH) SOCD số lượng chuyên đề mà sinh viên theo học ngành có mã ngành có MANGANH phải học TSSV cho biết tổng số sinh viên theo học ngành Thuộc tính TENNGANH quan hệ NGANH ràng buộc liên • Biểu diễn ngôn ngữ hình thức ∀n1,n2 ∈ NGANH n1 ≠ n2 ⇒ n1.TenNganh ≠ n2.TenNganh TR ẦN NG ỌC B ẢO ” ÁN TIN TIN22 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (22) (22) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ NGANH(MANGANH, TENNGANH, SOCD, TSSV) Tân từ: Mỗi ngành có mã (MANGANH), có tên (TENNGANH) SOCD số lượng chuyên đề mà sinh viên theo học ngành có mã ngành có MANGANH phải học TSSV cho biết tổng số sinh viên theo học ngành Thuộc tính TENNGANH quan hệ NGANH ràng buộc liên • Bối cảnh: NGANH • Bảng tầm ảnh hưởng (TAH) Quan hệ NGANH Thêm Xóa + - Sửa +(TENNGANH) TR ẦN NG ỌC B ẢO ” ÁN TIN TIN23 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (23) (23) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ CHUYENDE(MACD, TENCD, SOSVTD) Tân từ: Mỗi chuyên đề có mã (MACD), có tên (TENCD) SOSVTD cho biết số sinh viên tối đa chấp nhận có lớp mở cho chuyên đề có mã MACD Thuộc tính TENCD quan hệ CHUYENDE ràng buộc liên • Biểu diễn ngôn ngữ hình thức ∀cd1,cd2 ∈ CHUYENDE cd1 ≠ cd2 ⇒ cd1.TenCD ≠ cd2.TenCD TR ẦN NG ỌC B ẢO ” ÁN TIN TIN24 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (24) (24) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ CHUYENDE(MACD, TENCD, SOSVTD) Tân từ: Mỗi chuyên đề có mã (MACD), có tên (TENCD) SOSVTD cho biết số sinh viên tối đa chấp nhận có lớp mở cho chuyên đề có mã MACD Thuộc tính TENCD quan hệ CHUYENDE ràng buộc liên • Bối cảnh: CHUYENDE • Bảng tầm ảnh hưởng (TAH) Quan hệ CHUYENDE Thêm Xóa + - Sửa +(TENCD) TR ẦN NG ỌC B ẢO ” ÁN TIN TIN25 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (25) (25) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ CD_NGANH(MACD, MANGANH) Tân từ: Mỗi chuyên đề học nhiều ngành (MANGANH), ngành học nhiều chuyên đề (MACD) Mỗi ngành học tối đa chuyên đề Qui định ngành học tối đa chuyên đề ràng buộc liên Qui định số lượng (COUNT) có MANGANH quan hệ CD_NGANH không vượt • Biểu diễn ngôn ngữ hình thức ∀cdn ∈ CD_NGANH (TCOUNT(MACD) (σcdn MANGANH = MANGANH (CD_NGANH))) ≤ TR ẦN NG ỌC B ẢO ” ÁN TIN TIN26 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (26) (26) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ CD_NGANH(MACD, MANGANH) Tân từ: Mỗi chuyên đề học nhiều ngành (MANGANH), ngành học nhiều chuyên đề (MACD) Mỗi ngành học tối đa chuyên đề Qui định ngành học tối đa chuyên đề ràng buộc liên bộ, qui định số lượng (COUNT) có MANGANH quan hệ CD_NGANH không vượt • Bối cảnh: CD_NGANH • Bảng tầm ảnh hưởng (TAH) Quan hệ CD_NGANH Thêm Xóa + - Sửa +(MACD,MANGANH) TR ẦN NG ỌC B ẢO ” ÁN TIN TIN27 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (27) (27) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ DANGKY(MASV, MACD, NAM, HOCKY) Tân từ: Mỗi quan hệ DANGKY thể việc sinh viên (MASV) đăng ký học chuyên đề (MACD) học kỳ (HOCKY) năm học (NAM) Sinh viên phép đăng ký tối đa chuyên đề học kỳ Qui định sinh viên phép đăng ký tối đa chuyên đề học kỳ ràng buộc liên Qui định số lượng có MASV, NAM, HOCKY không vượt • Biểu diễn ngôn ngữ hình thức ∀dk ∈ DANGKY (TCOUNT(MACD) (σDK.MASV = MASV ∧ DK.NAM = NAM ∧ DK.HOCKY = HOCKY(DANGKY) DANGKY )) ≤ TR ẦN NG ỌC B ẢO ” ÁN TIN TIN28 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (28) (28) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ DANGKY(MASV, MACD, NAM, HOCKY) Tân từ: Mỗi quan hệ DANGKY thể việc sinh viên (MASV) đăng ký học chuyên đề (MACD) học kỳ (HOCKY) năm học (NAM) Sinh viên phép đăng ký tối đa chuyên đề học kỳ Qui định sinh viên phép đăng ký tối đa chuyên đề học kỳ ràng buộc liên • Bối cảnh: DANGKY • Bảng tầm ảnh hưởng (TAH) Quan hệ DANGKY Thêm Xóa + - Sửa +(MASV,NAM,HOCKY) TR ẦN NG ỌC B ẢO ” ÁN TIN TIN29 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (29) (29) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên thuộc tính - quan hệ • Định nghĩa ‰ Ràng buộc liên thuộc tính điều kiện ràng buộc thuộc tính quan hệ Ví dụ: thuộc tính NgayNH quan hệ HocSinh phải có giá trị lớn NgaySinh quan hệ HocSinh năm MSHS TEN HOC SINH NGAYSINH NGAYNH HS01 Nguyễn Công Phú 12/12/1979 12/12/1982 HS02 Phan Anh Khanh 11/10/1979 12/12/2000 HS03 Phạm Khánh Như 12/1/1979 12/12/2000 HS04 Hàn Quốc Việt 2/2/1979 12/12/2000 TR ẦN NG ỌC B ẢO ” ÁN TIN TIN30 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (30) (30) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc khóa ngoại • Định nghĩa ‰ Ràng buộc khóa ngoại điều kiện ràng buộc giá trị khóa ngoại quan hệ hệ với giá trị khóa quan hệ khác Ví dụ: thuộc tính MaNganh quan hệ SinhVien phải tồn quan hệ Nganh ‰ Ràng buộc khóa ngoại gọi ràng buộc phụ thuộc tồn tại, tồn giá trị thuộc tính khóa ngoại phụ thuộc vào tồn giá trị thuộc tính khóa • Biểu diễn ngôn ngữ hình thức SINHVIEN[MANGANH] ⊆ NGANH[MANGANH] TR ẦN NG ỌC B ẢO ” ÁN TIN TIN31 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (31) (31) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên - nhiều quan hệ • Định nghĩa ‰ Ràng buộc liên điều kiện ràng buộc quan hệ hệ với hay nhiều quan hệ khác Ví dụ: tổng số sinh viên đăng ký (DANGKY) học chuyên đề phải số lượng sinh viên tối đa qui định chuyên đề (CHUYENDE) • Biểu diễn ngôn ngữ hình thức Tương tự ràng buộc liên quan hệ • Bối cảnh Danh sách quan hệ có liên quan đến ràng buộc TR ẦN NG ỌC B ẢO ” ÁN TIN TIN32 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (32) (32) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên thuộc tính - nhiều quan hệ • Định nghĩa ‰ Ràng buộc liên thuộc tính điều kiện ràng buộc thuộc tính nhiều quan hệ Ví dụ: thuộc tính NgayNhap quan hệ PhieuNhap phải có giá trị lớn NgayXuat quan hệ PhieuXuat • Biểu diễn ngôn ngữ hình thức Tương tự ràng buộc liên thuộc tính quan hệ • Bối cảnh Danh sách quan hệ có liên quan đến ràng buộc TR ẦN NG ỌC B ẢO ” ÁN TIN TIN33 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (33) (33) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN TR ẦN NG ỌC B ẢO ” ÁN TIN TIN34 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (34) (34) Thuvientailieu.net.vn [...]... PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên bộ - 1 quan hệ • Định nghĩa ‰ Ràng buộc liên bộ là điều kiện ràng buộc giữa các bộ trên cùng một quan hệ Ví dụ: thuộc tính TenNganh của mỗi dòng trong quan hệ Nganh có giá trị duy nhất • Cách xác định ‰ Tìm trong tân từ của mỗi quan hệ các thuộc tính có qui định “là duy nhất” ‰ Tìm trong tân từ của mỗi quan hệ các thuộc tính có qui định. .. Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc khóa ngoại • Định nghĩa ‰ Ràng buộc khóa ngoại là điều kiện ràng buộc giữa giá trị khóa ngoại của quan hệ hệ này với giá trị khóa chính trong quan hệ khác Ví dụ: thuộc tính MaNganh trong quan hệ SinhVien phải tồn tại trong quan hệ Nganh ‰ Ràng buộc khóa ngoại còn được gọi là ràng buộc phụ thuộc tồn tại, sự tồn tại... HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên bộ - nhiều quan hệ • Định nghĩa ‰ Ràng buộc liên bộ là điều kiện ràng buộc giữa các bộ trên quan hệ hệ này với một hay nhiều bộ trên quan hệ khác Ví dụ: tổng số sinh viên đăng ký (DANGKY) học 1 chuyên đề phải ít hơn số lượng sinh viên tối đa được qui định bởi chuyên đề đó (CHUYENDE) • Biểu diễn ngôn ngữ hình thức Tương tự ràng buộc liên... sách các quan hệ có liên quan đến ràng buộc này TR ẦN NG ỌC B ẢO ” ÁN TIN TIN32 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (32) (32) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên thuộc tính - nhiều quan hệ • Định nghĩa ‰ Ràng buộc liên thuộc tính là điều kiện ràng buộc giữa các thuộc tính của nhiều... H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (19) (19) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên bộ - 1 quan hệ • Định nghĩa ‰ Ràng buộc liên bộ là điều kiện ràng buộc giữa các bộ trên cùng một quan hệ Ví dụ: thuộc tính TenNganh của mỗi dòng trong quan hệ Nganh có giá trị duy nhất MANGANH TENNGANH SOCD... có ràng buộc miền giá trị TR ẦN NG ỌC B ẢO ” ÁN TIN TIN14 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (14) (14) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 2: QUẢN LÝ THỰC ĐƠN 1 LOP (MALOP, TENLOP, NIENKHOA, KHOI) Qui định thuộc tính KHOI có 3 giá trị: MAM, CHOI, LA là một ràng buộc. .. một ràng buộc liên bộ • Bối cảnh: DANGKY • Bảng tầm ảnh hưởng (TAH) Quan hệ DANGKY Thêm Xóa + - Sửa +(MASV,NAM,HOCKY) TR ẦN NG ỌC B ẢO ” ÁN TIN TIN29 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (29) (29) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên thuộc tính - 1 quan hệ • Định nghĩa ‰ Ràng buộc. .. Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc liên bộ - 1 quan hệ BÀI 1: QUẢN LÝ CHUYÊN ĐỀ 4 CD_NGANH(MACD, MANGANH) Tân từ: Mỗi chuyên đề có thể được học bởi nhiều ngành (MANGANH), mỗi ngành có thể học nhiều chuyên đề (MACD) Mỗi ngành học tối đa là 8 chuyên đề Qui định mỗi ngành học tối đa 8 chuyên đề là một ràng buộc liên bộ, qui định số lượng bộ (COUNT) có cùng... ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (18) (18) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 2: QUẢN LÝ THỰC ĐƠN 7 THANG_KQ (THANG, NAM, MATRE, CHIEUCAO, CANNANG, BONGSEN) Qui định thuộc tính BONGSEN có 2 giá trị: 1- có bông sen, 0 – không có bông sen là một ràng buộc miền giá trị • Biểu diễn ngôn ngữ hình thức ∀ t ∈ THANG_KQ, t.BONGSEN ∈ [0,1]... KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (15) (15) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU XÁC ĐỊNH RÀNG BUỘC TOÀN VẸN Ràng buộc miền giá trị BÀI 2: QUẢN LÝ THỰC ĐƠN 3 MONAN (MAMA, TENMA, LOAI, DAM, BEO, DUONG, NANGLUONG) Qui định thuộc tính LOAI có 2 giá trị: Chính, phụ là một ràng buộc miền giá trị • Biểu diễn ngôn ngữ hình thức ∀ m ∈ MONAN, m.LOAI ∈ [‘Chính’, ‘Phụ’] • Bối cảnh: