Đang tải... (xem toàn văn)
Bài giảng Cơ sở dữ liệu: Chương 3 - Mô hình dữ liệu bao gồm những nội dung về 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 và ER mở rộng. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này.
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 ngun 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 khơng có b trùng Th t c a b quan h • V m t tốn h c, gi a b quan h khơng có 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 tồ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 ... 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... - 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 -. .. 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