Đề cương ôn tập Cơ sở dữ liệu

TRƯỜNG ĐH KINH TẾ QUỐC DÂN BM CÔNG NGHỆ THÔNG TIN CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự - Hạnh phúc -o O o - Hà Nội, ngày 05 tháng 09 năm 2007 ĐỀ CƯƠNG ÔN TẬP MÔN CƠ SỞ DỮ LIỆU I Thời lượng - ôn tập: 30 tiết - Thi hết môn: 90 phút - Thi tuyển sinh: 180 phút II Nội dung môn học CHƯƠNG TỔNG QUAN VỀ CƠ SỞ DỮ LIỆU 1.1 Các giai đoạn phát triển 1.2 Cơ sở liệu hệ quản trị sở liệu 1.3 Mơ hình liệu 1.4 Lược đồ liệu 1.5 Kiến trúc sở liệu 1.6 Ràng buộc liệu 1.7 Phân loại hệ sở liệu 1.8 Tính độc lập liệu chương trình 1.9 Cơ sở liệu quan hệ hệ quản trị sở liệu quan hệ CHƯƠNG CÁC MƠ HÌNH DỮ LIỆU 2.1 Mơ hình hố giới thực 2.2 Mơ hình thực thể - liên kết (ER) 2.2.1 Các khái niệm 2.2.2 Sơ đồ thực thể - liên kết (sơ đồ ER) 2.3 Mơ hình quan hệ 2.3.1 Các khái niệm mơ hình 2.3.2 Biến đổi sơ đồ thực thể - liên kết sang mô hình quan hệ 2.4 Mơ hình mạng 2.5 Mơ hình phân cấp -1- CHƯƠNG LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ 3.1 Mơ hình quan hệ 3.1.1 Tập thuộc tính 3.1.2 Phụ thuộc hàm 3.1.3 Lược đồ quan hệ 3.2 Bao đóng 3.2.1 Bao đóng tập thuộc tính 3.2.2 Bao đóng tập phụ thuộc hàm 3.3 Rút gọn tập phụ thuộc hàm 3.4 Khoá siêu khố 3.4.1 Định nghĩa 3.4.2 Tính chất 3.4.3 Thuật tốn tính khóa 3.5 Các dạng chuẩn lược đồ quan hệ 3.5.1 Dạng chuẩn (1NF - First Normal Form) 3.5.2 Dạng chuẩn (2NF - Second Normal Form) 3.5.3 Dạng chuẩn (3NF - Third Normal Form) 3.5.4 Dạng chuẩn Boye-Codd (BCNF - Boye-Codd Normal Form) 3.5.5 Phương pháp xác định dạng chuẩn cao 3.6 Tách lược đồ quan hệ 3.6.1 Phép tách lược đồ quan hệ 3.6.2 Phép tách - kết nối bảo toàn thơng tin 3.6.3 Thuật tốn kiểm tra phép tách - kết nối bảo tồn thơng tin CHƯƠNG NGƠN NGỮ KHAI THÁC CSDL QUAN HỆ 4.1 Đại số quan hệ 4.1.1 Phép hợp 4.1.2 Phép giao 4.1.3 Phép trừ 4.1.4 Phép chiếu -2- 4.1.5 Phép chọn 4.1.6 Phép kết nối 4.1.7 Phép chia 4.1.8 Phép tích Đề-các 4.2 Ngơn ngữ truy vấn có cấu trúc SQL 4.2.1 Tổng quan ngôn ngữ SQL 4.2.2 Các kiểu liệu 4.2.3 Các hàm thư viện 4.2.4 Các lệnh định nghĩa sở liệu 4.2.5 Các lệnh cập nhật sở liệu 4.2.6 Các lệnh cập nhật liệu vào bảng 4.2.7 Lệnh truy vấn sở liệu III Một số dạng tập Dạng Xác định tập phụ thuộc hàm từ quan hệ cho trước Dạng Tính tốn kết phép tính Đại số quan hệ quan hệ cho trước Dạng Sử dụng phép tính Đại số quan hệ để trả lời câu hỏi từ quan hệ cho trước Dạng Sử dụng câu lệnh SQL để trả lời câu hỏi từ quan hệ cho trước Dạng Tìm bao đóng tính tốn biểu thức có bao đóng tập thuộc tính Dạng Chứng minh phụ thuộc hàm có thoả mãn lược đồ quan hệ cho trước hay khơng Dạng Tìm 01 khố, tìm tất khoá lược đồ quan hệ, tập thuộc tính khố, thuộc tính khơng khố Dạng Rút gọn tập phụ thuộc hàm, tìm phủ tối thiểu tập phụ thuộc hàm -3- Dạng Kiểm tra phép tách lược đồ quan hệ có bảo tồn thơng tin hay không Dạng 10 Xác định dạng chuẩn cao lược đồ lược đồ Dạng 11 Xây dựng mơ hình ER cho tốn chuyển sang mơ hình quan hệ IV Tài liệu tham khảo [1] C J Date Addison Wesley An introduction to database systems 2nd edition, 1982 [2] D.Maier The theory of relational databases Computer Science Press, Rockville, 1983 [3] Lê Tiến Vương Nhập môn Cơ sở liệu quan hệ Nhà xuất khoa học kỹ thuật, 2000 [4] Tập thể tác giả Bài giảng Cơ sở liệu Trường Đại học Kinh tế quốc dân, 2006 Người biên soạn ThS Nguyễn Trung Tuấn -4- ... quan hệ IV Tài liệu tham khảo [1] C J Date Addison Wesley An introduction to database systems 2nd edition, 1982 [2] D.Maier The theory of relational databases Computer Science Press, Rockville,... thơng tin 3.6.3 Thuật toán kiểm tra phép tách - kết nối bảo tồn thơng tin CHƯƠNG NGƠN NGỮ KHAI THÁC CSDL QUAN HỆ 4.1 Đại số quan hệ 4.1.1 Phép hợp 4.1.2 Phép giao 4.1.3 Phép trừ 4.1.4 Phép chiếu -2-... dạng chuẩn lược đồ quan hệ 3.5.1 Dạng chuẩn (1NF - First Normal Form) 3.5.2 Dạng chuẩn (2NF - Second Normal Form) 3.5.3 Dạng chuẩn (3NF - Third Normal Form) 3.5.4 Dạng chuẩn Boye-Codd (BCNF - Boye-Codd