Chương Mơ hình liệu quan hệ Nội dung chi tiết  Giới thiệu  Các khái niệm mơ hình quan hệ  Ràng buộc tồn vẹn  Các đặc trưng quan hệ  Chuyển lược đồ E/R sang thiết kế quan hệ Giới thiệu  Do tiến sĩ E F Codd đưa - “A Relation Model for Large Shared Data Banks”, Communications of ACM, 6/1970  Cung cấp cấu trúc liệu đơn giản đồng - Khái niệm quan hệ  Có tảng lý thuyết vững - Lý thuyết tập hợp  Là sở HQT CSDL thương mại - Oracle, DB2, SQL Server… Nội dung chi tiết  Giới thiệu  Các khái niệm mơ hình quan hệ - Quan hệ (Relation) Thuộc tính (Attribute) Lược đồ (Schema) Bộ (Tuple) Miền giá trị (Domain)  Ràng buộc toàn vẹn  Các đặc trưng quan hệ  Chuyển lược đồ E/R sang thiết kế quan hệ Quan hệ  Các thông tin lưu trữ CSDL tổ chức thành bảng (table) chiều gọi quan hệ cột thuộc tính nhân viên TENNV HONV NGSINH DCHI PHAI LUONG PHG Tung Nguyen 638 NVC Q5 Nam 40000 Hang Bui 332 NTH Q1 Nu 25000 Nhu Le 43000 Nguyen 291 HVH QPN Ba Ria VT Nu Hung 12/08/195 07/19/196 06/20/195 09/15/196 Nam 38000 dòng nhân viên Tên quan hệ NHANVIEN Quan hệ (tt)  Quan hệ gồm - Tên - Tập hợp cột    Cố định Được đặt tên Có kiểu liệu - Tập hợp dòng  Thay đổi theo thời gian  Một dòng ~ Một thực thể  Quan hệ ~ Tập thưc thể Thuộc tính  Tên cột quan hệ  Mô tả ý nghĩa cho giá trị cột Thuộc tính TENNV HONV NGSINH DCHI PHAI LUONG PHG Tung Nguyen 638 NVC Q5 Nam 40000 Hang Bui 332 NTH Q1 Nu 25000 Nhu Le 43000 Nguyen 291 HVH QPN Ba Ria VT Nu Hung 12/08/195 07/19/196 06/20/195 09/15/196 Nam 38000  Tất liệu cột có kiểu liệu Lược đồ  Lược đồ quan hệ - Tên quan hệ - Tên tập thuộc tính Lược đồ quan hệ NHANVIEN(MANV, TENNV, HONV, NGSINH, DCHI, PHAI, LUONG, PHG) Là tập hợp Lược đồ (tt)  Lược đồ CSDL - Gồm nhiều lược đồ quan hệ Lược đồ CSDL NHANVIEN(MANV, TENNV, HONV, NGSINH, DCHI, PHAI, LUONG, PHG) PHONGBAN(MAPHG, TENPHG, TRPHG, NG_NHANCHUC) DIADIEM_PHG(MAPHG, DIADIEM) THANNHAN(MA_NVIEN, TENTN, PHAI, NGSINH, QUANHE) DEAN(TENDA, MADA, DDIEM_DA, PHONG) Bộ  Là dòng quan hệ (trừ dòng tiêu đề - tên thuộc tính)  Thể liệu cụ thể thuộc tính quan hệ Dữ liệu cụ thể thuộc tính 10 Tham chiếu  Một quan hệ R, thuộc tính A nhận giá trị từ thuộc tính B quan hệ S, ta gọi R tham chiếu S - Bộ tham chiếu phải tồn trước S R TENPHG MAPHG Nghien cuu Dieu hanh Quan ly TENNV HONV NGSINH DCHI PHAI LUONG PHG Tung Nguyen 638 NVC Q5 Nam 40000 Hang Bui 332 NTH Q1 Nu 25000 Nhu Le 43000 Nguyen 291 HVH QPN Ba Ria VT Nu Hung 12/08/195 07/19/196 06/20/195 09/15/196 Nam 38000 20 Khóa ngoại  Xét lược đồ R S - Gọi FK tập thuộc tính khác rỗng R - FK khóa ngoại (Foreign Key) R   Các thuộc tính FK phải có miền giá trị với thuộc tính khóa S Giá trị FK t1∈R ∗ Hoặc giá trị khóa t2∈S ∗ Hoặc giá trị rỗng  Ví dụ NHANVIEN(MANV, TENNV, HONV, NGSINH, DCHI, PHAI, LUONG, PHG) PHONGBAN(TENPHG, MAPHG) Khóa ngoại Khóa 21 Khóa ngoại (tt)  Nhận xét - Trong lược đồ quan hệ, thuộc tính vừa tham gia vào khóa chính, vừa tham gia vào khóa ngoại - Khóa ngoại tham chiếu đến khóa lược đồ quan hệ - Có thể có nhiều khóa ngoại tham chiếu đến khóa - Ràng buộc tham chiếu = Ràng buộc khóa ngoại 22 Khóa ngoại (tt) 23 Nội dung chi tiết  Giới thiệu  Các khái niệm mơ hình quan hệ  Ràng buộc toàn vẹn  Các đặc trưng quan hệ  Chuyển lược đồ E/R sang thiết kế quan hệ 24 Các đặc trưng quan hệ  Thứ tự quan hệ không quan trọng HONV TENNV NGSINH DCHI PHAI LUONG PHG Nguyen Tung 638 NVC Q5 Nam 40000 Bui Hang 332 NTH Q1 Nu 25000 Le Nhu 43000 Hung 291 HVH QPN null Nu Nguyen 12/08/195 07/19/196 06/20/195 09/15/196 Nam 38000  Thứ tự giá trị quan trọng Bộ khác Bộ 25 Các đặc trưng quan hệ (tt)  Mỗi giá trị - Hoặc giá trị nguyên tố - Hoặc giá trị rỗng (null)  Khơng có trùng 26 Nội dung chi tiết  Giới thiệu  Các khái niệm mô hình quan hệ  Ràng buộc tồn vẹn  Các đặc trưng quan hệ  Chuyển lược đồ E/R sang thiết kế quan hệ - Các qui tắc chuyển đổi 27 Các qui tắc chuyển đổi  (1) Tập thực thể - Các tập thực thể (trừ tập thực thể yếu) chuyển thành quan hệ có tên tập thuộc tính MANV HONV TENNV PHAI NGSINH LUON G NHANVIEN DCHI (1,1) (1,1) TENPHG Lam_viec (1,n) La_truong_phon g MAPHG PHONGBAN (1,1) PHONGBAN(TENPHG, MAPHG) NHANVIEN(MANV, TENNV, HONV, NGSINH, DCHI, PHAI, LUONG) 28 Các qui tắc chuyển đổi (tt)  (2) Mối quan hệ - (2a) Nhiều-Nhiều  Tạo quan hệ có ∗ Tên quan hệ tên mối quan hệ ∗ Thuộc tính thuộc tính khóa tập thực thể liên quan MANV HONV TENNV NGSINH LUON G NHANVIEN DCHI DEAN THOIGIAN DDIEM_D A MADA TENDA PHAI (1,n) Phan_cong (1,n) PHANCONG(MANV, MADA, THOIGIAN) 29 Các qui tắc chuyển đổi (tt)  (2) Mối quan hệ - (2b) Một-Nhiều  Thêm vào quan-hệ-một thuộc tính khóa quan-hệ-nhiều MANV HONV TENNV NGSINH LUON G NHANVIEN DCHI (1,1) TENPHG Lam_viec (1,n) MAPHG PHONGBAN PHAI NHANVIEN(MANV, TENNV, HONV, NGSINH, DCHI, PHAI, LUONG, MAPHG) 30 Các qui tắc chuyển đổi (tt)  (2) Mối quan hệ - (2c) Một-Một Hoặc thêm vào quan hệ thuộc tính khóa quan hệ Hoặc thêm thuộc tính khóa vào quan hệ   MANV HONV TENNV PHAI NGSINH LUON G NHANVIEN (1,1) DCHI TENPHG NG_NHANCH UC La_truong_phon g MAPHG PHONGBAN (1,n) PHONGBAN(MAPHG, TENPHG, MANV, NG_NHANCHUC) 31 Các qui tắc chuyển đổi (tt)  (3) Thực thể yếu - Chuyển thành quan hệ Có tên với thực thể yếu Thêm vào thuộc tính khóa quan hệ liên quan   MANV HONV TENNV PHAI NGSINH LUON G NHANVIEN DCHI (1,n) Co_than_nhan (1,1) THANNHAN QUANH E NGSIN H PHAI TENTN THANNHAN(MANV, TENTN, PHAI, NGSINH, QUANHE) 32 Bài tập nhà  Bài tập - Trang 104 - 105  Đọc trước: - Codd E F., “A Relation Model for Large Shared Data Banks”, Communications of ACM, pp377-387, 1970 - Qui tắc chuyển mối quan hệ isa sang lược đồ quan hệ - Các thao tác quan hệ cơng cụ để mơ tả thao tác quan hệ 33 34 ... hệ R bậc n - R(A1, A2, …, An)  Tập thuộc tính R - R+  Quan hệ (thể quan hệ) - R, S, P, Q  Bộ - t, u, v  Miền giá trị thuộc tính A - DOM(A) hay MGT(A)  Giá trị thuộc tính A thứ t - t.A hay... MADA, THOIGIAN) 29 Các qui tắc chuyển đổi (tt)  (2) Mối quan hệ - (2b) Một-Nhiều  Thêm vào quan-hệ-một thuộc tính khóa quan-hệ-nhiều MANV HONV TENNV NGSINH LUON G NHANVIEN DCHI (1,1) TENPHG... quan hệ - Cho A1, A2, …, An thuộc tính - Có miền giá trị D1, D2, …, Dn tương ứng - Ký hiệu R(A1:D1, A2:D2, …, An:Dn) lược đồ quan hệ - Bậc lược đồ quan hệ số lượng thuộc tính lược đồ - NHANVIEN(MANV:integer,