TRƢỜNG ĐẠI HỌC HÀNG HẢI KHOA CÔNG NGHỆ THÔNG TIN BỘ MÔN HỆ THỐNG THÔNG TIN -----***----- BÀI GIẢNG CƠ SỞ DỮ LIỆU TÊN HỌC PHẦN : CƠ SỞ DỮ LIỆU MÃ HỌC PHẦN : 17401 TRÌNH ĐỘ ĐÀO TẠO : ĐẠI HỌC CHÍNH QUY DÙNG CHO SV NGÀNH : CÔNG NGHỆ THÔNG TIN HẢI PHÒNG - 2011 2 MỤC LỤC Chƣơng 1. Giới thiệu 7 1.1. Tổng quan về cơ sở dữ liệu 7 1.2. Hệ thống tệp tin và hệ quản trị dữ liệu 7 1.3. Các mô hình dữ liệu 9 1.4. Các mức độ trừu tượng trong cơ sở dữ liệu 17 Chƣơng 2. Mô hình Thực thể-Liên kết 21 2.1. Tổng quan về thiết kế cơ sở dữ liệu 21 2.2. Mô hình Thực thể-Liên kết 21 2.3. Thực thể và thuộc tính 21 2.4. Quan hệ giữa các thực thể 22 Chƣơng 3: Mô hình dữ liệu quan hệ 24 3.1. Các khái niệm cơ bản 24 3.2. Các ràng buộc dữ liệu 24 3.3. Chuyển đổi sơ đồ Thực thể-Liên kết sang cơ sở dữ liệu quan hệ 27 Chƣơng 4. Đại số quan hệ 29 4.1. Phép chọn 29 4.2. Phép chiếu 29 4.3. Phép hợp 30 4.4. Phép giao 30 4.5. Phép trừ 30 4.6. Tích Descartes 31 4.7. Các phép kết nối 31 4.8. Phép chia 32 Chƣơng 5. Ngôn ngữ truy vấn có cấu trúc- SQL 33 5.1. Tổng quan về SQL 33 5.2. Truy vấn SQL cơ bản 33 5.3. Truy vấn sử dụng các hàm thống kê 34 5.4. Các lệnh sửa đổi dữ liệu 35 Chƣơng 6. Chuẩn hóa và rút gọn cơ sở dữ liệu quan hệ 37 6.1. Các vấn đề về dư thừa dữ liệu 37 6.2. Các phụ thuộc hàm 37 6.3. Các dạng chuẩn của lược đồ quan hệ 44 3 6.3.1. Dạng chuẩn 1 (1NF) 44 6.3.2. Dạng chuẩn 2 (2NF) 44 6.3.3. Dạng chuẩn 3 (3NF) 44 6.3.4. Dạng chuẩn Boyce -Codd (BCNF) 44 6.4. Phép tách lược đồ quan hệ 45 6.4.1. Phép tách bảo toàn thông tin 45 6.4.2. Phép tách bảo toàn phụ thuộc 45 6.5. Chuẩn hóa lược đồ quan hệ 47 6.5.1. Tách lược đồ quan hệ về 3NF 47 6.5.2. Tách lược đồ quan hệ về BCNF 47 Một số đề thi mẫu 49