Bài giảng cơ sở dữ liệu chương 2 ths lê ngọc lãm

Chương MƠ HÌNH DỮ LIỆU QUAN HỆ (RELATIONAL MODEL)     MỘT SỐ KHÁI NIỆM CÁC PHÉP TOÁN ĐẠI SỐ QUAN HỆ PHỤ THUỘC HÀM RÀNG BUỘC TOÀN VẸN Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu Ví dụ Cách quản lý thông tin sinh viên đăng ký môn học sau: Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu Ví dụ (tt) Những hạn chế khắc phục tổ chức liệu theo mơ hình sau: Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu MỘ SỐ KHÁI NIỆM    THUỘC TÍNH (ATTRIBUTE) MIỀN GIÁ TRỊ CỦA THUỘC TÍNH (DOMAIN) BỘ (TUBLE hay RECORD) LOAI_DAT 001 LUC Trần văn Thành 1.050 002 BHK Nguyễn Thị Bé 2.500 003 ONT Lê Thanh Nam 500 Thursday, July 03, 2014 TEN_CSD DIEN_TICH (M2) SO_THUA ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu MỘ SỐ KHÁI NIỆM    Thuộc tính: tính chất để mơ tả đối tượng hay nói cách khác đối tượng mơ tả thơng qua thuộc tính Miền giá trị: Thuộc tính chuỗi ký tự số ngày tháng năm Ngồi cịn giá trị tiền tệ hay đơn vị đo lường Tập hợp giá trị gọi Miền giá trị thuộc tính Bộ: Tập hợp thuộc tính mô tả đối tượng gọi Bộ Như nói đối tượng cụ thể Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu MỘ SỐ KHÁI NIỆM  QUAN HỆ (RELATIONSHIP) Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu Lược đồ quan hệ Tập tất thuộc tính cần quản lý đối tượng với mối liên hệ chúng gọi lược đồ quan hệ Lược đồ quan hệ Q với tập thuộc tính {A1,A2, ,An} viết Q(A1,A2, ,An) Tập thuộc tính Q ký hiệu Q+ Chẳng hạn lược đồ quan hệ sinh viên (Đặt tên Sv) với thuộc tính là: Sv(MASV, HOSV,TENSV,NU, NGAYSINH, MALOP, HOCBONG, TINH) Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu QUAN HỆ Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu Khóa - Khóa ngọai Quan hệ    Siêâu khóa Khóa Khóa ngọai Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu Khóa - Khóa ngọai Quan hệ    Siêu khố: tập thuộc tính để phân biệt đối tượng với quan hệ Khoá: Trong trường hợp siêu khoá bao gồm thuộc tính gọi khố Các thuộc tính siêu khố gọi thuộc tính khố Thuộc tính khố thường đóng vai trị liên kết quan hệ với Khoá ngoại: Trong trường hợp quan hệ liên kết với thơng qua thuộc tính thuộc tính đóng vai trị khố quan hệ xác định khố ngoại quan hệ lại Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 10 Chương MỘT SỐ KHÁI NIỆM  CÁC PHÉP TỐN ĐẠI SỐ QUAN HỆ  RÀNG BUỘC TỒN VẸN  PHỤ THUỘC HÀM  Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 41 Phụ thuộc hàm (Functional dependency)    Phụ thuộc hàm biểu diễn ràng buộc toàn vẹn hình thức tốn học để bảo đảm thơng tin không bị tổn thất phân rã kết nối quan hệ Cho Q quan hệ Q+ tập thuộc tính Q; X,Y Q+, XY( :tập rỗng) Ta nói: X xác định Y hay Y phụ thuộc hàm vào X, ký hiệu:X Y nếu: (luôn xác định trường hợp cụ thể Y cho trường hợp cụ thể X) q1,q2Q+:q1*X=q2*Xq1Y=q2Y Số PTH cĩ thể cĩ Q(A1, A2…An) 22n Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 42 Phụ thuộc hàm – ví dụ Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 43 Phụ thuộc hàm – ví dụ Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 44 Phụ thuộc hàm(ví dụ)  MASV → TEN_SV: Mỗi mã sv có tên MAMH → TEN_MH: Mỗi mã mơn học có tên  MSGV → TEN_GV: Mỗi mã giáo viên có  mã số cơng chức  SHTHUA → TEN_CSD: Mỗi số có tên chủ sử dụng Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 45 Phụ thuộc hàm(ví dụ) Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 46 Phụ Thuộc Hàm – ví dụ Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 47 Phụ Thuộc Hàm   Chú ý : Phụ thuộc hàm X xác định Y liên quan đến tất giá trị có X Y bảng dựa vài giá trị Thực chất phụ thuộc hàm xác định biết nghĩa thuộc tính X Y Việc xác định phụ thuộc hàm dựa vào giới thực mô tả lược đồ khái niệm Xác định phụ thuộc hàm phần quan trọng trình hiểu ý nghĩa sở liệu Chính người quản trị sở liệu thực cơng việc Ngịai cịn có phụ thuộc hàm nhiều thực thể Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 48 Phụ Thuộc Hàm – ví dụ Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 49 Tính chất phụ thuộc hàm Cho quan hệ Q với tập thuộc tính Q+, X, Y, Z thuộc Q+ * Tính chất 1: Tính phản xạ: Nếu Y XXY (Y = X) Ví dụ: SOTO_BD, SO_THUA  SO_THUA * Tính chất 2: Tính thêm vào Nếu X Y X Z  Y Z (X Z= XZ) * Tính chất 3: Tính bắc cầu: Nếu X Y Y  Z X  Z Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 50 Tính chất phụ thuộc hàm Ba tính chất nội dung hệ tiên đề Amstrong đưa năm 1974 Từ ba tính chất ta suy diễn số phụ thuộc hàm khác gọi luật dẫn suy diễn Trong sở liệu với tập phụ thuộc hàm F, giả sử f phụ thuộc hàm suy từ F Nếu phụ thuộc hàm F kiểm tra F hiển nhiên Ví dụ: Xét sở liệu sau: DANGKY(SOTO_BD, SO_THUA, CHU_SD, L_.DAT, D_TICH, DT_SD) với phụ thuộc hàm sau: f1: SOTO_BD, SO_THUA CHU_SD, L_DAT, D_TICH f2: CHU_SD  DT_SD f3: SOTO_BD, SO_THUA  DT_SD Qua ta thấy phụ thuộc hàm f3 suy từ phụ thuộc hàm f1 f2 thông qua tính chất bắc cầu Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 51 Một số luật dẫn suy diễn 1) Luật phân rã: Nếu XY Z  Y X Z Chứng minh: Z  Y  YZ (phản xạ), mà XY  X  Z (bắc cầu) Ví dụ: Cho quan hệ: DVDAT(SO_DV, D_TICH, L_DAT, DO_DOC, T_DAY, N_NUOC, HT_SDD) khóa SO_DV SODV D_TICH, L_DAT, T_DAY, N_NUOC, HT_SDD Nếu biết số đơn vị đất đai biết tất thơng tin khác có liên quan đến đơn vị SO_DVL_DAT, D_TICH (Chỉ muốn biết lọai đất diện tích đơn vị đó) Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 52 Một số luật dẫn suy diễn 2) Luật băc cầu giả: Nếu XY WYZ  WX  Z Chứng minh: Ta có: W  W XY  W XWY ( Thêm vào) mà WY Z  WX  Z(bắc cầu) Ví dụ : Có hai quan hệ sau: KEHOACH( G_VIEN, M_HOC, GIAM_THI, NG_THI) thể việc phân công gác thi cho giám thị với số quy tắc quản lý sau: QT1: G_VIEN  M_HOC: giáo viên dạy môn học QT2: M_HOC, NG_THI  GIAM_THI: môn học giám thị gác thi vào ngày Do G_VIEN M_HOC  G_VIEN, NG_THI M_HOC, NG_THI Do đó: G_VIEN,NG_THI  GIAM_THI Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 53 Một số luật dẫn suy diễn 3) Luật hội: Cho XY XZ  X YZ Chứng minh: XY XXY ( thêm vào) XZ  XYZY (thêm vào)  XYZ(bắc cầu) Bài tập: Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 54 NỘI DUNG CHƯƠNG TRÌNH NHẬP MƠN CƠ SỞ DỮ LIỆU  CƠ SỞ DỮ LIỆU QUAN HỆ  CHUẨN HỐ CƠ SỞ DỮ LỊÊU  PHÂN TÍCH VÀ THIẾT KẾ HỆ THỐNG  CƠ SỞ DỮ LIỆU TÀI NGUYÊN ĐẤT ĐAI  CƠ SỞ DỮ LIỆU KHÔNG GIAN  Thursday, July 03, 2014 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 55 ... 20 14 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 23 Phép liên kết(ví dụ) Ai = Dj Thursday, July 03, 20 14 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 24 Câu lệnh SQL Thursday, July 03, 20 14 ThS Lê Ngọ Ngọc. .. 03, 20 14 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 45 Phụ thuộc hàm(ví dụ) Thursday, July 03, 20 14 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 46 Phụ Thuộc Hàm – ví dụ Thursday, July 03, 20 14 ThS Lê. .. tênQuanHệ.tênThuộcTính Thursday, July 03, 20 14 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 26 Truy vấn chọn – ví dụ Thursday, July 03, 20 14 ThS Lê Ngọ Ngọc Lãm Cơ Sở Sở Dữ Liệ Liệu 27 Truy vấn nhóm      