Bài Giảng Cơ Sở Dữ Liệu

TRƯỜNG ĐẠI HỌC ĐÀ LẠT KHOA TỐN - TIN HỌC Y Z CƠ SỞ DỮ LIỆU (Bài giảng tóm tắt) NGƯỜI BIÊN SOẠN TẠ THỊ THU PHƯỢNG Y Đà Lạt 2009 Z MỤC LỤC Chương 1: Tổng quan sở liệu Trang I Khái niệm định nghĩa sở liệu II Mơ tả cách tiếp cận sở liệu III Người sử dụng sở liệu IV Các tính hệ quản trị sở liệu V Ngơn ngữ sở liệu Chương 2: Mơ hình thực thể - Kết hợp 10 I Q trình thiết kế sở liệu 10 II Các thành phần Mơ hình E-R 11 III Các ràng buộc liên kết 13 IV Lược đồ thực thể - kết hợp (ERD) 14 V Các tính mở rộng mơ hình E-R 15 VI Thiết kế lược đồ sở liệu E-R 16 Chương 3: Mơ hình liệu quan hệ 18 I Các khái niệm mơ hình quan hệ 18 II Chuyển lược đồ thực thể - kết hợp (ERD) sang thiết kế quan hệ 21 III Đại số quan hệ 23 IV Ngơn ngữ phép tính quan hệ 32 V Khung nhìn 35 Chương 4: Ngơn ngữ SQL 36 I Giới thiệu 36 II Định nghĩa liệu 36 III Truy vấn liệu 38 IV Cập nhật liệu 47 V Khung nhìn (view) 48 VI Chỉ mục (index) 49 Chương 5: Ràng buộc tồn vẹn 50 I Các khái niệm 50 II Phân loại 53 II.1 Ràng buộc tồn vẹn có bối cảnh lược đồ quan hệ 53 II Ràng buộc tồn vẹn có bối cảnh nhiều lược đồ quan hệ 55 III Cài đặt ràng buộc tồn vẹn 58 Chương 6: Lý thuyết thiết kế sở liệu quan hệ 60 I Mở đầu 60 II Phụ thuộc hàm 60 III Các dạng chuẩn lược đồ quan hệ 70 IV Phân rã lược đồ quan hệ dựa vào phụ thuộc hàm .73 V Phụ thuộc đa trị dạng chuẩn thứ 78 Chương 7: Tối ưu hóa câu truy vấn 82 I Mở đầu 82 II Các chiến lược tối ưu hóa 82 III Các quy tắc liên quan đến phép tốn 83 IV Kỹ thuật tối ưu hóa 85 Bài Tập 87 Bài giảng tóm tắt Cơ sở liệu Chương TỔNG QUAN VỀ CƠ SỞ DỮ LIỆU I Khái niệm định nghĩa sở liệu Ngày nay, hệ sở liệu xuất khắp nơi giới thực Chúng sử dụng để tổ chức quản lý liệu lĩnh vực ứng dụng như: - Các hoạt động kinh doanh: quản lý bán hàng (lẻ/sỉ), thương mại điện tử, ngân hàng tài chính, hệ thống đặt chỗ, lập lịch lên kế hoạch phân cơng, hệ thống phân bổ tài ngun, … - Các hoạt động khác tổ chức: thư viện, bệnh viện, phủ, trường học, phòng nghiên cứu, … Dữ liệu (Data): mơ tả hình thức kiện, khái niệm, hay thị để giúp người giao tiếp, diễn giải, xử lý thực (một cách tự động) Cơ sở Dữ liệu (Database - DB): Một tập hợp có cấu trúc nhiều liệu mang tính bền (persistent) có liên quan với lĩnh vực cụ thể, tổ chức đặc biệt cho việc lưu trữ, tìm kiếm rút trích liệu - Một CSDL biểu diễn phần giới thực (thế giới thu nhỏ) - CSDL thiết kế, xây dựng, lưu trữ với mục đích xác định, phục vụ cho số ứng dụng người dùng - Tập ngẫu nhiên liệu khơng thể xem CSDL Hệ Quản trị CSDL (Database Management System - DBMS): Một phần mềm cho phép định nghĩa, xây dựng xử lý liệu - Định nghĩa: khai báo khung liệu với mơ tả chi tiết liệu - Xây dựng: lưu trữ liệu lên nhớ phụ - Xử lý: truy vấn, cập nhật phát sinh báo cáo Hệ quản trị sở liệu (HQT CSDL) cung cấp cách thức lưu trữ hiệu quả, an tồn lượng liệu lớn Ngơn ngữ cao cấp dùng để đặc tả thao tác mà người dùng muốn thao tác liệu Bảo vệ người dùng khơng biết chi tiết cách thức lưu trữ liệu Ứng dụng CSDL (Database application): Chương trình tương tác với CSDL q trình thi hành Hệ CSDL (Database System): CSDL với HQTCSDL ứng dụng liên quan Mơ hình hóa Dữ liệu: Để thực nhiệm vụ, CSDL lưu trữ thơng tin theo cách có cấu trúc Cấu trúc dùng để lưu trữ thơng tin gọi mơ hình liệu (data model) Mơ hình liệu phổ biến Mơ hình Quan hệ (Relational Model) Một CSDL có cấu trúc chặt chẽ mặt logic, ngữ nghĩa vốn có, có mục đích, phục vụ cho Bài giảng tóm tắt Cơ sở liệu đối tượng người sử dụng chương trình ứng dụng cụ thể, có kích thước thay đổi, nội dung thay đổi mở rộng, tổ chức vật lý với độ phức tạp khác nhau, dùng cho nhiều ứng dụng với mục đích khác II Mơ tả cách tiếp cận sở liệu Giả sử cần thực hệ thống để quản lý hàng hóa cho cơng ty bán lẻ Dữ liệu: thơng tin hàng hóa (tên hàng, mơ tả, kho) Thao tác thêm mặt hàng mới, quản lý kho hàng, … Tiếp cận dựa hệ thống tập tin (HTTT): Chương trình ứng dụng Quản lý liệu Chương trình ứng dụng Quản lý liệu Hệ Thống Quản Lý Tập Tin Chương trình ứng dụng Quản lý liệu Tập tin Tập tin Tập tin Dữ liệu Hình 1.1: Cách tiếp cận dựa tập tin Để lưu trữ liệu cách bền vững ứng dụng phải dựa vào tập tin Một hệ thống tập tin (file-based system) tập ứng dụng sử dụng tập tin để lưu liệu Phát triển ứng dụng dựa hệ thống tập tin có nghĩa ứng dụng phụ thuộc cấu trúc tập tin dẫn đến khơng có độc lập chương trình - liệu tách biệt ứng dụng khỏi liệu mà thi hành Cách tiếp cận HTTT có nhiều hạn chế: - Dữ liệu bị trùng lắp dư thừa - Thiếu tính qn liệu - Khó khăn việc truy xuất - Việc chia sẻ liệu bị hạn chế - Khó khơi phục Bài giảng tóm tắt Cơ sở liệu Tiếp cận sở liệu Chương trình ứng dụng Quản lý liệu Chương trình ứng dụng Quản lý liệu Hệ Quản Trị CSDL CSDL Chương trình ứng dụng Quản lý liệu Hình 1.2: Cách tiếp cận sở liệu Tiếp cận CSDL: tách biệt liệu (lớn, cập nhật thường xun) cấu trúc liệu (nhỏ, ổn định) Trừu tượng liệu (data abstraction) cho phép định nghĩa đối tượng thay đổi mà khơng ảnh hưởng đến chương trình sử dụng đối tượng thơng qua định nghĩa bên ngồi Một số đặc tính CSDL Tính tự mơ tả - Hệ CSDL khơng chứa thân CSDL mà chứa định nghĩa đầy đủ (mơ tả) CSDL - Các định nghĩa lưu trữ catalog Catalog chứa thơng tin cấu trúc tập tin, kiểu dạng thức lưu trữ thành phần liệu ràng buộc liệu Dữ liệu catalog gọi meta-data (data of data) - Các Chương trình ứng dụng (CTƯD) truy xuất đến nhiều CSDL nhờ thơng tin cấu trúc lưu trữ catalog Tính độc lập: Vì định nghĩa cấu trúc CSDL lưu trữ catalog nên có thay đổi nhỏ cấu trúc ta phải sửa lại chương trình Tính trừu tượng: Hệ CSDL cho phép trình bày liệu mức trừu tượng cho phép, nhằm che bớt chi tiết lưu trữ thật liệu Tính trừu tượng liệu có nhờ vào việc định nghĩa khung nhìn (view) khác liệu Tính qn: - Lưu trữ liệu thống → Tránh tình trạng trùng lắp thơng tin Bài giảng tóm tắt Cơ sở liệu - Có chế điều khiển truy xuất liệu hợp lý → Tránh việc tranh chấp liệu bảo đảm liệu ln thời điểm Các cách nhìn liệu: - Hệ CSDL cho phép nhiều người dùng thao tác lên CSDL - Mỗi người có cách nhìn (view) khác CSDL - Một view phần CSDL Dữ liệu tổng hợp từ CSDL Mơ hình liệu Mơ hình liệu (data model): tập hợp khái niệm mơ tả liệu Mơ hình liệu bao gồm: - Các khái niệm biểu diễn liệu - Các phép tốn xử lý liệu Mơ hình liệu quan hệ (relational data model): sử dụng rộng rãi Mơ hình mức cao: cung cấp khái niệm gần gũi với người dùng Mơ hình phải tự nhiên giàu ngữ nghĩa VD: mơ hình thực thể kết hợp (ER), mơ hình đối tượng… Diem (0,n) hoc Hocky MaHP HPhan (1,1) Nam Gvien mo mhoctruoc MaSV Ten Lop Nganh (1,n) SVien MaMH TenMH Khoa Tinchi (0,n) (0,n) MHoc (0,n) dieukien mhocsau Hình 1.3: CSDL liệu quản lý sinh viên mơ hình hóa mơ hình ER Mơ hình cài đặt: đưa khái niệm người dùng hiểu khơng q xa với cách liệu tổ chức thật máy tính Bài giảng tóm tắt Cơ sở liệu VD: mơ hình quan hệ SVien Hoc HPhan MaSV MaSV MaHP Ten MaHP SLuong Lop DiemLT MaMH Nganh DiemTH DKien MaMH MaMHTruoc MHoc MaMH TenMH Khoa TinChi Hình 1.4: CSDL liệu quản lý sinh viên mơ hình hóa mơ hình quan hệ Mơ hình mức thấp (mơ hình vật lý): đưa khái niệm mơ tả chi tiết cách thức liệu lưu trữ máy tính Lược đồ Lược đồ (schema): mơ tả tập liệu cụ thể, cách sử dụng mơ hình liệu cụ thể Lược đồ CSDL (Database Schema): mơ tả cấu trúc ràng buộc CSDL Thể Thể CSDL (Database Instance): liệu thời lưu trữ CSDL thời điểm Một thể CSDL gọi tình trạng CSDL Kiến trúc lược đồ (Kiến Trúc ANSI/SPARC) Bài giảng tóm tắt Cơ sở liệu Người dùng Mức ngồi (External Level) Người dùng … Lược đồ ngồi Lược đồ ngồi n Ánh xạ ngồi/ Ánh xạ quan niệm Mức quan niệm (Conceptual Level) Lược đồ quan niệm Ánh xạ quan niệm/ Ánh xạ Lược đồ Mức (Physical Level) DB DB DB Hình 1.5 : Kiến Trúc ANSI/SPARC Mức ngồi (lược đồ ngồi – External schema): gọi mức khung nhìn (view) - Mơ tả phần CSDL mà nhóm người dùng quan tâm đến che dấu phần lại CSDL nhóm người dùng - Mỗi người dùng truy xuất liệu theo nhiệm vụ mình, có khung nhìn liệu riêng độc lập với người dùng khác Mức quan niệm (lược đồ quan niệm – Conceptual schema) - Mơ tả cấu trúc tồn thể CSDL cho cộng đồng người sử dụng, gồm thực thể, kiểu liệu, mối liên hệ ràng buộc - Che bớt chi tiết cấu trúc lưu trữ vật lý - Người dùng khơng phải hiểu chi tiết thể vật lý Mức (lược đồ – Internal schema): Mơ tả cấu trúc lưu trữ vật lý CSDL Các mức độc lập liệu - Ứng dụng lập khỏi cách thức liệu định nghĩa lưu trữ - Tính độc lập liệu logic: khả sửa đổi conceptual schema mà khơng ảnh hưởng đến external schema hay chương trình ứng dụng - Tính độc lập liệu vật lý: khả sửa đổi physical schema mà khơng ảnh hưởng đến conceptual (hay external) schema phải viết lại chương trình ứng dụng Bài giảng tóm tắt Cơ sở liệu Ví dụ - Sắp thứ tự liệu đưa kết quả: cách thức thực (sắp xếp vật lý) HQTCSDL đảm nhận chương trình ứng dụng khơng thể nhìn thấy - Thêm mục vật lý để làm tăng tốc độ ứng dụng: khơng nên đòi hỏi phải cập nhật chương trình ứng dụng, thấy hiệu việc thêm mục - Thêm field vào file: chương trình truy xuất đến thơng tin cần phải thay đổi III Người sử dụng sở liệu Thiết kế viên (Database Designer) - Liên hệ với người dùng để nắm bắt u cầu đưa thiết kế CSDL thỏa u cầu - Chịu trách nhiệm về: o Lựa chọn cấu trúc phù hợp để lưu trữ liệu o Quyết định liệu cần lưu trữ - Có thể nhóm DBA quản lý CSDL sau việc thiết kế hồn tất Quản trị viên (Database Administrators - DBA) - Có trách nhiệm quản lý hệ CSDL - Cấp quyền truy cập CSDL - Điều phối giám sát việc sử dụng CSDL - Thiết kế lược đồ logic/ vật lý - Xử lý an tồn chứng thực - Bảo đảm đáp ứng liệu, khơi phục sau cố - Điều chỉnh liệu phù hợp với u cầu Người dùng cuối (End users) - Người sử dụng: Ít truy cập CSDL, cần thơng tin khác lần truy cập dùng câu truy vấn phức tạp Ví dụ: Người quản lý, nhà khoa học, người phân tích, … - Người sử dụng thường xun: Thường xun truy vấn cập nhật CSDL nhờ vào số chức xây dựng sẳn Ví dụ: Nhân viên bán hàng, thủ thư,… - Lập trình viên ứng dụng CSDL (database application programmers): phát triển chương trình cho người dùng cuối truy xuất liệu thơng qua việc sử dụng NNLT cơng cụ phần mềm đưa nhà cung cấp HQTCSDL IV Các tính hệ quản trị sở liệu Kiến trúc HQT CSDL Bài giảng tóm tắt Cơ sở liệu Application Front ends Forms SQL Interface SQL Commands Query Execution Engine Parser Plan Executor Optimizer Operator Evaluator Concurrency Control File and Access Methods Transaction Manager Recovery Manager Buffer Manager Lock Manager DBMS Disk Space Manager Index Files Data Files System catalog DATABASE Hình 1.6 : Kiến trúc HQT CSDL Các tính HQT CSDL - Kiểm sốt tính dư thừa liệu: Tích hợp nhu cầu liệu người dùng để xây dựng CSDL thống - Chia sẻ liệu: Trong mơi trường đa người dùng, HQT CSDL phải cho phép truy xuất liệu đồng thời - Hạn chế truy cập khơng cho phép: Từng người dùng nhóm người dùng có tài khoản mật mã để truy xuất liệu - Cung cấp nhiều giao diện: HQT cung cấp ngơn ngữ CSDL người dùng - Đảm bảo ràng buộc tồn vẹn: Ràng buộc tồn vẹn (Integrity Constraints) qui định cần thỏa mãn để đảm bảo liệu ln phản ánh ngữ nghĩa giới thực Một số ràng buộc khai báo với HQT HQT tự động kiểm tra Một số ràng buộc khác kiểm tra nhờ CTƯD - Khả lưu dự phòng gặp cố: Có khả khơi phục liệu có hư hỏng phần cứng phần mềm Bài giảng tóm tắt Cơ sở liệu 99 Cho biết mơn học dạy nhiều khoa Cho biết mơn học mơn học chung cho tồn trường khố 2006 Biết mơn học chung cho tồn trường mơn học dạy cho tất khoa Liệt kê sinh viên thuộc khoa “CNTT”, khóa 2006 có số tín tích lũy cao 10 Hãy cho biết điểm trung bình tích lũy sinh viên có tên “Nguyễn Văn Tài” 11 Liệt kê sinh viên thuộc khoa “CNTT”, khóa 2006 có điểm trung bình tich lũy cao 12 Cho biết sinh viên thuộc khoa “Tốn - Tin”, khóa 2004 có điểm mơn “Cơ sở liệu” cao khóa 13 Cho biết sinh viên thuộc khoa “CNTT”, khóa 2006 chưa tích lũy tín VIII Cho sở liệu gồm quan hệ sau: CongNhan(MACN, Ho, Ten, Phai, NgaySinh, MaTSX) Tân từ: Mỗi cơng nhân có mã số (MACN) nhất, họ tên lót (Ho), tên nhân viên (Ten), giới tính (Phai), ngày sinh (NgaySinh), mã số tổ sản xuất mà cơng nhân làm việc (MaTSX) ToSanXuat(MaTSX, TenTSX) Tân từ: Mỗi tổ sản xuất có mã số (MaTSX) tên tổ sản xuất (TenTSX) SanPham(MaSP, TenSP, DVT, TienCong) Tân từ: Mỗi sản phẩm có mã số (MaSP) để phân biệt, tên sản phẩm (TenSP), đơn vị tính (DVT), tiền cơng (TienCong) làm sản phẩm ThanhPham(MACN, MaSP, Ngay, SoLuong) Tân từ: Hàng ngày đơn vị quản lý ghi nhận số lượng sản phẩm cơng nhân làm Vẽ sơ đồ ER viết câu truy vấn sau: Liệt kê cơng nhân theo tổ sản xuất gồm thơng tin: TenTSX, HoTen, NgaySinh, Phai (xếp thứ tự tăng dần tên tổ sản xuất, Tên cơng nhân) Liệt kê thành phẩm mà cơng nhân ‘Nguyễn Trường An’ làm gồm thơng tin: TenSP, Ngay, SoLuong, ThanhTien (xếp theo thứ tự tăng dần ngày) Liệt kê nhân viên khơng sản xuất sản phẩm ‘Bình gốm lớn’ Liệt kê thơng tin cơng nhân có sản xuất ‘Nồi đất’ ‘Bình gốm nhỏ’ Thống kê Số luợng cơng nhân theo tổ sản xuất Bài giảng tóm tắt Cơ sở liệu Tổng số lượng thành phẩm theo loại mà nhân viên làm (Ho, Ten, TenSP, TongSLThanhPham, TongThanhTien) Tổng số tiền cơng trả cho cơng nhân tháng năm 2006 Cho biết sản phẩm sản xuất nhiều tháng 2/2006 Cho biết cơng nhân sản xuất nhiều ‘Chén’ 10 Tiền cơng tháng 2/2006 cơng nhân viên có mã số ‘CN002’ 11 Liệt kê cơng nhân có sản xuất từ loại sản phẩm trở lên 12 Cập nhật giá tiền cơng loại bình gốm thêm 1000 13 Thêm vào bảng CongNhan 100 101 Bài giảng tóm tắt Cơ sở liệu Bài Tập Chương RÀNG BUỘC TỒN VẸN 1) Với sở liệu thiết kế tập chương & chương 3, ngoại trừ RBTV khóa chính, khóa ngoại, miền giá trị, liệt kê tất RBTV ngữ nghĩa khác (nếu có) lập bảng tầm ảnh hưởng tổng hợp sở liệu 2) Cho sở liệu quản lý đơn đặt hàng, hố đơn giao hàng cơng ty thương mại gồm lược đồ quan hệ: KHACHHANG(MAKH, TENKH, DCHIKH, PHONE, CONGNO) Tân từ: Mã số khách hàng(MAKH) xác định họ tên khách hàng (TENKH), địa khách hàng(DCHIKH)), số phone khách hàng (PHONE)và tình trạng cơng nợ khách hàng (CONGNO) CONGNO: Cơng nợ với khách hàng (CONGNO > 0: khách hàng nợ cơng ty, CONGNO < 0: cơng ty nợ khách hàng) HANGHOA(MAHH, TENHH, QUICACH, DVTINH) Tân từ: Mã số hàng hóa (MAHH) xác định tên hàng hóa(TENHH), qui cách hàng hóa (QUI CÁCH) đơn vị tính hàng hóa (DVTINH) DATHANG(SODH, MAHH, SLMUA, NGAYDH, MAKH) Tân Từ: Một đơn đặt hàng có nhiều mặt hàng Mã số đơn đặt hàng (SODH) xác định ngày đặt hàng (NGAYDH) mã số khách hàng đặt mua hàng Mã số đơn đặt hàng với mã số hàng hố mà khách đặt mua xác định số lượng đặt mua (SLMUA)cho hàng hóa HOADON (SOHD, NGAYHD, SODH, TRIGIAHD, NGAYXUAT) Tân từ: Mã số hố đơn (SOHD) xác định hố đơn bán hàng Mã số hóa đơn xác định ngày viết hóa đơn (NGAYHD), mã số đơn đặt hàng (SODH), tổng trị giá đơn đặt hàng (TRIGIAHD) ngày xuất (NGAYXUATT) kho giao hàng cho khách Một hố đơn bán hàng gồm nhiều mặt hàng Hóa đơn bán hàng theo u cầu đơn hàng có mã số SOHD, ngược lại đơn đặt hàng giải hóa đơn Do điều kiện khách quan, cơng ty khơng giao đầy đủ mặt hàng số lượng mặt hàng u cầu đơn đặt hàng khơng vượt ngồi u cầu CTIET_HD(SOHD, MAHH, GIABAN, SLBAN) Tân từ: Mã số hóa đơn bán hàng (SOHD) mã số hàng hóa (MAHH) xác định giá bán (GIABAN) hàng hóa (như hàng hóa có giá bán khác tuỳ theo khách hàng) số lượng bán cho khách (SLBAN) Số lượng bán cho khách khơng phép vượt q số lượng mà khách u cầu mua đơn đặt hàng PHIEUTHU(SOPT, NGAYPT, MAKH, SOTIEN) Tân từ: Mã số phiếu thu (SOPT) xác định phiếu thu Mã số phiếu thu xác định ngày phát hành phiếu thu (NGAYPT), mã số khách hàng (MAKH) trả tiền Bài giảng tóm tắt Cơ sở liệu 102 số tiền thu khách hàng (SOTIEN) Khách hàng trả tiền khơng theo hóa đơn bán hàng trả tiền trước nhận hàng xem tiền đặt cọc hay tiền ký quỹ u cầu a) Xây dựng lược đồ ER cho sở liệu b) Xác định khố chính, khố ngoại cho lược đồ quan hệ lược đồ sở liệu c) Xác định phân loại (RBTV miền giá trị, liên thuộc tính, liên bộ, tham chiếu, liên thuộc tính liên quan hệ, liên liên quan hệ, thuộc tính tổng hợp, chu trình) RBTV có sở liệu này, phát biểu chúng cách chặt chẽ nêu bảng tầm ảnh hưởng 3) Cho lược đồ CSDL sau: KhachHang(MaKhach, Ten, DiaChi) HangHoa(MaHang, Ten, DonViTinh, DacTa) HoaDonNhap(MaKhach, MaHang, NgayNhap, SoLuong, DonGia) HoaDonXuat(MaKhach, MaHang, NgayXuat, SoLuong, DonGia) Hãy vi phạm ràng buộc liệu bảng liệu sau: KhachHang HangHoa MaKhach Ten DiaChi MaHang Ten DonViTinh KH01 Intel NewYork H01 CPU HP Washington H02 Software KH03 IBM KH04 Microsoft Washington HoaDonNhap MaKhach MaHang NgayNhap SoLuong DonGia KH01 H01 01/01/2007 100 KH02 H03 15/01/2009 30 KH03 H02 15/01/2007 20 KH04 H01 30 250 HoaDonXuat MaKhach MaHang NgayXuat SoLuong DonGia KH01 H02 17/01/2007 15 KH03 H02 20/01/2007 10 DacTa 4) Cho lược đồ CSDL gồm quan hệ sau: PHANXUONG(MAPX, TENPX, DTHOAI_PX, DCHI_PX, SL_SPPX) Tân từ: Mỗi phân xưởng sản xuất cơng ty có mã số (MAPX) để phân biệt với phân xưởng khác, tên gọi (TENPX), số điện thoại (DTHOAI_PX) địa liên lạc (DCHI_PX) Mỗi phân xưởng có số lượng sản phẩm tối đa mà phân xưởng sản xuất (SL_SPPX) SANPHAM(MASP, TEN_SP, DVT, TON_TT) Bài giảng tóm tắt Cơ sở liệu 103 Tân từ: Mỗi sản phẩm có mã sản phẩm (MASP) dùng để phân biệt với sản phẩm khác, có tên sản phẩm (TEN_SP), đơn vị tính (DVT) số lượng quy định tồn kho tối thiểu cho phép (TON_TT) PX_SP(MAPX, MASP) Tân từ: Quan hệ phân xưởng sản phẩm quy định phân xưởng (MAPX) sản xuất sản phẩm (MASP) KEHOACH_SX(MAKH, NGAYLAP_KH, THANGNAM, TRANGTHAI) Tân từ: Mỗi kế hoạch sản xuất cơng ty (MAKH) lập vào ngày lập kế hoạch (NGAYLAP_KH) cho tháng năm cụ thể (THANGNAM) Tại thời điểm kế hoạch thuộc trạng thái (TRANGTHAI): chưa duyệt, duyệt, hồn thành CHITIET_KH(MAKH, MAPX, MASP, SOLUONG_KH) Tân từ: Mỗi chi tiết kế hoạch quy định số lượng sản phẩm (MASP, SOLUONG_KH) cần sản xuất cho phân xưởng (MAPX) Mỗi kế hoạch sản xuất (MAKH) phải có chi tiết kế hoạch có liên quan u cầu: 1) Lập sơ đồ ER cho sở liệu 2) Xác định khóa chính, khóa ngoại quan hệ lược đồ CSDL 3) Ngoại trừ ràng buộc suy từ khóa khóa ngoại, xác định ràng buộc tồn vẹn thuộc loại khác phát biểu cách chặt chẽ ràng buộc ngơn ngữ hình thức 104 Bài giảng tóm tắt Cơ sở liệu Bài Tập Chương LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU I Phụ thuộc hàm, Phủ tối thiểu, Khóa 1) Cho lược đồ quan hệ R(A, B, E, G, H, I) tập phụ thuộc hàm R sau: F = { AB → E, AG → I, BE → I, E → G, GI → H} Dùng hệ tiên đề Armstrong hệ qua chứng minh AB → GH 2) Cho lược đồ quan hệ R(A, B, C, D, E, G, H) tập phụ thuộc hàm R sau: F = { AB → C, B → D, CD → E, CE → GH, G → A} Dùng hệ tiên đề Armstrong hệ chứng minh AB → E, AB → G 3) Cho lược đồ quan hệ R(A, B, C, D) tập phụ thuộc hàm R sau: F = { A → B, BC → D } Phụ thuộc hàm dãy sau suy từ F luật dẫn hệ tiên đề Armstrong: C → D, A → D, AD → C, BC → A, B → CD 4) Cho quan hệ r sau: A B C D a1 b1 c1 d1 a1 b2 c2 d2 a2 b1 c3 d3 a2 b1 c4 d3 a3 b2 c5 d1 Tìm tập phụ thuộc hàm F thỏa mãn r E e1 e1 e1 e1 e1 5) Cho lược đồ quan hệ R(A, B, C, D, E, G, H) tập phụ thuộc hàm R sau: F = { A → D, AB → DE, CE → G, E → H} a) Tính (AB)+, (AC)+, (ABE)+, (ABC)+ b) Tìm khóa đề nghị R 6) Cho lược đồ quan hệ R(A, B, C, D) tập phụ thuộc hàm R sau: F = { AB → C, D → B, C → ABD} Tìm khóa đề nghị R 7) Cho lược đồ quan hệ R(A, B, C, D, E, G) tập phụ thuộc hàm R sau: F = { AB → C, C → A, BC → D, ACD → B, D → EG, CG → BD, CE→ CG} a) Tìm phủ tối thiểu F b) Tìm khóa đề nghị R 8) Cho lược đồ quan hệ R(A, B, C, D) tập phụ thuộc hàm R sau: F = { AB → C, A → D, BD → C} Tìm phủ tối thiểu F 9) Cho lược đồ quan hệ R(A, B, C) tập phụ thuộc hàm R sau: F = { AB → C, A → B} Tìm phủ tối thiểu F 10) Cho lược đồ quan hệ R(A, B, C, D, E) tập phụ thuộc hàm F R sau: F = { A → BC, CD → E, B → D, E → A} a) Tìm phủ tối thiểu F b) Tìm khóa đề nghị R Bài giảng tóm tắt Cơ sở liệu 11) Cho lược đồ quan hệ R(A, B, C, D, E) tập phụ thuộc hàm F R sau: F = { A → BC, A→ D, CD → E} a) CD→E có phụ thuộc hàm đầy đủ khơng? b) Xem : G = { A→ BCE , A→BD , CD → E} G’ = {A → BCD , CD → E} G có tương đương với F? G’ có tương đương với F? c) Tìm phủ tối thiểu F d) Tìm khóa đề nghị R 12) Cho R (A, B, C) tập phụ thuộc hàm G = {AB→C; A→B; B→C; A→C}, F={AB→C; A→B; B→C} F có tương đương với G khơng? 13) Cho lược đồ CSDL Kehoach(NGAY, GIO, PHONG, MONHOC, GIAOVIEN) F={NGAY,GIO,PHONG → MONHOC; MONHOC,NGAY → GIAOVIEN; NGAY,GIO,PHONG → GIAOVIEN; MONHOC → GIAOVIEN} a) Tính {NGAY,GIO,PHONG}+ ; {MONHOC}+ b) Tìm phủ tối thiểu F c) Tìm tất khóa Kehoach 14) Cho lược đồ CSDL R(TENTAU, LOAITAU, MACHUYEN, LUONGHANG, BENCANG, NGAY) F={TENTAU → LOAITAU; MACHUYEN → TENTAU, LUONGHANG; TENTAU,NGAY → BENCANG, MACHUYEN} a) Hãy tìm phủ tối thiểu F b) Tìm tất khóa R 15) Xác định phủ tối thiểu tập phụ thuộc hàm sau: a) R1(A, B, C, D, E, G, H) F1={A→ H,AB→C,BC→D;G→B} b) R2(A, B, C, S, X, Y, Z) F2={S→A;AX→B;S→B;BY→C;CZ→X} c) R3(A, B, C, D, E, G, H, I, J) F3={BG→D;G→J;AI→C;CE→H;BD→G;JH→A; D→I } d) R4(A, B, C, D, E, G, H, I, J) F4={BH→I;GC→A;I→J;AE→G;D→B;I→H} II Các dạng chuẩn chuẩn hóa lược đổ CSDL 1) Cho biết dạng chuẩn lược đồ quan hệ sau: a) R(ABCDEG); F={A→BC; C→DE; E→G} b) R(ABCDEGH); F={C→AB; D→E; B→G} c) R(ABCDEGH); F={A→BC; D→E; H→G} 105 Bài giảng tóm tắt Cơ sở liệu 106 d) R(ABCDEG); F={AB→C; C→B; ABD→E; G→A} e) R(ABCDEGHI); F={AC→B; BI→ACD; ABC→D; H→I; ACE→BCG; CG→AE} f) R(A,B,C,D); F={CA→D; A→B} g) R(S,D,I,M); F={SI→D;SD→M} h) R(N,G,P,M,GV); F={N,G,P→M;M→GV} i) R(S,N,D,T,X); F={S→N; S→D; S→T; S→X} 2) Kiểm tra tính nối khơng thơng tin phân rã sau: R(ABCDE); ρ(R1(AD); R2(AB); R3(BE); R4(CDE); R5(AE)) với tập phụ thuộc hàm F={A → C; B → C; C → D; DE → C; CE → A} 3) Cho lược đồ quan hệ R(A,B,C,D) tập phụ thuộc hàm F={A→B; B→C; A→D; D→C} lược đồ CSDL C = {Q1(AB);Q2(AC);Q3(BD)} a) C có nối khơng thơng tin R? b) C có bảo tồn phụ thuộc hàm? 4) Cho lược đồ CSDL: Kehoach(NGAY, GIO, PHONG, MONHOC, GIAOVIEN) F={NGAY,GIO,PHONG→MONHOC; MONHOC,NGAY→GIAOVIEN; NGAY,GIO,PHONG→GIAOVIEN; MONHOC→GIAOVIEN} a) Xác định dạng chuẩn cao Kehoach b) Nếu Kehoach chưa đạt dạng chuẩn 3, phân rã Kehoach thành lược đồ CSDL dạng chuẩn vừa bảo tồn phụ thuộc hàm vừa bảo tồn thơng tin c) Nếu Kehoach chưa đạt dạng chuẩn BC, phân rã KeHoach thành lược đồ CSDL dạng BC 5) Cho lược đồ quan hệ R(A, B, C, D) tập phụ thuộc hàm F = {A→B; B→C; D→B} C = {Q1(A, C, D); Q2(B, D)} a) Xác định Fi b) Lược đồ CSDL C có đạt dạng chuẩn BC? Nếu khơng phân rã tiếp Qi C để nâng cấp C thành dạng chuẩn BC? 6) Giả sử ta có lược đồ quan hệ R(C,D,E,G,H,K) tập phụ thuộc hàm F sau; F = {CK→ H; C →D; E→C; E →G; CK →E} a) b) c) d) Từ tập F, chứng minh EK → DH Tìm tất khóa R Xác định dạng chuẩn R Hãy tìm cách phân rã R thành lược đồ CSDL đạt dạng chuẩn BCNF Tìm tập phụ thuộc hàm khóa cho lược đồ quan hệ e) Phân rã câu d) có phân rã giữ lại phụ thuộc khơng? Tại sao? 7) Cho lược đồ quan hệ R(S,I,D,M) F = {SI → DM; SD→ M; D→ M} Bài giảng tóm tắt Cơ sở liệu 107 Tính bao đóng D+, SD+, SI+ Tìm phủ tối thiểu F Tìm tất khóa R Xác định dạng chuẩn cao R Nếu R chưa đạt dạng chuẩn 3, phân rã R thành lược đồ CSDL dạng chuẩn vừa bảo tồn phụ thuộc hàm vừa bảo tồn thơng tin f) Nếu R chưa đạt dạng chuẩn BCNF, phân rã R thành lược đồ CSDL dạng BCNF g) Kiểm tra phép tách R thành lược đồ (SID,SIM) có bảo tồn thơng tin? h) Kiểm tra phép tách R thành lược đồ (SID,SIM) có bảo tồn phụ thuộc hàm? 8) Cho lược đồ quan hệ R(W,A,Z,Y,Q,P); F = {W →AYQP; A →Z; YQP →A} a) b) c) d) e) Một phân rã R thành ρ(R1(A,Z); R2(W,Y,Q,P); R3(Y,Q,P,A)) Hãy kiểm tra tính kết nối khơng thơng tin phân rã 9) Cho lược đồ quan hệ R(Mơn, GiảngViên,Giờ giảng, Phòng, SinhViên, Hạng) với F ={M→GV; G,P→M; G,GV→P; M,SV→H; G,SV→P} Trong M: mơn, GV: giáo viên, G: giảng, P: phòng, SV: sinh viên, H: hạng Một phân rã R ρ(R1(M,G,P); R2(M,GV); R3( M,SV,H)) Kiểm tra xem lược đồ sở liệu từ phân rã có bảo tồn thơng tin F? 10) Phân rã lược đồ sau thành dạng BCNF a) R(S,D,I,M) F={S,I→D;S,D→M} b) R(A,B,C,D) F={A→B;B→C;D→B} c) R(C,S,Z) F={C,S→Z; Z→C} 11) Phân rã lược đồ quan hệ sau thành dạng 3NF vừa bảo tồn phụ thuộc hàm vừa bảo tồn thơng tin a) Q(A,B,C); F={A→B;A→C;B→A;C→A;B→C} b) Q(MSCD,MSSV,CD,HG) F={MSCD→CD; CD→MSCD; CD,MSSV→HG; MSCD,HG→MSSV; CD,HG→MSSV; MSCD,MSSV→HG} c) Q(A,B,C,D), F={ AB→C; C→B} 14) Cho lược đồ quan hệ R(A, B, C, D, E, K, L, N, I, J) tập phụ thuộc hàm: F={ AB C; A DE; B K; K LN; D IJ} 108 Bài giảng tóm tắt Cơ sở liệu a) Xét tập phụ thuộc hàm G = { AB tương đương với G? Tại sao? C; BD EK; AD LN; A I; N J}, F có Các câu hỏi tính dựa tập phụ thuộc hàm F b) Tìm khố R c) Tìm dạng chuẩn cao R? d) Xét phân rã R gồm lược đồ quan hệ sau : R1(A, D, E) ; R2(B, K) ; R3(B, L, N) ; R4(A, I, J) ; R5(A, B, C) a) Phân rã có phải phân rã nối khơng thơng tin? sao? b) Phân rã có phải phân rã giữ lại phụ thuộc? sao? c) Các lược đồ quan hệ phân rã dạng chuẩn nào? e) Nếu R khơng dạng chuẩn 3NF, tìm phân rã dạng chuẩn 3NF thỏa tính chất nối khơng thơng tin giữ lại phụ thuộc Có nhận xét dạng chuẩn lược đồ quan hệ kết phân rã này? 15) Cho lược đồ quan hệ hệ quản lý tuyển sinh đại học: TuyểnSinh(SBD, HọTS, TênTS, GiớiTính, NgàySinh, ĐịaChỉ, KhuVực, ĐốiTượng, MãNgành, TênNgành, MãMơn, TênMơn, Điểm) tập phụ thuộc hàm F sau: F = { SBD HọTS, TênTS, GiớiTính, NgàySinh, ĐịaChỉ, KhuVực, ĐốiTượng, MãNgành; MãNgành MãMơn TênNgành; TênMơn; SBD,MãMơn Điểm } a) Tìm tất khóa lược đồ quan hệ TuyểnSinh b) Xác định dạng chuẩn quan hệ TuyểnSinh Nếu dùng lược đồ để cài đặt tốt khơng? Vì sao? c) Hãy tìm cách phân rã (chuẩn hố) lược đồ TuyểnSinh thành dạng 3NF đặt tên phù hợp cho lược đồ kết phân rã 16) Cho phần sở liệu hệ quản lý thẻ ATM sau: ThẻATM(SốThẻ, MãKH, TênKH, SốCMND, SốPin, Số_Tiền_Có, Giờ_Rút, Ngày_Rút, Số_Máy_ATM, Số_Tiền_Rút) tập phụ thuộc hàm F sau: 109 Bài giảng tóm tắt Cơ sở liệu F = { MãKH SốThẻ TênKH, SốCMND, SốPin; MãKH, Số_Tiền_Có; SốThẻ, Ngày_Rút, Giờ_Rút Số_Máy_ATM, Số_Tiền_Rút; } Diễn giải: Mỗi thẻ ATM có số (SốThẻ) để phân biệt với thẻ ATM khác, cấp cho khách hàng (MãKH) có số tiền có tài khoản (Số_Tiền_Có) Mỗi khách hàng có mã khách hàng để phân biệt, có họ tên (TênKH), số chứng minh nhân dân (SốCMND), số pin (SốPin) để thực giao dịch rút tiền Mỗi lần khách hàng rút tiền máy ATM ngân hàng ghi lại thơng tin ngày rút (Ngày_Rút), rút (Giờ_Rút), số máy ATM thực giao dịch (Số_Máy_ATM) số tiền khách hàng rút (Số_Tiền_Rút) lần giao dịch a) Tìm tất khóa ThẻATM b) Lược đồ ThẻATM đạt dạng chuẩn (cao nhất) Nếu dùng lược đồ để cài đặt sở liệu có hạn chế gì? c) Hãy tìm cách phân rã (chuẩn hố) ThẻATM thành dạng BCNF nối khơng giữ lại phụ thuộc; đặt tên phù hợp cho lược đồ kết phân rã; xác định khóa cho lược đồ 17) Cho lược đồ quan hệ PhiếuGiao(MSPG, NgàyGiao, MSNV, SOHD, NgàyHD) Tân từ: phiếu giao hàng có mã phiếu (MSPG) Mỗi phiếu giao nhân viên lập giao theo hợp đồng (SOHD), hợp đồng có nhiều phiếu giao NgàyGiao ngày giao hàng cho khách, NgàyHD ngày ký hợp đồng a) Xác định khóa quan hệ b) Xác định dạng chuẩn cao mà lược đồ quan hệ đạt c) Nếu lược đồ quan hệ chưa đạt dạng chuẩn 3, tiến hành phân rã để lược đồ đạt dạng chuẩn Bài giảng tóm tắt Cơ sở liệu 110 BÀI TẬP TỔNG HỢP I Cho lược đồ sở liệu C dùng để quản lý hoạt động sửa chữa, bảo trì xe gara xe Lược đồ sở liệu C gồm lược đồ quan hệ sau: R1: Tho(MATHO,TENTHO, NHOM, NHOM_TRUONG) Tân từ: Mỗi người thợ có mã số MATHO để nhận diện Mỗi thợ có tên (TENTHO) thuộc nhóm (NHOM) Nhóm trưởng (NHOM_TRUONG) nhóm số người thợ nhóm MGT(MATHO)=MGT(NHOM_TRUONG) R2: Cong_viec(MACV, NOIDUNGCV) Tân từ: Dịch vụ sửa chữa xe chia nhỏ thành nhiều cơng việc để dễ dàng tính tốn chi phí với khách hàng Mỗi cơng việc có mã riêng (MACV)và nội dung cơng việc mơ tả qua NOIDUNGCV R3: Hop_dong(SOHD, NGAYHD, MAKH, TENKH, DCHI, SOXE, TRIGIAHD, NG_GIAO_DK, NG_NGTHU) Tân từ: Mỗi hợp đồng sửa xe ký kết với khách hàng có mã số (SOHD) để phân biệt NGAYHD ngày ký hợp đồng Mỗi khách hàng có mã số (MAKH), tên (TENKH) địa (DCHI) để theo dõi cơng nợ SOXE số đăng xe đem đến sửa chữa, số phòng CSGT đường cấp (nếu xe đổi chủ xem xe khác) Khách hàng ký hợp đồng chủ xe sửa chữa Một khách hàng ký nhiều hợp đồng sửa chữa nhiều xe khác hợp đồng sửa chữa nhiều lần xe ngày Những cơng việc sửa chữa cho đầu xe ký hợp đồng lần TRIGIAHD tổng trị giá hợp đồng NG_GIAO_DK ngày dự kiến phải giao trả xe cho khách NG_NGTHU ngày nghiệm thu thật sau sửa chữa xong để lý hợp đồng R4: Chitiet_HD(SOHD, MACV, TRIGIA_CV, MATHO, KHOANTHO) Tân từ: Mỗi hợp đồng sửa xe gồm nhiều cơng việc MACV mã số cơng việc TRIGIA_CV chi phí vật tư, phụ tùng, thiết bị, cơng thợ tính tốn với khách Mỗi cơng việc hợp đồng giao cho người thợ phụ trách (MATHO) người thợ tham gia vào nhiều cơng việc hay nhiều hợp đồng khác KHOANTHO số tiền giao khóan lại cho người thợ sửa chữa R5: Phieu_thu(SOPH, NGAYPH, SOHD, MAKH, HOTEN, SOTIENTHU) Tân từ: Khách hàng (MAKH) tốn tiền hợp đồng (SOHD) làm nhiều lần trước sau nghiệm thu (trong ngày khác ngày) Mỗi lần tốn có số phiếu để phân biệt (SOPH), NGAYPH ngày phát hành phiếu SOTIENTHU số tiền tốn HOTEN họ tên người mang tiền đến tốn (có thể khác với tên khách hàng đứng ký hợp đồng) Bài giảng tóm tắt Cơ sở liệu 111 u cầu: 1) Xác định tập hợp F gồm tất phụ thuộc hàm suy từ tân từ lược đồ quan hệ (khơng cần liệt kê phụ thuộc hàm hiển nhiên) Xác định khóa cho lược đồ quan hệ 2) Lược đồ sở liệu C dạng chuẩn (cao nhất) Nếu chất lượng thiết kế sở liệu chưa tốt, dùng thuật tốn phân rã để nâng cấp lược đồ sở liệu 3) Mơ tả tất ràng buộc tồn vẹn lược đồ sở liệu C Lập bảng tầm ảnh hưởng tổng hợp 4) Vẽ sơ đồ ER hệ thống 5) Dùng ngơn ngữ SQL để thực u cầu sau: a) Cho biết danh sách người thợ khơng tham gia vào hợp đồng sửa chữa b) Cho biết danh sách hợp đồng lý (đã giao tra xe cho khách) chưa tốn đầy đủ c) Cho biết người thợ thực nhiều cơng việc d) Cho biết người thợ thực tổng giá trị cơng việc (tổng số tiền) cao Lưu ý: Các thuộc tính xem thuộc tính đơn II Cho lược đồ CSDL gồm lược đồ quan hệ sau: NUOC (MAN, TENN) Tân từ: Mỗi nước có mã nước (MAN) tên nước (TENN) TINH (MAT, TENT, MAN) Tân từ: Mỗi tỉnh (thành phố) có mã tỉnh thành phố (MAT) nhất, tên tỉnh thành phố (TENT) thuộc nước (MAN) QUAN(MAQ, MAT, TENQ, TONG_SO_DT) Tân từ: Mỗi quận có mã quận (MAQ) để phân biệt với quận khác tỉnh (MAT) tên quận (TENQ) tổng số điện thoại lắp quận (TONG_SO_DT) KHACHHANG (MAKH, TENKH, DIACHI, LOAIKH) Tân từ: Mỗi khách hàng có mã khách hàng (MAKH) nhất, tên khách hàng (TENKH), địa khách hàng (DIACHI), thuộc loại khách hàng (LOAIKH) Loại khách hàng gồm có “cá nhân” “doanh nghiệp” DIENTHOAI (SODT, MAKH, LOAIDT, MAQ, MAT, SOHD) Tân từ: Mỗi điện thoại có số điện thoại (SODT) để phân biệt với điện thoại khác, thuộc khách hàng (MAKH), loại điện thoại (LOAIDT) Loại điện thoại gồm có “vơ tuyến” “dây cáp” Một số điện thoại nằm quận tỉnh, lắp đặt theo hợp đồng (SOHD) Bài giảng tóm tắt Cơ sở liệu 112 DICHVU (MADV, TENDV) Tân từ: Mỗi dịch vụ có mã dịch vụ (MADV) tên dịch vụ (TENDV) DANGKY (SODT, MADV) Tân từ: Mỗi số điện thoại đăng ký nhiều dịch vụ, dịch vụ nhiều số điện thoại đăng ký KHA_NANG_DK (LOAIKH, MADV) Tân từ: Mỗi loại khách hàng cho phép đăng ký số dịch vụ u cầu: 1) Vẽ lược đồ ER 2) Xác định khóa chính, khóa ngoại lược đồ quan hệ 3) Khơng kể ràng buộc suy từ khóa lược đồ quan hệ, phát biểu cách chặt chẽ tất ràng buộc tồn vẹn lược đồ 4) Thực câu truy vấn sau ngơn ngữ đại số quan hệ (câu a, b, c, d, e) ngơn ngữ SQL: a) Danh sách tên khách hàng lắp điện thoại “Dây cáp” tỉnh có tên “Tiền Giang” b) Danh sách điện thoại thuộc loại “Vơ tuyến” c) Cho biết tên địa khách hàng có đăng ký dịch vụ có tên “Dịch vụ 108” d) Danh sách khách hàng có đăng ký dịch vụ có tên dịch vụ “Dịch vụ 108” thuộc loại khách hàng “cá nhân” e) Liệt kê tất tỉnh (mã tỉnh, tên tỉnh) có lắp 1000 điện thoại f) Cho biết số lượng điện thoại thuộc “TPHCM” g) Cho biết số lượng điện thoại tỉnh (thành phố) h) Cho biết số điện thoại đăng ký nhiều dịch vụ i) Cho biết số lượng khách hàng theo loại j) Cho biết tổng số điện thoại loại TÀI LIỆU THAM KHẢO Tiếng việt [1] Vũ Đức Thi, Cơ sở liệu - Kiến thức thực hành, NXB Khoa học Thống kê, 1997 [2] Trần Thành Trai, Nhập mơn sở liệu, Nxb Trẻ, 1996 [3] Đỗ Trung Tuấn, Cơ sở liệu, NXB Giáo dục, 1998 [4] ULLMAN, J.D., Ngun lý hệ sở liệu & sở tri thức: Thiết kế hệ sở liệu, tập II (sách dịch), NXB Thống kê, 1999 (sách dịch) [5] Lê Tiến Vương, Nhập mơn Cơ sở liệu quan hệ, NXB Khoa học Kỹ thuật, 1994 Tiếng Anh [6] Elmasri, R and Shamkant B Navathe, Fundamentals of Database Systems, Fourth Edition, Addison-Wesley, 2004 [7] Maier, D , The Theory of Relational Databases, Computer Science Press, 1983 [8] Ramakrishnan, R and Gehrke, J., Database Management Systems, Third Edition, McGraw Hill, 2003 [9] Silberschatz, A., Henry F Korth and Sudarshan, S., Database System Concepts, Fourth Edition McGraw Hill, 2004 [10] Sumathi, S and Esakkirajan, S., Fundamentals of Relational Database Management Systems, Springer-Verlag, 2007 ... Ứng dụng CSDL (Database application): Chương trình tương tác với CSDL trình thi hành Hệ CSDL (Database System): CSDL với HQTCSDL ứng dụng liên quan Mô hình hóa Dữ liệu: Để thực nhiệm vụ, CSDL lưu... hình liệu cụ thể Lược đồ CSDL (Database Schema): mô tả cấu trúc ràng buộc CSDL Thể Thể CSDL (Database Instance): liệu thời lưu trữ CSDL thời điểm Một thể CSDL gọi tình trạng CSDL Kiến trúc lược đồ... điểm Các cách nhìn liệu: - Hệ CSDL cho phép nhiều người dùng thao tác lên CSDL - Mỗi người có cách nhìn (view) khác CSDL - Một view phần CSDL Dữ liệu tổng hợp từ CSDL Mô hình liệu Mô hình liệu