Bài giảng Cơ sở dữ liệu: Xác định khóa của các quan hệ trình bày một số nội dung chủ yếu sau: Xác định khóa chính của các quan hệ, xác định khóa ngoại của các quan hệ, vẽ lược đồ cơ sở dữ liệu (Diagram). Mời các bạn cùng tham khảo để nắm bắt các thông tin chi tiết.
Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Tốn – Tin Học CƠ SỞ DỮ LIỆU Xác định khóa quan hệ Trần Ngọc Bảo Email: tnbao.dhsp@gmail.com Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Tốn – Tin Học CƠ SỞ DỮ LIỆU XÁC ĐỊNH KHÓA CỦA CÁC QUAN HỆ • Xác định khóa quan hệ • Xác định khóa ngoại quan hệ • Vẽ lược đồ CSDL (Diagram) Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Tốn – Tin Học CƠ SỞ DỮ LIỆU XÁC ĐỊNH KHÓA CỦA CÁC QUAN HỆ • Xác định khóa quan hệ • Xác định khóa ngoại quan hệ • Vẽ lược đồ CSDL (Diagram) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ Phòng giáo vụ trường Đại học muốn tin học hóa việc quản lý đăng ký học chuyên đề sinh viên Kết phân tích thiết kế mơ hình CSDL quan hệ sau: SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ: Mỗi sinh viên có mã số (MASV), họ tên (HOTEN), thuộc phái (PHAI), có ngày sinh (NGAYSINH), có địa (DCHI), học ngành (MANGANH) Xác định khóa quan hệ SINHVIEN ? TR ẦN NG ỌC B ẢO ÁN TIN TIN H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (4) (4) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUN ĐỀ Khố gọi tắt Khóa quan hệ Q tập thuộc tính K ⊆Q, cho ∀q1,q2 ⊆ TQ, q1 ≠ q2 ⇔ q1[K] ≠ q2[K] Ví dụ: cho quan hệ SinhVien(MaSV,TenSV,Nam,Khoa) với thuộc tính MaSV khóa Ỉhai sinh viên khơng phép có mã số giống ⇔ dịng (bộ) quan hệ sinh viên phải có thuộc tính mã sinh viên khác ⇔ sinh viên có mã số TR ẦN NG ỌC B ẢO ÁN TIN TIN H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (5) (5) MaSV BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ TenSV Nam Khoa K28.103.001 Trần Quốc Thanh CNTT K28.101.001 Nguyễn Công Phú TOAN K28.101.002 Phan Anh Khanh TOAN K27.101.001 Phạm Khánh Như TOAN K26.102.001 Trần Ngọc Dung VLY K25.201.001 Phạm Khánh Như HOA K28.103.001 Hàn Quốc Việt HOA Khơng hợp lệ, MaSV thuộc tính Khóa Hợp lệ, TenSV khơng phải thuộc tính Khóa TR ẦN NG ỌC B ẢO ÁN TIN TIN H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (6) (6) Tóm lại thuộc tính Khóa thuộc tính có BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI TẬP QUẢN LÝ SINH VIÊN giá trị cho Ví dụ: cho quan hệ SinhVien(MaSV,TenSV,Nam,Khoa) với thuộc tính MaSV khóa Ỉhai sinh viên khơng phép có mã số giống ⇔ dịng (bộ) quan hệ sinh viên phải có thuộc tính mã sinh viên khác ⇔ sinh viên có mã số Để xác định khóa cho quan hệ ? Tìm thuộc tính “là nhất” mơ tả Tân từ Cho vài thể quan hệ, dựa thể để xác định khóa quan hệ TR ẦN NG ỌC B ẢO ÁN TIN TIN H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (7) (7) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ Phòng giáo vụ trường Đại học muốn tin học hóa việc quản lý đăng ký học chuyên đề sinh viên Kết phân tích thiết kế mơ hình CSDL quan hệ sau: SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) Tân từ: Mỗi sinh viên có mã số (MASV), họ tên (HOTEN), thuộc phái (PHAI), có ngày sinh (NGAYSINH), có địa (DCHI), học ngành (MANGANH) Xác định khóa quan hệ SINHVIEN ? Mỗi sinh viên có mã số (MASV) Ỉ MaSV khóa quan hệ SINHVIEN SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) TR ẦN NG ỌC B ẢO ÁN TIN TIN H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (8) (8) NGANH(MANGANH, TENNGANH, SOCD, TSSV) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ Tân từ: Mỗi ngành có mã (MANGANH), có tên (TENNGANH) SOCD số lượng chuyên đề mà sinh viên theo học ngành có mã ngành có MANGANH phải học TSSV cho biết tổng số sinh viên theo học ngành Xác định khóa quan hệ NGANH ? Mỗi ngành có mã số (MANGANH) Mỗi ngành có tên (TENNGANH) ỈChọn thuộc tính làm khóa ? MANGANH hay TENNGANH ? Ỉ Cho thể quan hệ NGANH để xác định Khóa TR ẦN NG ỌC B ẢO ÁN TIN TIN H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (9) (9) NGANH(MANGANH, TENNGANH, SOCD, TSSV) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ MANGANH TENNGANH SOCD TSSV SP103 Sư Phạm Tin học 800 SP101 Sư Phạm Tốn 1000 SP201 Sư Phạm Hóa 1500 SP102 Sư Phạm Lý 1200 CNTT Khoa học máy tính 160 SP104 Sư Phạm Lý 1000 SP103 Sư phạm Anh 1100 Khơng hợp lệ, MANGANH Khơng hợp lệ, TENNGANH TR ẦN NG ỌC B ẢO ÁN TIN TIN10 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (10) (10) Tìm khóa ngoại quan hệ CD_NGANH BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) Bi u diễn mối liên hệ gi ữa CD_NGANH CHUYENDE ểCD_MO(MACD, NAM, HOCKY) DANGKY(MASV, MACD, NAM, HOCKY) CD_NGANH MACD = MACD MACD MANGANH CHUYENDE MACD TR ẦN NG ỌC B ẢO ÁN TIN TIN40 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (40) (40) Tìm khóa ngoại quan hệ CD_NGANH BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) DANGKY(MASV, MACD, NAM, HOCKY) TR ẦN NG ỌC B ẢO ÁN TIN TIN41 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (41) (41) Khóa ngoại quan hệ CD_NGANH BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) NGANH MANGANH MANGANH = MANGANH CD_NGANH MACD DANGKY(MASV, MACD, NAM, HOCKY) MANGANH MACD = MACD CHUYENDE MACD TR ẦN NG ỌC B ẢO ÁN TIN TIN42 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (42) (42) Tìm khóa ngoại quan hệ CD_MO BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) Biể u diễn mối liên hệNAM, CD_MO DANGKY(MASV, MACD, HOCKY) CD_MO MACD NAM HOCKY MACD = MACD CHUYENDE CHUYENDE MACD TR ẦN NG ỌC B ẢO ÁN TIN TIN43 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (43) (43) Tìm khóa ngoại quan hệ DANGKY BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) DANGKY(MASV, MACD, NAM, HOCKY) Biểu diễn mối liên hệ DANGKY SINHVIEN DANGKY MASV MACD NAM HOCKY SINHVIEN MASV = MASV MASV MANGANH TR ẦN NG ỌC B ẢO ÁN TIN TIN44 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (44) (44) Tìm khóa ngoại quan hệ DANGKY BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) DANGKY(MASV, MACD, NAM, HOCKY) Biểu diễn mối liên hệ DANGKY CD_MO DANGKY MASV MACD NAM HOCKY MACD = MACD NAM = NAM HOCKY = HOCKY CD_MO MACD NAM HOCKY TR ẦN NG ỌC B ẢO ÁN TIN TIN45 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (45) (45) Khóa ngoại quan hệ DANGKY BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) CD_MO(MACD, NAM, HOCKY) DANGKY(MASV, MACD, NAM, HOCKY) DANGKY SINHVIEN MASV MANGANH MASV = MASV MASV MACD NAM HOCKY MACD = MACD NAM = NAM HOCKY = HOCKY CD_MO MACD NAM HOCKY TR ẦN NG ỌC B ẢO ÁN TIN TIN46 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (46) (46) Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Toán – Tin Học CƠ SỞ DỮ LIỆU XÁC ĐỊNH KHĨA CỦA CÁC QUAN HỆ • Xác định khóa quan hệ • Xác định khóa ngoại quan hệ • Vẽ lược đồ CSDL (Diagram) Vẽ lược đồ CSDL (Diagram): tập hợp tất BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ mối liên kết (khóa ngoại) quan hệ xác định phần khóa ngoại TR ẦN NG ỌC B ẢO ÁN TIN TIN48 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (48) (48) Khóa ngoại quan hệ SINHVIEN BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) Biểu diễn mối liên hệ SINHVIEN NGANH SINHVIEN MANGANH = MANGANH MASV MANGANH NGANH MANGANH • : Primary Key = Khóa • : Foreign Key = Khóa ngoại TR ẦN NG ỌC B ẢO ÁN TIN TIN49 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (49) (49) Khóa ngoại quan hệ CD_NGANH BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) NGANH MANGANH MANGANH = MANGANH CD_NGANH MACD DANGKY(MASV, MACD, NAM, HOCKY) MANGANH MACD = MACD CHUYENDE MACD TR ẦN NG ỌC B ẢO ÁN TIN TIN50 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (50) (50) Khóa ngoại quan hệ CD_MO BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) NGANH (MANGANH, TENNGANH, SOCD, TSSV) CHUYENDE (MACD, TENCD, SOSVTD) CD_NGANH (MACD, MANGANH) CD_MO(MACD, NAM, HOCKY) Biể u diễn mối liên hệNAM, CD_MO DANGKY(MASV, MACD, HOCKY) CD_MO MACD NAM HOCKY MACD = MACD CHUYENDE CHUYENDE MACD TR ẦN NG ỌC B ẢO ÁN TIN TIN51 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (51) (51) Khóa ngoại quan hệ DANGKY BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) CD_MO(MACD, NAM, HOCKY) DANGKY(MASV, MACD, NAM, HOCKY) DANGKY SINHVIEN MASV MANGANH MASV = MASV MASV MACD NAM HOCKY MACD = MACD NAM = NAM HOCKY = HOCKY CD_MO MACD NAM HOCKY TR ẦN NG ỌC B ẢO ÁN TIN TIN52 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (52) (52) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ CHUYÊN ĐỀ Lược đồ CSDL ứng dụng quản lý chuyên đề TR ẦN NG ỌC B ẢO ÁN TIN TIN53 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (53) (53) BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI TẬP XÁC ĐỊNH KHÓA TR ẦN NG ỌC B ẢO ÁN TIN TIN54 H ỌC ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO KHOA KHOA TO TOÁN HỌC Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM (54) (54) ... SỞ DỮ LIỆU XÁC ĐỊNH KHÓA CỦA CÁC QUAN HỆ • Xác định khóa quan hệ • Xác định khóa ngoại quan hệ • Vẽ lược đồ CSDL (Diagram) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN LÝ... CƠ SỞ DỮ LIỆU XÁC ĐỊNH KHÓA CỦA CÁC QUAN HỆ • Xác định khóa quan hệ • Xác định khóa ngoại quan hệ • Vẽ lược đồ CSDL (Diagram) Đại Học Sư Phạm Tp Hồ Chí Minh Khoa Tốn – Tin Học CƠ SỞ DỮ LIỆU XÁC... định khóa quan hệ • Xác định khóa ngoại quan hệ • Vẽ lược đồ CSDL (Diagram) SINHVIEN (MASV, HOTEN, PHAI, NGAYSINH, DCHI, MANGANH) BÀI TẬP XÁC ĐỊNH KHÓA BÀI GIẢNG HỌC PHẦN CƠ SỞ DỮ LIỆU BÀI 1: QUẢN