Bài giảng cơ sở dữ liệu bài 2 GV dương khai phong

BUỔI Bài (tt): Mơ hình thực thể mối kết hợp (Entity–RelationShip Model) Bài 3: Mơ hình liệu quan hệ (Relational Data Model) Khoa HTTT - Dương Khai Phong Bài 2: (tt) Mơ hình thực thể mối kết hợp Giới thiệu Loại thực thể, thực thể Thuộc tính loại thực thể Khoá loại thực thể Loại mối kết hợp, mối kết hợp Thuộc tính loại mối kết hợp Bản số Mơ hình ER mở rộng Khoa HTTT - Dương Khai Phong Giới thiệu Mô hình thực thể mối kết hợp (EntityRelationship Model viết tắc ER) CHEN giới thiệu năm 1976 Mơ hình ER sử dụng nhiều thiết kế liệu mức quan niệm Khoa HTTT - Dương Khai Phong Loại thực thể Định nghĩa: loại thực thể (Entity Type) loại đối tượng hay vật giới thực tồn cụ thể cần quản lý Ví dụ : HOCVIEN, LOP, MONHOC, … Ký hiệu: HOCVIEN LOP Khoa HTTT - Dương Khai Phong Thuộc tính loại thực thể (Entity Attribute) Định nghĩa: thuộc tính tính chất đặc trưng loại thực thể cần lưu trữ Ví dụ: Loại thực thể HOCVIEN có thuộc tính: Mã học viên, họ tên, giới tính, ngày sinh, nơi sinh Ký hiệu: Mahv HOCVIEN Hoten Gioitinh Ngaysinh Noisinh Khoa HTTT - Dương Khai Phong Thuộc tính loại thực thể (Entity Attribute) Đơn trị (Simple): thực thể có giá trị ứng với thuộc tính Ví dụ: Mahv,Hoten Đa hợp (Composite): thuộc tính tạo thành từ nhiều thành phần Ví dụ: DCHI(SONHA,DUONG,PHUONG,QUAN) hay thuộc tính HOTEN(HO,TENLOT,TEN) Đa trị (Multi-valued): thuộc tính có nhiều giá trị thực thể Ví dụ: BANGCAP ký hiệu {BANGCAP} Khoa HTTT - Dương Khai Phong Thuộc tính loại thực thể (Entity Attribute) Tóm lại, thuộc tính đa hợp đa trị lồng tùy ý  Ví dụ: thuộc tính BANGCAP HOCVIEN thuộc tính đa hợp ký hiệu {BANGCAP(TRUONGCAP,NAM,KETQUA, CHUYENNGANH)} Khoa HTTT - Dương Khai Phong Khoá loại thực thể (entity type key) Khóa loại thực thể thuộc tính nhận diện thực thể Căn vào giá trị khóa xác định thực thể Ví dụ:  Mỗi học viên có mã số => Khoá loại thực thể HOCVIEN Mã học viên Khoa HTTT - Dương Khai Phong Loại mối kết hợp (relationship type) Định nghĩa: loại mối kết hợp kết hợp hai hay nhiều loại thực thể Ví dụ: hai loại thực thể HOCVIEN LOP có loại mối kết hợp THUOC Ký hiệu: hình oval hình thoi HOCVIEN Thuoc Khoa HTTT - Dương Khai Phong LOP Loại mối kết hợp (relationship type) Giữa hai loại thực thể tồn nhiều loại mối kết hợp Ví dụ Thuộc HOCVIEN LOP Là trưởng lớp Khoa HTTT - Dương Khai Phong 10 Các khái niệm: 7.1 7.2 7.3 7.4 Khóa Siêu khóa (super key) Khóa (key) Khóa (primary key) Khóa ngoại (foreign key) Khoa HTTT - Dương Khai Phong 38 Các khái niệm: 7.1 Siêu khóa (super key) Siêu khóa : tập thuộc tính tập thuộc tính Q+ mà giá trị chúng phân biệt khác thể TQ Nghĩa là:  t1, t2  TQ, t1[K] t2[K] K siêu khóa Q Một quan hệ có siêu khóa (Q+) có nhiều siêu khóa Khoa HTTT - Dương Khai Phong 39 7.1 Siêu khóa (super key) Các khái niệm: HOCVIEN Mahv K1103 Gioitinh Nam Noisinh Nghe An Malop K11 K1102 HoTen Ha Duy Lap Tran Ngoc Han Nu Kien Giang K11 K1104 Tran Ngoc Linh Nu Tay Ninh K11 K1105 Tran Minh Long Nam TpHCM K11 K1106 Le Nhat Minh Nam TpHCM K11 Ví dụ: Xét tập thuộc tính sau có siêu khoá? {Mahv,HoTen,Gioitinh,NoiSinh,MaLop} {Malop} {Mahv} … Khoa HTTT - Dương Khai Phong 40 Các khái niệm: 7.2 Khóa (key) Khóa : K khóa quan hệ R, thỏa mãn điều kiện: K siêu khóa K siêu khóa “nhỏ nhất” (chứa thuộc tính khác rỗng) nghĩa ¬K1 K, K1  , K1 siêu khóa Thuộc tính tham gia vào khóa gọi thuộc tính khóa, ngược lại thuộc tính khơng khóa Khoa HTTT - Dương Khai Phong 41 Các khái niệm: 7.2 Khóa (key) Ví dụ: siêu khóa quan hệ HOCVIEN là: {Mahv};{Mahv,Hoten};{Hoten};{Hoten,Gioitinh}; {Noisinh,Hoten};{Mahv,Hoten,Gioitinh,Noisinh} … => khóa quan hệ HOCVIEN {Mahv}; {Hoten} Ví dụ: khóa quan hệ GIANGDAY K={Magv,Mamh,Malop} Như thuộc tính khóa là: Magv,Mamh,Malop Khoa HTTT - Dương Khai Phong 42 Các khái niệm: 7.3 Khóa (primary key) Khi cài đặt DBMS cụ thể, quan hệ có nhiều khóa, ta chọn gọi khóa Ký hiệu: thuộc tính nằm khóa liệt kê quan hệ phải gạch Ví dụ:   HOCVIEN (Mahv,Hoten,Gioitinh,Noisinh,Malop) GIANGDAY(Magv,Mamh,Malop,Hocky,Nam) Khoa HTTT - Dương Khai Phong 43 Các khái niệm: 7.4 Khóa ngoại (Foreign key) Cho R(U), S(V) K1U khóa R,K2V Ta nói K2 khóa ngoại S tham chiếu đến khóa K1 R thỏa điều kiện sau:    K1 K2 có số lượng thuộc tính ngữ nghĩa thuộc tính K1 K2 giống Giữa R S tồn mối quan hệ 1-n K1 K2, s  S, !r  R cho r.K1=s.K2 Khoa HTTT - Dương Khai Phong 44 Các khái niệm: 7.4 Khóa ngoại (Foreign key) Ví dụ, cho quan hệ LOP (Malop,Tenlop,Siso,Khoahoc) HOCVIEN (Mahv,Hoten,Gioitinh,Noisinh,Malop) Malop Thuộc tính Malop quan hệ LOP khóa quan hệ LOP Thuộc tính Malop quan hệ HOCVIEN khóa ngoại, tham chiếu đến Malop quan hệ LOP Khoa HTTT - Dương Khai Phong 45 7.4 Khóa ngoại (Foreign key) Các khái niệm: HOCVIEN Mahv HoTen Gioitinh Noisinh Malop K1103 Ha Duy Lap Nam Nghe An K11 K1102 Tran Ngoc Han Nu Kien Giang K11 K1104 Tran Ngoc Linh Nu Tay Ninh K11 K1105 Tran Minh Long Nam TpHCM K11 K1106 Le Nhat Minh Nam TpHCM K11 LOP Malop Tenlop Trglop Siso Magvcn K11 Lop khoa K1106 11 GV07 K12 Lop khoa K1205 12 GV09 K13 Lop khoa K1305 12 GV14 Khoa HTTT - Dương Khai Phong 46 Các khái niệm: Lược đồ quan hệ Lược đồ quan hệ nhằm mục đích mơ tả cấu trúc quan hệ mối liên hệ thuộc tính quan hệ Cấu trúc quan hệ tập thuộc tính hình thành nên quan hệ Một lược đồ quan hệ gồm:   Một tập thuộc tính quan hệ Mô tả tân từ để xác định ý nghĩa mối liên hệ thuộc tính Khoa HTTT - Dương Khai Phong 47 Các khái niệm: Lược đồ quan hệ Lược đồ quan hệ đặc trưng bởi:  Một tên phân biệt  Một tập hợp hữu hạn thuộc tính (A1 ,…, An) Ký hiệu lược đồ quan hệ Q gồm n thuộc tính (A1, A2, An) :  Q(A1, A2 , , An) Khoa HTTT - Dương Khai Phong 48 Các khái niệm: Lược đồ quan hệ HOCVIEN(Mahv,Hoten,Gioitinh,Noisinh,Ma lop Tân từ: học viên có mã học viên để phân biệt với học viên khác Cần lưu trữ họ tên, giới tính, nơi sinh thuộc lớp HOCVIEN Mahv HoTen Gioitinh Noisinh Malop K1103 Ha Duy Lap Nam Nghe An K11 K1102 Tran Ngoc Han Nu Kien Giang K11 K1104 Tran Ngoc Linh Nu Tay Ninh K11 K1105 Tran Minh Long Nam TpHCM K11 K1106 Le Nhat Minh Nam TpHCM K11 Khoa HTTT - Dương Khai Phong 49 Các khái niệm: Lược đồ CSDL Là tập hợp gồm lược đồ quan hệ mối liên hệ chúng hệ thống quản lý Các CSDL Hệ Quản Trị CSDL Các quan hệ Khoa HTTT - Dương Khai Phong 50 Các khái niệm: Lược đồ CSDL HOCVIEN (MAHV, HO,TEN, NGSINH, GIOITINH, NOISINH, MALOP) Tân từ: học viên phân biệt với mã học viên, lưu trữ họ tên, ngày sinh, giới tính, nơi sinh, thuộc lớp LOP (MALOP, TENLOP, TRGLOP, SISO, MAGVCN) Tân từ: lớp gồm có mã lớp, tên lớp, học viên làm lớp trưởng lớp, sỉ số lớp giáo viên chủ nhiệm KHOA (MAKHOA, TENKHOA, NGTLAP, TRGKHOA) Tân từ: khoa cần lưu trữ mã khoa, tên khoa, ngày thành lập khoa trưởng khoa (cũng giáo viên thuộc khoa) MONHOC (MAMH, TENMH, TCLT, TCTH, MAKHOA) Tân từ: môn học cần lưu trữ tên mơn học, số tín lý thuyết, số tín thực hành khoa phụ trách DIEUKIEN (MAMH, MAMH_TRUOC) Tân từ: có mơn học học viên phải có kiến thức từ số mơn học trước Khoa HTTT - Dương Khai Phong 51 Các khái niệm: Lược đồ CSDL GIAOVIEN(MAGV, HOTEN,HOCVI,HOCHAM,GIOITINH,NGSINH,NGVL, HESO, MUCLUONG, MAKHOA) Tân từ: mã giáo viên để phân biệt giáo viên, cần lưu trữ họ tên, học vị, học hàm, giới tính, ngày sinh, ngày vào làm, hệ số, mức lương thuộc khoa GIANGDAY(MALOP,MAMH,MAGV,HOCKY, NAM,TUNGAY,DENNGAY) Tân từ: học kỳ năm học phân công giảng dạy: lớp học mơn giáo viên phụ trách KETQUATHI (MAHV, MAMH, LANTHI, NGTHI, DIEM, KQUA) Tân từ: lưu trữ kết thi học viên: học viên thi mơn học gì, lần thi thứ mấy, ngày thi ngày nào, điểm thi kết đạt hay không đạt Khoa HTTT - Dương Khai Phong 52 ... TpHCM K11 LOP Malop Tenlop Trglop Siso Magvcn K11 Lop khoa K1106 11 GV0 7 K 12 Lop khoa K 120 5 12 GV0 9 K13 Lop khoa K1305 12 GV1 4 Khoa HTTT - Dương Khai Phong 46 Các khái niệm: Lược đồ quan hệ Lược... loại thực thể yếu Khoa HTTT - Dương Khai Phong 21 Mơ hình ER mở rộng Loại thực thể yếu MONHOC (1,n) Thi (1,n) (1,n) HOCVIEN Khoa HTTT - Dương Khai Phong LANTHI 22 Bài tập Xây dựng mơ hình ER Xây... thức lý thuyết tập hợp Mơ hình TS E F Codd đưa năm 1970 Khoa HTTT - Dương Khai Phong 25 CÁC KHÁI NIỆM Khoa HTTT - Dương Khai Phong 26 Các khái niệm: Thuộc tính (attribute) Thuộc tính: tính chất riêng