TRƯỜNG ĐẠI HỌC KHOA HỌC CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM

Khoa: Công nghệ Thông tin Độc lập - Tự do - Hạnh phúc

ĐỀ CƯƠNG HỌC PHẦN: THIẾT KẾ CƠ SỞ DỮ LIỆU

(Theory of Database Design)
1. Thông tin về giảng viên
- Họ và tên: Trần Nguyên Phong
- Chức danh, học hàm học vị: Giảng viên, Thạc sĩ
- Địa chỉ liên hệ: Khoa Công nghệ Thông tin, trường ĐHKH Huế
- Điện thoại: (054) 826939 Email: tnphong@hueuni.edu.vn
- Thông tin về trợ giảng:

2. Thông tin về học phần

- Tên học phần: Thiết kế cơ sở dữ liệu
- Mã học phần: CSCA421 Số tín chỉ: 2
- Yêu cầu của học phần: Học phần bắt buộc (thuộc khối kiến thức chuyên ngành Hệ
thống thông tin)
- Các học phần tiên quyết:
+ Nhập môn cơ sở dữ liệu (CSC3302)
- Các yêu cầu khác đối với học phần:
- Phân giờ tín chỉ đối với các hoạt động:
+ Nghe giảng lý thuyết: 20
+ Làm bài tập trên lớp: 5
+ Thảo luận:
+ Thực hành, thực tập:
+ Hoạt động theo nhóm:
+ Tự học: 15
- Bộ môn, khoa phụ trách: Bộ môn Hệ thống thông tin, Khoa CNTT.

3. Mục tiêu của học phần

3.1 Mục tiêu đào tạo chung của học phần
 Học phần cung cấp cho sinh viên chuyên ngành Hệ thống thông tin các kiến thức vế
lý thuyết thiết kế cơ sở dữ liệu quan hệ bao gồm: lý thuyết về phụ thuộc dữ liệu, các
dạng chuẩn và phương pháp chuẩn hóa đối với các lược đồ quan hệ.
 Học phần giúp sinh viên hoàn thiện kỹ năng thiết kế cơ sở dữ liệu quan hệ, khả năng
đánh giá các thiết kế cơ sở dữ liệu.
3.2 Mục tiêu đào tạo cụ thể về kiến thức của học phần
 Chương 1 cung cấp cho sinh viên các kiến thức về lý thuyết phụ thuộc hàm và các
thuật toán liên quan như thuật toán tính bao đóng, thuật toán tìm khóa,….
Nội dung của chương 2 liên quan đến lý thuyết chuẩn hóa cơ sở dữ liệu quan hệ.
Trong chương này trình bày các kiến thức liên quan đến việc chuẩn hóa cơ sở dữ liệu quan
hệ như phép tách lược đồ quan hệ, dạng chuẩn và phương pháp xác định dạng chuẩn của
lược đồ quan hệ, phương pháp tách lược đồ quan hệ thành dạng chuẩn 3 và dạng chuẩn
Boyce-Codd
Chương 3 bàn luận đến một số dạng phụ thuộc dữ liệu khác thường gặp trong cơ sở
dữ liệu là phụ thuộc đa trị và phụ thuộc nối. Một số dạng chuẩn liên quan đến các dạng phụ
thuộc này cũng được đề cập đến trong nội dung của chương.

4. Tóm tắt nội dung học phần

Quá trình thiết kế một cơ sở dữ liệu quan hệ hướng đến việc chọn ra một tập các
lược đồ quan hệ. Việc lựa chọn một tập các lược đồ này có thể tốt hơn hoặc tồi hơn so với
một tập các lược đồ khác dựa trên một số tiêu chuẩn đánh giá nào đó. Nghiên cứu các cơ sở
lý thuyết để cho phép đánh giá các thiết kế là tốt hay xấu cũng như những phương pháp
được xem là “cứu cánh” cho các lược đồ thiết kế tồi là một trong những mục tiêu nghiên
cứu của lý thuyết thiết kế cơ sở dữ liệu quan hệ.
Trọng tâm của học phần là các phụ thuộc dữ liệu và ứng dụng của chúng trong lý
thuyết thiết kế cơ sở dữ liệu quan hệ. Trong hai chương đầu của học phần bàn luận đến lý
thuyết về phụ thuộc hàm, phép tách lược đồ quan hệ và lý thuyết về chuẩn hoá các lược đồ
quan hệ. Nội dung của chương cuối cùng liên quan đến lý thuyết về phụ thuộc đa trị, phụ
thuộc kết nối và một số dạng chuẩn liên quan đến các dạng phụ thuộc dữ liệu này.

5. Nội dung chi tiết học phần

Chương 1: Lý thuyết phụ thuộc hàm
1.1 Định nghĩa
1.2 Bao đóng của tập phụ thuộc hàm
1.3 Hệ tiên đề Armstrong và các quy tắc suy dẫn
1.4 Bao đóng của tập thuộc tính
1.5 Tính đầy đủ của hệ tiên đề Armstrong
1.6 Tính tương đương và phủ của tập phụ thuộc hàm
1.7 Phủ cực tiểu
1.8 Khoá và các phương pháp xác định khoá của lược đồ
Chương 2: Chuẩn hoá cơ sở dữ liệu quan hệ
2.1 Một số vấn đề tồn tại trong thiết kế cơ sở dữ liệu quan hệ
2.2 Phép tách lược đồ quan hệ
2.21 Định nghĩa
2.2.2 Phép tách bảo toàn thông tin
2.2.3 Phép tách bảo toàn phụ thuộc hàm
 2.3 Các dạng chuẩn của lược đồ quan hệ
2.4 Phép tách bảo toàn thông tin thành BCNF
2.5 Chuẩn hoá 3NF đối với lược đồ CSDL
Chương 3: Phụ thuộc đa trị, phụ thuộc kết nối và một số dạng chuẩn liên quan
3.1 Khái niệm về phụ thuộc đa trị
3.2 Các quy tắc suy dẫn
3.3 Cơ sở phụ thuộc của tập thuộc tính
3.4 Dạng chuẩn 4 (4NF)
3.5 Phụ thuộc nối và dạng chuẩn chiếu-nối

6. Học liệu (giáo trình, bài giảng, tài liệu tham khảo)
[1] Nguyễn Kim Anh, Nguyên lý của các hệ cơ sở dữ liệu, NXB ĐHQG Hà Nội, 2004.
[2] David Maier, The Theory of Relational Databases, Computer Science Press, 1983.
[3] J.D.Ullman, Trần Đức Quang (biên dịch) Nguyên lý các hệ cơ sở dữ liệu và cơ sở
tri thức, tập 2, NXB Thống kê, 2000.
[4] Lê Tiến Vương, Nhập môn cơ sở dữ liệu quan hệ, NXB Thống kê, 2000.
[5] Rob, Coronel, Database System: Design, Implementation and Management, 2000

7. Hình thức tổ chức dạy học

Hình thức tổ chức dạy-học
Yêu cầu
GIỜ LÊN LỚP Tự
Thực sinh viên
học,
Nội dung hành, chuẩn bị Ghi chú
Lý Bài Thảo tự
điền trước khi
thuyết tập luận nghiên
dã,… đến lớp
cứu
Chương 1: Lý thuyết phụ 2 1 0 0
thuộc hàm
1.1 Định nghĩa
1.2 Bao đóng của tập phụ thuộc
hàm
1.3 Hệ tiên đề Armstrong và
các quy tắc suy dẫn
1.4 Bao đóng của tập thuộc
tính
1.5 Tính đầy đủ của hệ tiên đề 4
Armstrong
1.6 Tính tương đương và phủ
của tập phụ thuộc hàm
1.7 Phủ cực tiểu
1.8 Khoá và các phương pháp
xác định khoá của lược đồ
Chương 2: Chuẩn hoá cơ sở 5
dữ liệu quan hệ
2.1 Một số vấn đề tồn tại trong
thiết kế cơ sở dữ liệu quan hệ
2.2 Phép tách lược đồ quan hệ
2.2.1 Định nghĩa
2.2.2 Phép tách bảo toàn thông
tin
2.2.3 Phép tách bảo toàn phụ
thuộc hàm
2.3 Các dạng chuẩn của lược 3
đồ quan hệ
2.4 Phép tách bảo toàn thông
tin thành BCNF
2.5 Chuẩn hoá 3NF đối với Kiểm tra
lược đồ CSDL giữa kỳ
Chương 3: Phụ thuộc đa trị,
phụ thuộc kết nối và một số
dạng chuẩn liên quan
3.1 Khái niệm về phụ thuộc đa
trị
3.2 Các quy tắc suy dẫn
3.3 Cơ sở phụ thuộc của tập
thuộc tính
3.4 Dạng chuẩn 4 (4NF)
3.5 Phụ thuộc nối và dạng Kiểm tra
chuẩn chiếu-nối cuối kỳ

8. Chính sách đối với học phần và các yêu cầu khác của giảng viên
 Học phần không bắt buộc sinh viên phải tham gia 100% giờ học lý thuyết tại lớp.
 Sinh viên bắt buộc phải tham gia các hoạt động sau:
o Các đợt kiểm tra định kỳ
 o Thi cuối kỳ.

9. Phương pháp, hình thức kiểm tra – đánh giá kết quả học tập học phần
9.1. Kiểm tra – đánh giá thường xuyên : 0%
9.2. Kiểm tra – đánh giá định kỳ : 30 %
9.3. Thi cuối kỳ : 70%
9.4. Lịch thi kiểm tra định kỳ, thi cuối kỳ (kể cả thi lại)
- Kiểm tra giữa kì:
- Kiểm tra cuối kỳ:
- Thi cuối kỳ: Thi lần 2:

Duyệt Giảng viên

(Ký tên)
Trưởng bộ môn Trưởng khoa
(Ký tên) (Ký tên)

Trần Nguyên Phong

HIỆU TRƯỞNG