Bai 03 2

Ch ng d Mô hình li u quan h N i dung trình bày ̇ Các khái ni m c a mô hình ̇ Các ràng bu c c a mô hình ̇ Thi t k mô hình quan h t mô hình ER ER m r ng Mô hình d li u quan h Các khái ni m c a mô hình ̇ Gi i thi u • Dùng đ thi t k CSDL m c logic • Có c s lý thuy t v ng ch c d a lý thuy t t p h p • S d ng HQT CSDL th ng m i ̇ N i dung chi ti t • • • • • • • • Quan h (Relation) Thu c tính (Attribute) Mi n giá tr (Domain) B d li u (Tuple) L c đ quan h (Relation Schema) nh ngh a hình th c Các đ c tr ng c a quan h Các ký hi u c a mô hình Quan h (1) ̇ D li u l u CSDL đ c t ch c thành b ng chi u (table) ̇ M i b ng đ c g i m t quan h Tên b ng tên quan h C t ng v i m t thu c tính c a nhân viên NHANVIEN MaNV Giá tr khóa Mô hình d li u quan h Ho Ten An Ngaysinh Gioitinh Tran Van 15/4/1971 Nam Nguyen Van Binh Le Quang Cuong 31/12/1973 Nam 1/1/1970 Nam Nguyen Thi Yen 4/10/1972 Nu Dòng ng v i m t nhân viên Quan h (2) ̇ Quan h • Ch a d li u c a m t t p th c th ho c m t t p liên k t • Tên quan h • T p h p dòng - M m - M gi i dòng ch a giá tr t ng ng v i d li u c a t th c th ho c m t liên k t i dòng có ho c nhi u giá tr dùng đ phân bi t a dòng • T p h p c t - Các giá tr m t c t có m t ki u d li u Thu c tính ̇ Tên c t c a quan h Các thu c tính NHANVIEN MaNV Ho Ten An Ngaysinh Gioitinh Tran Van 15/4/1971 Nam Nguyen Van Binh 1/1/1970 Nam Le Quang Cuong 31/12/1973 Nam Nguyen Thi Yen 4/10/1972 Nu ̇ M i thu c tính có m t ki u d li u c s • Chu i ký t (string), s nguyên (integer), s th c (real), ̇ Các ki u d li u ph c không đ c áp d ng • T p h p (set), danh sách (list), m ng (array), Mô hình d li u quan h Mi n giá tr ̇ T p h p giá tr nguyên t g n v i thu c tính ̇ Có tên, ki u d li u, khuôn d ng mô t • • • • Tên: SDT_Nhanvien Ki u d li u: chu i ký t Khuôn d ng: xxx-xxxxxxx Mô t : mi n giá tr c a s n tho i c a nhân viên B d li u, L c đ quan h ̇ B d li u • Là dòng c a quan h không k dòng tên c a thu c tính NHANVIEN MaNV B d li u Ho Ten An Ngaysinh Gioitinh Tran Van 15/4/1971 Nam Nguyen Van Binh 1/1/1970 Nam Le Quang Cuong 31/12/1973 Nam Nguyen Thi Yen 4/10/1972 Nu • M i b ch a giá tr c th c a thu c tính ̇ L c đ quan h • T o thành t tên c a quan h danh sách thu c tính NHANVIEN(MaNV, Ho, Ten, Ngaysinh, Gioitinh) Mô hình d li u quan h nh ngh a hình th c ̇ L c đ quan h • R(A1, A2, , An) ho c R(A1:D1, A2:D2, , An:Dn) - R tên quan h - A1, , An thu c tính - Di mi n giá tr c a thu c tính Ai, i = 1, ,n • B c c a R s l ng thu c tính c a l cđ ̇ Quan h - Tr ng thái quan h • r(R) = r = {t1, , tm} - r quan h c a l c đ quan h R - tj = danh sách có th t c a n giá tr + vi ∈ Di ho c vi = null (giá tr r ng) giá tr ng v i thu c tính Ai - t[Ai] ho c t[i] thành ph n th i c a b t Các đ c tr ng c a quan h ̇ Trong m t quan h b trùng ̇ Th t c a b quan h • V m t toán h c, gi a b quan h b t k th t • Nhi u th t logic đ c xác đ nh quan h đ c cài đ t nh m t t p tin ho c hi n th nh m t b ng ̇ Th t c a giá tr b • S s p x p c a giá tr m t b quan tr ng ̇ Giá tr giá tr r ng (null) b • Các thu c tính g p thu c tính đa tr không đ c phép t n t i • Giá tr r ng đ c dùng đ bi u di n giá tr ch a xác đ nh ho c không th áp d ng cho thu c tính Mô hình d li u quan h Các ký hi u c a mô hình ̇ L c đ quan h R b c n • R(A1, A2, , An) ̇ n-b t quan h r(R) • t = , vi giá tr c a thu c tính Ai • t[Ai], t.Ai giá tr c a thu c tính Ai b t • t[{A1, , Ak}] giá tr c a t p thu c tính {A1, , Ak} b t ̇ Tên quan h • Q, R, S ̇ Tr ng thái quan h • q, r, s ̇ B • t, u, v Các ràng bu c c a mô hình ̇ Ràng bu c toàn v n – RBTV (Integrity Constraint) • Các u ki n mà m i tr ng thái quan h ph i tuân theo • Xu t phát t th gi i thu nh mà CSDL bi u di n ̇ lo i • Ràng bu c d a b n ch t c a mô hình • Ràng bu c d a l c đ • Ràng bu c d a ng d ng ̇ N i dung chi ti t • • • • Mô hình d li u quan h Ràng bu c v khóa CSDL l c đ CSDL quan h RBTV th c th RBTV tham chi u Ràng bu c v khóa (1) ̇ Siêu khóa (Super Key) • T p thu c tính SK ≠ ∅ c a R g i siêu khóa c a R n u ∀ r, ∀ t1, t2 ∈ r, t1 ≠ t2 ⇒ t1[SK] ≠ t2[SK] • Siêu khóa xác đ nh ràng bu c v tính nh t c a b quan h • M i l c đ có nh t m t siêu khóa ̇ Khóa (Key) • T p thu c tính K ≠ ∅ c a R g i khóa c a R n u th a u ki n sau - K siêu khóa c a R - ∀ K’ ⊂ K, K’ ≠ K, K’ không siêu khóa c a R ̇ Nh n xét • Khóa siêu khóa nh nh t • M t l c đ quan h có th có nhi u khóa - Các khóa đ c g i khóa ch đ nh (Candidate Key) - Ch n s làm khóa (Primary Key) • Các thu c tính khóa đ c g ch d i • Khóa đ c xây d ng d a ý ngh a c a m t s thu c tính Ràng bu c v khóa (2) Khóa Không siêu khóa NHANVIEN MaNV t1 t2 Ho Ten An Siêu khóa m c đ nh Ngaysinh Gioitinh Tran Van 15/4/1971 Nam Nguyen Van Binh Le Quang Cuong 31/12/1973 Nam 1/1/1970 Nam Nguyen Thi Yen 4/10/1972 Nu t1[Gioitinh] == t1[MaNV,Ho,Ten,Ngaysinh,Gioitinh] = ≠ t2[MaNV,Ho,Ten,Ngaysinh,Gioitinh] = t2[Gioitinh] = Mô hình d li u quan h c đ CSDL quan h (1) CSDL l ̇ L c đ CSDL quan h • T p h p l c đ quan h S = {R1, R2, , Rm} • T p h p RBTV IC ̇ Tr ng thái CSDL quan h c a S • T p h p tr ng thái quan h DB = {r1, r2, , rm}, v i ri tr ng thái c a Ri - Các ri ph i th a RBTV IC • Tr ng thái h p l n u th a m i RBTV ̇ CSDL quan h • L c đ CSDL quan h S + Tr ng thái CSDL c a S c đ CSDL quan h (2) CSDL l NHANVIEN Ho Ten MaNV Ngaysinh Gioitinh Diachi Luong MaGSat MaPB PHONGBAN TenPB MaPB TRUSO_PHONG TrPhong NgayNhChuc MaPB THAMGIA DUAN MaNV MaDA SoGio TenDA MaDA Diadiem Truso PhongQL THANNHAN MaNV Ten Gioitinh NgaySinh Quanhe Mô hình d li u quan h RBTV th c th tham chi u (1) ̇ RBTV th c th • Các giá tr c a khóa không th giá tr r ng • Xác đ nh t ng quan h ̇ RBTV tham chi u • M t b quan h R tham chi u đ n m t b quan h S b S ph i t n t i tr c • Xác đ nh gi a quan h PHONGBAN MaPB NHANVIEN MaNV Ten TenPB Nghiên c u Ho Tran Van An Ngaysinh Gioitinh MaPB 15/4/1971 Nam RBTV th c th tham chi u (2) ̇ Khóa ngo i (Foreign Key) • T p thu c tính FK ≠ ∅ c a quan h R1 tham chi u đ n quan h R2 g i khóa ngo i c a R1 n u th a u ki n sau - Các thu c tính c a FK có mi n giá tr v i thu c tính c a khóa PK c a R2 - ∀ t1 ∈ r1(R1), ∃ t2 ∈ r2(R2) t1[FK] = t2[PK] ̇ Nh n xét • Có nhi u RBTV tham chi u m t CSDL • Trong m t l c đ , m t thu c tính v a có th tham gia vào khóa chính, v a có th tham gia vào khóa ngo i • Khóa ngo i có th tham chi u đ n khóa m t l c đ • Có th có nhi u khóa ngo i tham chi u đ n m t khóa • Trong l c đ CSDL, RBTV tham chi u đ c bi u di n b ng cung t khóa ngo i đ n khóa đ c tham chi u Mô hình d li u quan h RBTV th c th tham chi u (3) NHANVIEN Ho Ten MaNV Ngaysinh Gioitinh Diachi Luong MaGSat MaPB PHONGBAN TRUSO_PHONG TenPB MaPB TrPhong NgayNhChuc MaPB THAMGIA DUAN MaNV MaDA SoGio TenDA MaDA Diadiem Truso PhongQL THANNHAN MaNV Ten Gioitinh NgaySinh Quanhe Chuy n t ER, EER sang Quan h ̇ M c đích • Thi t k l c đ quan h d a thi t k m c khái ni m ̇ ER → Quan h Chuy Chuy Chuy Chuy Chuy Chuy Chuy nđ nđ nđ nđ nđ nđ nđ i ki u th c th m nh i ki u th c th y u i ki u liên k t 1:1 i ki u liên k t 1:N i ki u liên k t M:N i thu c tính đa tr i ki u liên k t b c cao ̇ EER → Quan h Chuy n đ i CBH, TQH Mô hình d li u quan h 10 Chuy n đ i ki u th c th m nh Gioitinh Ho Luong Ngaysinh Ten Hoten Maso NHANVIEN NHANVIEN MaNV Ho Ten Ngaysinh Gioitinh Luong Chuy n đ i ki u th c th y u (1) Quanhe Maso Gioitinh NHANVIEN PHU THUOC N THANNHAN Ngaysinh Ten NHANVIEN MaNV Ho Luong THANNHAN MaNV Ten Gioitinh NgaySinh Quanhe Mô hình d li u quan h 11 Chuy n đ i ki u th c th y u (2) Soluong MaNCC NHACUNGCAP N CC CUNGCAP MaDA N CD DUAN N CV NHACUNGCAP MaNCC VATTU MaVT DUAN CUNGCAP MaDA MaNCC MaDA MaVT Soluong VATTU MaVT Chuy n đ i ki u liên k t 1:1 (1) NHANVIEN QUANLY NgayNhChuc PHONGBAN MaPB TenPB NHANVIEN MaNV Ho Luong PHONGBAN MaPB TenPB TrPhong NgayNhChuc Mô hình d li u quan h 12 Chuy n đ i ki u liên k t 1:1 (2) NHANVIEN MaNV Ho PHONGBAN Luong QlyPB NgayNhChuc PHONGBAN MaPB NHANVIEN MaNV Ho MaPB TenPB TenPB Nghiên c u QlyPB NgNhChuc Tran Van 1/3/1998 Nguyen Van null null Le Quang null null Nguyen Thi null null Chuy n đ i ki u liên k t 1:1 (3) CLB Ten NamThLap SOHUU Socho SVD Ten ThPho CLB TenCLB NamThLap TenSVD ThPho Socho Mô hình d li u quan h 13 Chuy n đ i ki u liên k t 1:1 (4) SINHVIEN THUCHIEN DOAN TenDA MaSV ThGian SINHVIEN DOAN MaSV TenDA ThGian THUCHIEN MaSV TenDA Chuy n đ i ki u liên k t 1:N NHANVIEN N LAMVIEC PHONGBAN NHANVIEN MaNV Ho Luong MaPB PHONGBAN MaPB TenPB TrPhong NgayNhChuc Mô hình d li u quan h 14 Chuy n đ i ki u liên k t M:N M NHANVIEN THAMGIA N DUAN SoGio NHANVIEN MaNV Ho DUAN TenDA MaDA THAMGIA MaNV MaDA SoGio Chuy n đ i thu c tính đa tr TenPB Truso MaPB PHONGBAN MaPB TenPB PHONGBAN TRUSO_PHONG MaPB Mô hình d li u quan h Truso 15 Chuy n đ i ki u liên k t b c cao Soluong Ten CUNGCAP NHACUNGCAP DUAN Ten VATTU NHACUNGCAP Ten Maso DUAN Ten CUNGCAP VATTU TenNCC TenDA MaVT Soluong Maso Chuy n đ i CBH, TQH Ho Ngaysinh Ten KYSUPHANMEM Chuyenmon Hoten NHANVIEN KYTHUAT d Capbac Maso BANHANG Dinhmuc KYSUPHANMEM KYTHUAT BANHANG MaNV Chuyenmon MaNV Capbac MaNV Dinhmuc NHANVIEN MaNV Mô hình d li u quan h Ho 16 [...]... n đ i ki u th c th y u (2) Soluong MaNCC NHACUNGCAP 1 N CC CUNGCAP MaDA N CD 1 DUAN N CV NHACUNGCAP MaNCC 1 VATTU MaVT DUAN CUNGCAP MaDA MaNCC MaDA MaVT Soluong VATTU MaVT Chuy n đ i ki u liên k t 1:1 (1) 1 NHANVIEN QUANLY 1 NgayNhChuc PHONGBAN MaPB TenPB NHANVIEN MaNV Ho Luong PHONGBAN MaPB TenPB TrPhong NgayNhChuc Mô hình d li u quan h 12 Chuy n đ i ki u liên k t 1:1 (2) NHANVIEN MaNV Ho PHONGBAN... hình d li u quan h 12 Chuy n đ i ki u liên k t 1:1 (2) NHANVIEN MaNV Ho PHONGBAN Luong QlyPB NgayNhChuc PHONGBAN MaPB 5 NHANVIEN MaNV Ho MaPB TenPB TenPB Nghiên c u QlyPB NgNhChuc 1 Tran Van 5 1/3/1998 2 Nguyen Van null null 3 Le Quang null null 4 Nguyen Thi null null Chuy n đ i ki u liên k t 1:1 (3) 1 CLB Ten NamThLap SOHUU 1 Socho SVD Ten ThPho CLB TenCLB NamThLap TenSVD ThPho Socho Mô hình d li u