Qui tắc xác định các loại ràng buộc • Xácđịnh ràng buộc có bối cảnh 1 quan hệ • Xácđịnh ràng buộc có bối cảnh nhiều quan hệQui tắc xác định các loại ràng buộc • Xácđịnh ràng buộc có bối cảnh 1 quan hệ • Xácđịnh ràng buộc có bối cảnh nhiều quan hệ
Đại Học Sư Phạm Tp. Hồ Chí Minh Khoa Toán – Tin Học CƠ S CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U Trần Ngọc Bảo Email: tnbao.dhsp@gmail.com Xác định ràng buộc toàn vẹn • Qui tắc xác định các loại ràng buộc • Xác định ràng buộc có bối cảnh 1 quan hệ • Xác định ràng buộc có bối cảnh nhiều quan hệ Đại Học Sư Phạm Tp. Hồ Chí Minh Khoa Toán – Tin Học CƠ S CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH C NH C Á Á C C R R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N • Qui tắc xác định các loại ràng buộc • Xác định ràng buộc có bối cảnh 1 quan hệ • Xác định ràng buộc có bối cảnh nhiều quan hệ Đại Học Sư Phạm Tp. Hồ Chí Minh Khoa Toán – Tin Học CƠ S CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH C NH C Á Á C C R R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N 4 4 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (4) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (4) (4) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Phân loại ràng buộc • Ràng buộc có bối cảnh 1 quan hệ • Ràng buộc có bối cảnh nhiều quan hệ Ràng buộc miền giá trị Ràng buộc liên bộ Ràng buộc liên thuộc tính Ràng buộc tham chiếu/khóa ngoại Ràng buộc liên bộ Ràng buộc liên thuộc tính Ràng buộc chu trình 5 5 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (5) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (5) (5) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Biểu diễn ràng buộc • Với mỗi ràng buộc cần phải thực hiện Phát biểu ràng buộc Biễu diễn bằng ngôn ngữ hình thức Xác định bối cảnh Xây dựng bảng tầm ảnh hưởng Phát biểu nội dung của ràng buộc Xác định các quan hệ có ảnh hưởng đến ràng buộc này Xác định các thao tác thêm xóa sửa của mỗi quan hệ (trong bối cảnh) có ảnh hưởng đến ràng buộc này Biểu diễn ràng buộc bằng ngôn ngữ đại số quan hệ 6 6 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (6) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (6) (6) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Ràng buộc miền giá trị • Định nghĩa • Cách xác định Ràng buộc miền giá trị qui định tập giá trị mà một thuộc tính có thể nhận. V V í í d d ụ ụ : thu : thu ộ ộ c t c t í í nh nh Ph Ph á á i i c c ủ ủ a quan h a quan h ệ ệ nhân viên nhân viên c c ó ó hai gi hai gi á á tr tr ị ị ‘ ‘ Nam Nam ’ ’ ho ho ặ ặ c c ‘ ‘ N N ữ ữ ’ ’ Tìm trong tân từ của mỗi quan hệ các thuộc tính có qui định tập giá trị mà thuộc tính này có thể nhận 7 7 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (7) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (7) (7) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Ràng buộc miền giá trị B B À À I 1: QU I 1: QU Ả Ả N LÝ CHUYÊN Đ N LÝ CHUYÊN Đ Ề Ề 1. SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ : Mỗi sinh viên có một mã số duy nhất (MASV), một họ tên (HOTEN), thuộc một phái (PHAI) PHAI = 0: Nam, PHAI = 1: Nữ, có một ngày sinh (NGAYSINH), có một địa chỉ (DCHI), và học một ngành (MANGANH) Qui đ Qui đ ị ị nh thu nh thu ộ ộ c t c t í í nh nh PHAI c PHAI c ó ó 2 gi 2 gi á á tr tr ị ị : 0 : 0 – – Nam, 1 Nam, 1 - - N N ữ ữ l l à à m m ộ ộ t r t r à à ng bu ng bu ộ ộ c mi c mi ề ề n gi n gi á á tr tr ị ị 8 8 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (8) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (8) (8) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Ràng buộc miền giá trị B B À À I 1: QU I 1: QU Ả Ả N LÝ CHUYÊN Đ N LÝ CHUYÊN Đ Ề Ề 1. SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ : Mỗi sinh viên có một mã số duy nhất (MASV), một họ tên (HOTEN), thuộc một phái (PHAI) PHAI = 0: Nam, PHAI = 1: Nữ, có một ngày sinh (NGAYSINH), có một địa chỉ (DCHI), và học một ngành (MANGANH) • Biểu diễn ngôn ngữ hình thức Qui đ Qui đ ị ị nh thu nh thu ộ ộ c t c t í í nh nh PHAI c PHAI c ó ó 2 gi 2 gi á á tr tr ị ị : 0 : 0 – – Nam, 1 Nam, 1 - - N N ữ ữ l l à à m m ộ ộ t r t r à à ng bu ng bu ộ ộ c mi c mi ề ề n gi n gi á á tr tr ị ị ∀ ∀ sv sv ∈ ∈ SINHVIEN, sv.PHAI SINHVIEN, sv.PHAI ∈ ∈ [0,1] [0,1] 9 9 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (9) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (9) (9) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Ràng buộc miền giá trị B B À À I 1: QU I 1: QU Ả Ả N LÝ CHUYÊN Đ N LÝ CHUYÊN Đ Ề Ề 1. SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ : Mỗi sinh viên có một mã số duy nhất (MASV), một họ tên (HOTEN), thuộc một phái (PHAI) PHAI = 0: Nam, PHAI = 1: Nữ, có một ngày sinh (NGAYSINH), có một địa chỉ (DCHI), và học một ngành (MANGANH) • Bối cảnh: SINHVIEN Qui đ Qui đ ị ị nh thu nh thu ộ ộ c t c t í í nh nh PHAI c PHAI c ó ó 2 gi 2 gi á á tr tr ị ị : 0 : 0 – – Nam, 1 Nam, 1 - - N N ữ ữ l l à à m m ộ ộ t r t r à à ng bu ng bu ộ ộ c mi c mi ề ề n gi n gi á á tr tr ị ị • Bảng tầm ảnh hưởng (TAH) +(PHAI) -+ SINHVIEN SửaXóaThêmQuan hệ 10 10 TRẦN NGỌC BẢO KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM (10) TR TR Ầ Ầ N NG N NG Ọ Ọ C B C B Ả Ả O O KHOA TO KHOA TO Á Á N N - - TIN H TIN H Ọ Ọ C C Đ Đ Ạ Ạ I H I H Ọ Ọ C SƯ PH C SƯ PH Ạ Ạ M TP.HCM M TP.HCM (10) (10) B B À À I GI I GI Ả Ả NG H NG H Ọ Ọ C PH C PH Ầ Ầ N CƠ S N CƠ S Ở Ở D D Ữ Ữ LI LI Ệ Ệ U U X X Á Á C Đ C Đ Ị Ị NH R NH R À À NG BU NG BU Ộ Ộ C TO C TO À À N V N V Ẹ Ẹ N N Ràng buộc miền giá trị B B À À I 1: QU I 1: QU Ả Ả N LÝ CHUYÊN Đ N LÝ CHUYÊN Đ Ề Ề Quan h Quan h ệ ệ NGANH không c NGANH không c ó ó r r à à ng bu ng bu ộ ộ c mi c mi ề ề n gi n gi á á tr tr ị ị 2. NGANH(MANGANH, TENNGANH, SOCD, TSSV) Tân từ : Mỗi ngành có một mã duy nhất (MANGANH), có một tên duy nhất (TENNGANH). SOCD là số lượng chuyên đề mà một 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 đã từng theo học ngành này. [...]... 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 “về số lượng”,... (30) (30) 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 của giá... 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 bộ trên... hệ • Bối cảnh Danh sách các quan hệ có liên quan đến ràng buộc này TRẦN NGỌC BẢO TRẦN NGỌC BẢO 32 KHOA TOÁN -TIN HỌC KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM ĐẠI HỌC SƯ PHẠM TP.HCM (32) (32) 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 quan hệ Ví dụ: thuộc... ràng buộc liên bộ • Bối cảnh: DANGKY • Bảng tầm ảnh hưởng (TAH) Quan hệ DANGKY TRẦN NGỌC BẢO TRẦN NGỌC BẢO Thêm Xóa + - 29 KHOA TOÁN -TIN HỌC KHOA TOÁN -TIN HỌC Sửa +(MASV,NAM,HOCKY) ĐẠI HỌC SƯ PHẠM TP.HCM ĐẠI HỌC SƯ PHẠM TP.HCM (29) (29) 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 liên thuộc tính là điều kiện ràng buộc giữa... - 19 KHOA TOÁN -TIN HỌC KHOA TOÁN -TIN HỌC Sửa +(BONGSEN) ĐẠI HỌC SƯ PHẠM TP.HCM ĐẠI HỌC SƯ PHẠM TP.HCM (19) (19) 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 TSSV SP103... Quan hệ DANGKY không có ràng buộc miền giá trị TRẦN NGỌC BẢO TRẦN NGỌC BẢO 14 KHOA TOÁN -TIN HỌC KHOA TOÁN -TIN HỌC ĐẠI HỌC SƯ PHẠM TP.HCM ĐẠI HỌC SƯ PHẠM TP.HCM (14) (14) 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 miền giá trị • Biểu... (26) 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 MANGANH... ĐẠI HỌC SƯ PHẠM TP.HCM ĐẠI HỌC SƯ PHẠM TP.HCM (18) (18) 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] • Bối... HỌC Sửa +(KHOI) ĐẠI HỌC SƯ PHẠM TP.HCM ĐẠI HỌC SƯ PHẠM TP.HCM (15) (15) 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: MONAN