Giáo Trình Cơ Sở Dữ Liệu: Hướng Dẫn Chi Tiết Cho Sinh Viên Ngành Công Nghệ Thông Tin

Trường đại học

Đại Học Đà Lạt

Chuyên ngành

Công Nghệ Thông Tin

Người đăng

Ẩn danh

Thể loại

giáo trình

2010

109
15
0

Phí lưu trữ

35 Point

Mục lục chi tiết

LỜI MỞ ĐẦU

1. CHƯƠNG 1: GIỚI THIỆU CHUNG

1.1. Giới thiệu chung

1.2. Định nghĩa CSDL

1.3. Các đối tượng sử dụng CSDL

1.4. Hệ quản trị CSDL

1.5. Các mức biểu diễn một CSDL

1.6. Sơ đồ tổng quát một hệ quản trị CSDL

1.7. Tính độc lập giữa dữ liệu và chương trình

1.8. Các cách tiếp cận của một CSDL

2. CHƯƠNG 2: MÔ HÌNH THỰC THỂ KẾT HỢP

2.1. Mô hình thực thể kết hợp

2.2. Thực thể - tập thực thể

2.3. Mối kết hợp

2.4. Số chiều của mối kết hợp

2.5. Tổng quát hóa và chuyên biệt hóa

2.6. Tập thực thể yếu

3. CHƯƠNG 3: MÔ HÌNH DỮ LIỆU QUAN HỆ

3.1. Các khái niệm cơ bản

3.2. Quan hệ n- ngôi

3.3. Lược đồ quan hệ

3.4. Khóa của một quan hệ

3.5. Ràng buộc toàn vẹn

3.6. Các thao tác cơ bản trên quan hệ

3.7. Các bước chuyển đổi từ mô hình thực thể kết hợp sang mô hình quan hệ

3.8. Biến các tập thực thể chuyên biệt hóa về dạng bình thường

3.9. Chuyển tất cả các tập thực thể thành quan hệ

3.10. Mối kết hợp

3.11. Nhập tất cả các quan hệ có cùng khóa

4. CHƯƠNG 4: NGÔN NGỮ ĐẠI SỐ QUAN HỆ

4.1. Các phép toán tập hợp

4.2. Các phép toán quan hệ

4.3. Các phép toán khác

4.4. Phép kết hai quan hệ

4.5. Phép kết nối nội

4.6. Phép kết nối trái

4.7. Phép kết nối phải

4.8. Hàm kết hợp và gom nhóm

4.9. Các phép toán cập nhật trên quan hệ

5. CHƯƠNG 5: NGÔN NGỮ TẬN TỪ

5.1. Ngôn ngữ tận từ có biến là bộ

5.2. Một số khái niệm

5.3. Định nghĩa hình thức của phép tính bộ

5.4. Lượng từ tồn tại ∃ và với mỗi ∀

5.5. Ngôn ngữ tận từ có biến là miền giá trị

6. CHƯƠNG 6: NGÔN NGỮ TRUY VẤN SQL

6.1. Cú pháp lệnh truy vấn

6.2. Truy vấn lồng

6.3. Hàm kết hợp và gom nhóm

6.4. Các lệnh khai báo cấu trúc CSDL

6.5. Các thao tác cập nhật dữ liệu

7. CHƯƠNG 7: PHỤ THUỘC HÀM, KHÓA, RÀNG BUỘC TOÀN VẸN

7.1. Phụ thuộc hàm

7.2. Khái niệm phụ thuộc hàm

7.3. Hệ luật dẫn Armstrong

7.4. Thuật toán tìm bao đóng của tập thuộc tính

7.5. Bài toán thành viên

7.6. Phối tối thiểu của một tập phụ thuộc hàm

7.7. Thuật toán tìm khóa

7.8. Ràng buộc toàn vẹn

7.9. Định nghĩa – các yếu tố của ràng buộc toàn vẹn

7.10. Các loại ràng buộc toàn vẹn

8. CHƯƠNG 8: DẠNG CHUẨN VÀ CHUẨN HÓA CSDL

8.1. Dạng chuẩn của lược đồ quan hệ

8.2. Dạng chuẩn BC

8.3. Kiểm tra dạng chuẩn

8.4. Phân rã bảo toàn thông tin

8.5. Phân rã bảo toàn phụ thuộc hàm

8.6. Thiết kế CSDL bằng cách phân rã

8.7. Phân rã thành dạng chuẩn BC (hoặc dạng chuẩn 3) bảo toàn thông tin

8.8. Phân rã thành dạng chuẩn 3 vừa bảo toàn thông tin vừa bảo toàn phụ thuộc hàm

TÀI LIỆU THAM KHẢO