Chương 3: Mô hình dữ liệu quan hệMô hình dữ liệu quan hệ

Chương 3: 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 đồ ER sang mơ hình quan hệ  Giới thiệu  Do tiến sĩ E F Codd đưa   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   “A Relation Model for Large Shared Data Banks”, Communications of ACM, 6/1970 Lý thuyết tập hợp Là sở HQT CSDL thương mại  MS Access, SQL Server, DB2, Oracle, … 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 12/08/1955 638 NVC Q5 Nam 40000 Hang Bui 07/19/1968 332 NTH Q1 Nu 25000 Nhu Le 06/20/1951 291 HVH QPN Nu 43000 Hung Nguyen 09/15/1962 Ba Ria VT 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 12/08/1955 638 NVC Q5 Nam 40000 Hang Bui 07/19/1968 332 NTH Q1 Nu 25000 Nhu Le 06/20/1951 291 HVH QPN Nu 43000 Hung Nguyen 09/15/1962 Ba Ria VT Nam 38000 Tất liệu cột có dùng 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 Phép trừ: Hiệu quan hệ r s, kí hiệu r-s tập thuộc r không thuộc s  Biểu diễn: r-s ={t \ t ∈r t ∉s }  37  Tích Đề_ Gọi r quan hệ xác định tên tập thuộc tính {A1, A2, …An} s quan hệ xác định tập thuộc tính {B1, B2, … Bm} Tích đề_các r x s r s tập (n+m) –ngôi, (n x m) với n thành phần đầu thuộc r m thành phần sau thuộc s  Biểu diễn:  r x s=t \ t có dạng (a1, a2, ,an,b1,b2, ,bm) (a1, a2, ,an )∈r b1,b2, ,bm)∈s  38 Phép chiếu:  Phép chiếu phép quan hệ giữ lại số thuộc tính quan hệ loại bỏ thuộc tính khác  Cho r(U), X⊂U   Phép chiếu quan hệ r tập X viết là: ΠX(r)  ⇒ ΠX(r)=t[X] \ t∈ r 39  Phép chọn: Là phép toán lọc tập quan hệ thoả mãn điều kiện chọn cho trước Trong đó: Điều kiện chọn tổ hợp logic tốn hạng, tốn hạng phép so sánh thuộc tính thuộc tính giá trị  Phép tốn logic: ∧ (và), ∨ (hoặc),  (khơng)  Phép tốn so sánh: >, =, < s= {t=(u,v)/ u∈ r, v∈s F(t) đúng} 41  Phép chia  Cho r(U), U={A1, A2, An,B1 , Bm} s(V), V={B1, B2, , Bm} Với ĐK chia: m