Tổng quan về giáo trình
Giáo trình Cơ sở dữ liệu (Mã môn học: MH 14) là tài liệu giảng dạy chuyên môn nội bộ thuộc chương trình đào tạo ngành Công nghệ thông tin (chuyên ngành Quản trị mạng máy tính) ở trình độ Cao đẳng và Trung cấp nghề, do Trường Cao đẳng Công nghệ Thành phố Hồ Chí Minh (trước đây là Trường Cao đẳng Kinh tế - Kỹ thuật Vinatex TP.HCM) ban hành vào tháng 06 năm 2021. Môn học có tổng thời lượng 45 giờ, bao gồm 43 giờ lý thuyết và 2 giờ kiểm tra định kỳ, được bố trí sau khi người học đã hoàn thành các học phần nền tảng là Tin học và Lập trình căn bản.
Mục tiêu đào tạo của giáo trình hướng đến việc trang bị cho người học các chuẩn đầu ra rõ ràng:
- Về kiến thức: Trình bày có hệ thống các khái niệm cốt lõi về thực thể, bộ (tuple), quan hệ, khóa, phụ thuộc hàm; mô tả bản chất của mô hình cơ sở dữ liệu quan hệ, cú pháp ngôn ngữ SQL tiêu chuẩn và các cấp độ dạng chuẩn của lược đồ quan hệ.
- Về kỹ năng: Phân tích dữ liệu thực tế để thiết kế mô hình thực thể - kết hợp (Entity-Relationship Model - E-R); thực hiện chuyển đổi mô hình E-R sang lược đồ quan hệ; xác định tập khóa và tiến hành chuẩn hóa lược đồ dữ liệu ở mức tối ưu; ứng dụng thành thạo cú pháp ngôn ngữ SQL để định nghĩa và truy vấn dữ liệu.
- Về năng lực tự chủ và trách nhiệm: Rèn luyện tính cẩn thận trong thiết kế hệ thống, khả năng tự tra cứu tài liệu chuyên ngành và thu thập các mô hình cơ sở dữ liệu thực tế tại doanh nghiệp để mở rộng năng lực phân tích.
Giáo trình được cấu trúc thành 5 bài học chính theo tiến trình sư phạm từ trừu tượng hóa mô hình dữ liệu đến thao tác kỹ thuật và tối ưu hóa toán học. Cách tiếp cận của tài liệu tập trung vào việc làm rõ ý nghĩa ứng dụng thực tế của các định nghĩa, hệ quả và giải thuật logic, không đi sâu vào chứng minh toán học thuần túy. Điểm đặc sắc của giáo trình là sự kết hợp chặt chẽ giữa lý thuyết đại số quan hệ hình thức và cú pháp thực thi của ngôn ngữ SQL chuẩn (đặc biệt minh họa qua môi trường MS Access), giúp người học chuyển hóa trực tiếp các phép toán logic sang câu lệnh truy vấn dữ liệu cụ thể.
Nội dung kiến thức cốt lõi
Các chương/chủ đề chính
Nội dung giảng dạy được tổ chức thành 5 bài học trọng tâm:
-
Bài 1: Tổng quan về cơ sở dữ liệu
Trình bày thực trạng và hạn chế của hệ thống lưu trữ tập tin cổ điển (dư thừa, thiếu nhất quán, khó mở rộng, thiếu quản lý giao dịch đồng thời). Giới thiệu định nghĩa CSDL, 3 mức trừu tượng hóa (mức vật lý, mức quan niệm/logic, mức thể hiện/ngoài), kiến trúc hệ quản trị cơ sở dữ liệu (DBMS) và các thành phần ngôn ngữ (DDL, DML, SQL, DCL). Khái quát 5 mô hình dữ liệu lịch sử và hiện đại: mô hình mạng (Network Model), mô hình phân cấp (Hierarchical Model), mô hình quan hệ (Relational Model), mô hình hướng đối tượng (Object-Oriented Data Model) và mô hình thực thể kết hợp (E-R Model của P.P. Chen với các khái niệm thực thể mạnh/yếu, thuộc tính đơn/hợp/đa trị/dẫn xuất, bản số min-max).
-
Bài 2: Mô hình dữ liệu quan hệ
Xây dựng nền tảng lý thuyết quan hệ: lược đồ quan hệ ($Q$), quan hệ ($TQ$), bộ dữ liệu (tuple), miền giá trị (domain), thuộc tính (attribute), tân từ ($|Q|$). Phân loại các cấp độ khóa: siêu khóa (Super Key), khóa chỉ định (Candidate Key), khóa chính (Primary Key), thuộc tính khóa/không khóa và khóa ngoại (Foreign Key tham chiếu và phân cấp). Hệ thống hóa các phép toán đại số quan hệ:
- Các phép toán cơ bản: phép chiếu ($\pi$), phép chọn ($\sigma$), phép gán, phép đổi tên ($\rho$).
- Các phép toán tập hợp khả hợp: phép hội ($\cup$), phép giao ($\cap$), phép trừ ($-$), phép tích Descartes ($\times$).
- Các phép toán mở rộng: phép kết nối nội (Inner Join / Equi-join / Natural Join), phép kết nối ngoài (Left Join, Right Join), phép chia ($\div$), phép bù ($\neg$), phép chiếu tổng quát và các hàm kết hợp gom nhóm (COUNT, SUM, AVG, MIN, MAX).
- Thao tác cập nhật quan hệ: thêm, xóa, sửa diễn đạt qua phép toán đại số.
-
Bài 3: Ngôn ngữ truy vấn SQL
Tổng kết lịch sử phát triển của ngôn ngữ SQL từ System R / SEQUEL (IBM 1975–1976), chuẩn ANSI (1986) đến các chuẩn ISO mở rộng (1989, 1992, 1996). Hướng dẫn chi tiết cú pháp:
- Nhóm lệnh định nghĩa dữ liệu (DDL):
CREATE TABLE (với các ràng buộc PRIMARY KEY, FOREIGN KEY ... REFERENCES, NOT NULL), ALTER TABLE ADD/DROP, DROP TABLE.
- Nhóm lệnh thao tác dữ liệu (DML):
INSERT INTO, UPDATE ... SET, DELETE FROM.
- Nhóm lệnh truy vấn dữ liệu (DQL): Cấu trúc
SELECT ... FROM ... WHERE ... GROUP BY ... HAVING ... ORDER BY, các toán tử so sánh, logic, BETWEEN, IN, LIKE kèm ký tự đại diện (wildcards), xử lý giá trị NULL.
- Cú pháp truy vấn lồng nhau nhiều cấp (Nested Subqueries) trong mệnh đề
WHERE và HAVING với toán tử so sánh đơn trị và hàm kết hợp.
-
Bài 4: Ràng buộc toàn vẹn (Integrity Constraint)
Phân loại các ràng buộc toàn vẹn trong cơ sở dữ liệu: miền giá trị, liên thuộc tính, liên bộ, phụ thuộc tồn tại, liên bộ - liên quan hệ, liên thuộc tính - liên quan hệ, thuộc tính tổng hợp và chu trình đồ thị. Xây dựng lý thuyết phụ thuộc hàm (Functional Dependency - FD): định nghĩa hình thức, biểu diễn bằng đồ thị có hướng, hệ luật dẫn Armstrong (phản xạ, tăng trưởng, bắc cầu, phân rã, hội, giả bắc cầu), thuật toán tính bao đóng của tập phụ thuộc hàm ($F^+$), thuật toán tính bao đóng của tập thuộc tính ($X^+$), phụ thuộc hàm thừa, khái niệm phủ tối thiểu (Minimal Cover), và thuật toán xác định tất cả các khóa của lược đồ quan hệ (thuật toán nguyên thủy và thuật toán cải tiến).
-
Bài 5: Chuẩn hóa lược đồ cơ sở dữ liệu
Định nghĩa các dạng chuẩn dữ liệu: Dạng chuẩn 1 (1NF), Dạng chuẩn 2 (2NF), Dạng chuẩn 3 (3NF) và Dạng chuẩn Boyce - Codd (BCNF). Trình bày cơ sở lý thuyết chuẩn hóa dựa trên Định lý Delobel (1973) và khái niệm lược đồ quan hệ phổ quát. Phân tích các tiêu chuẩn bắt buộc khi phân rã lược đồ quan hệ: phép kiểm tra nối bảo toàn thông tin (Lossless Join Decomposition) và bảo toàn tập phụ thuộc hàm (Dependency Preservation), cùng thuật toán tổng hợp thiết kế CSDL đạt chuẩn 3NF và chuẩn BCNF.
Kiến thức nền tảng được xây dựng
Giáo trình thiết lập nền tảng lý luận dựa trên các công trình và mô hình khoa học tiêu chuẩn:
- Lý thuyết quan hệ: Dựa trên mô hình dữ liệu quan hệ do Tiến sĩ E.F. Codd công bố vào tháng 07/1970.
- Lý thuyết mô hình hóa dữ liệu: Mô hình thực thể kết hợp do Peter Chen đề xuất năm 1976 và mở rộng năm 1980.
- Hệ thống tiên đề: Hệ luật dẫn Armstrong áp dụng cho suy diễn phụ thuộc hàm và các định lý phân rã cấu trúc của Delobel (1973).
- Kiến trúc trừu tượng hóa: Mô hình 3 mức độc lập dữ liệu (Vật lý - Quan niệm - Thể hiện/Khung nhìn View) theo chuẩn kiến trúc DBMS quốc tế.
| Mức trừu tượng |
Đối tượng thao tác |
Phạm vi trách nhiệm |
| Mức vật lý (Physical) |
Quản trị viên CSDL, chuyên viên tin học |
Lưu trữ thực tế trên đĩa từ, băng từ, cấu trúc sector/track, chỉ mục, truy xuất tuần tự hoặc ngẫu nhiên |
| Mức quan niệm (Logical) |
Chuyên viên phân tích, thiết kế CSDL |
Xác định toàn bộ thực thể, thuộc tính, kiểu dữ liệu và mối liên hệ ngữ nghĩa giữa các bảng |
| Mức thể hiện (View) |
Người dùng cuối, lập trình viên ứng dụng |
Làm việc qua các khung nhìn (View) phân quyền, che giấu cấu trúc lưu trữ và tổ chức dữ liệu bên dưới |
Kỹ năng phát triển
Nội dung bài học được thiết kế nhằm hình thành 3 nhóm năng lực chuyên môn:
- Kỹ thuật thực hành: Viết mã lệnh SQL DDL để khởi tạo và chỉnh sửa cấu trúc bảng; thực thi các thao tác cập nhật (thêm, sửa, xóa bộ); viết các câu truy vấn đa bảng lồng nhau sử dụng kết nối trong, kết nối ngoài và gom nhóm dữ liệu.
- Phân tích mô hình: Chuyển đổi yêu cầu quản lý thực tế sang sơ đồ thực thể kết hợp (E-R); xác định chính xác thực thể mạnh, thực thể yếu, mối kết hợp nhị phân, tam phân, mối kết hợp đệ quy và bản số min-max; chuyển dịch sơ đồ E-R thành tập các lược đồ quan hệ.
- Tư duy thuật toán và chuẩn hóa: Áp dụng hệ luật dẫn Armstrong để chứng minh phụ thuộc hàm; tính bao đóng tập thuộc tính $X^+$; tìm phủ tối thiểu của tập phụ thuộc hàm; xác định toàn bộ khóa của lược đồ; thực hiện thuật toán phân rã lược đồ về dạng chuẩn 3NF và BCNF đảm bảo tính bảo toàn thông tin.
Phương pháp giảng dạy và học tập
Giáo trình áp dụng phương pháp sư phạm diễn dịch kết hợp quy nạp kỹ thuật: bắt đầu từ các bài toán thực tế của việc lưu trữ tập tin cổ điển, chỉ rõ nhược điểm kỹ thuật, từ đó dẫn dắt người học tiếp cận các khái niệm lý thuyết và quy tắc toán học. Các công thức lý thuyết trừu tượng được diễn giải trực tiếp thông qua cơ chế hoạt động trên bảng dữ liệu hai chiều thay vì sa vào chứng minh thuần túy.
Hệ thống bài tập và nghiên cứu tình huống xuyên suốt giáo trình khai thác trực tiếp từ các bài toán quản lý thực tế:
- Quản lý đào tạo và sinh viên: Các thực thể
SINHVIEN(MaSV, HoTen, NgaySinh, MaKhoa, HocBong), KHOA(MaKhoa, TenKhoa), MONHOC(MaMH, TenMH), KETQUA(MaSV, MaMH, LanThi, Diem).
- Quản trị nhân sự và tổ chức:
NHANVIEN(MaNV, TenNV, Luong, PhaiNu, NgayTuyen, TruongPhong), PHONGBAN(MaPB, TenPB), DEAN(MaDA, TenDA), PHANCONG(MaNV, SoDA, ThoiGian).
- Quản lý bán hàng và cung ứng:
HOADON(SoHD, NgayHD), CTHOADON(SoHD, MaSP, SoLuong, DonGia), SANPHAM(MaSP, TenSP, DonGia), CUNGCAP(MaNCC, HangHoa).
- Dữ liệu quy mô lớn: Cấu trúc phân cấp hình cây của cơ sở dữ liệu Tổng điều tra dân số toàn quốc (Tỉnh/Thành phố $\rightarrow$ Quận/Huyện $\rightarrow$ Phường/Xã $\rightarrow$ Địa bàn $\rightarrow$ Hộ điều tra $\rightarrow$ Nhân khẩu).
Phương pháp đánh giá học phần bám sát cấu trúc 45 giờ học:
- Đánh giá quá trình thông qua các bài tập kiểm tra logic đại số quan hệ và thuật toán chuẩn hóa sau mỗi bài học.
- Đánh giá định kỳ qua 2 giờ kiểm tra chính thức nhằm đo lường khả năng viết mã SQL chuẩn và kỹ năng phân tích khóa lược đồ.
Người học được hướng dẫn tự học bằng cách làm toàn bộ bài tập tự giải ở cuối mỗi chương, tự đối chiếu kết quả của các phép toán đại số quan hệ với các truy vấn SQL tương đương, đồng thời khảo sát mô hình CSDL của các doanh nghiệp để tự rèn luyện kỹ năng mô hình hóa thực tế.
Điểm nổi bật và cập nhật
Giáo trình cập nhật và hệ thống hóa các kiến thức chuyên ngành theo các mốc phát triển công nghệ:
-
Lịch sử chuẩn hóa ngôn ngữ truy vấn:
Ghi nhận tiến trình phát triển từ hệ thống thực nghiệm System R và ngôn ngữ SEQUEL của IBM (1975–1976), bước chuyển sang SEQUEL2 (1976), đổi tên thành SQL (1979) trên System R, cho đến khi ANSI chính thức ban hành chuẩn SQL vào năm 1986 và ISO công nhận. Tài liệu cũng phản ánh các lần tái chuẩn hóa mở rộng vào các năm 1989, 1992 và 1996 nhằm tăng cường kiểm soát toàn vẹn dữ liệu và giao thức bảo mật.
-
So sánh toàn diện 5 mô hình dữ liệu:
Giáo trình cung cấp góc nhìn so sánh khách quan giữa các thế hệ mô hình dữ liệu:
- Mô hình mạng (đồ thị có hướng, liên kết loại mẫu tin chủ - thành viên, hạn chế khi thể hiện ngữ nghĩa phức tạp).
- Mô hình phân cấp (cấu trúc cây, liên kết 1:n nghiêm ngặt giữa nút cha và nút con).
- Mô hình quan hệ (dựa trên lý thuyết tập hợp, cấu trúc bảng 2 chiều vững chắc).
- Mô hình thực thể kết hợp (trực quan hóa thế giới thực ở mức quan niệm).
- Mô hình hướng đối tượng (xuất hiện cuối thập niên 80 - đầu thập niên 90 với các tính chất đóng gói, kế thừa, đa hình, lớp
COMPLEX, lớp MATRIX, tích hợp phương thức xử lý trực tiếp vào kiểu dữ liệu).
-
Gắn kết hệ quản trị cơ sở dữ liệu thực tế:
Nội dung lý thuyết được đối chiếu với các hệ quản trị CSDL thương mại và phổ dụng như Oracle, SQL Server, IBM DB2, Sybase, Informix, MS Access, Visual FoxPro và Paradox. Cú pháp câu lệnh SQL và các ràng buộc dữ liệu được quy chuẩn hóa trên môi trường thực hành MS Access, giúp sinh viên làm quen với các kiểu dữ liệu thực tế (Text, Byte, Integer, Single, DateTime, YesNo) và các quy tắc xử lý trường giá trị rỗng (NULL).
Đối tượng sử dụng giáo trình
Giáo trình được biên soạn phục vụ các nhóm đối tượng cụ thể trong hệ thống giáo dục nghề nghiệp và đại học:
- Sinh viên bậc Cao đẳng và Trung cấp: Thuộc ngành Công nghệ thông tin, chuyên ngành Quản trị mạng máy tính và các chuyên ngành liên quan đến Tin học ứng dụng.
- Yêu cầu tiên quyết: Người học bắt buộc phải hoàn thành các học phần Tin học đại cương và Lập trình căn bản để có tư duy logic và kiến thức cơ sở về cấu trúc dữ liệu trước khi tiếp cận môn học này.
- Giảng viên chuyên ngành: Sử dụng làm đề cương và tài liệu giảng dạy chính khóa cho học phần Cơ sở dữ liệu (thời lượng 45 tiết), làm khung tham chiếu thiết kế ngân hàng câu hỏi kiểm tra và bài tập thực hành.
- Người tự học và nghiên cứu: Phục vụ kỹ thuật viên mạng, lập trình viên phần mềm và cán bộ quản lý hệ thống thông tin cần tra cứu kiến thức nền tảng về đại số quan hệ, cú pháp SQL chuẩn, và quy trình phân tích chuẩn hóa cơ sở dữ liệu từ dạng 1NF đến BCNF.
Câu hỏi thường gặp
1. Giáo trình này phù hợp với ai?
Giáo trình được xây dựng phục vụ trực tiếp sinh viên bậc Cao đẳng và Trung cấp chuyên ngành Quản trị mạng máy tính, Công nghệ thông tin; đồng thời là tài liệu tham khảo cho giảng viên giảng dạy và người tự học cần củng cố kiến thức nền tảng về cơ sở dữ liệu quan hệ.
2. Cần kiến thức nền nào để học?
Người học cần hoàn thành hai học phần tiên quyết là Tin học và Lập trình căn bản. Kiến thức toán rời rạc cơ bản về lý thuyết tập hợp và logic mệnh đề sẽ giúp tiếp thu nhanh các phép toán đại số quan hệ và hệ luật dẫn Armstrong.
3. Điểm khác biệt của giáo trình này so với các tài liệu khác là gì?
Tài liệu lược bỏ các phần chứng minh định lý toán học phức tạp, tập trung phân tích ý nghĩa thực tế của các công thức, thuật toán (tính bao đóng, tìm khóa, tìm phủ tối thiểu, phân rã 3NF/BCNF) và đối chiếu trực tiếp giữa phép toán đại số quan hệ với cú pháp ngôn ngữ truy vấn SQL.
4. Làm sao để tự học giáo trình hiệu quả?
Người học nên học tuần tự theo tiến trình 5 bài: vẽ mô hình E-R $\rightarrow$ chuyển đổi sang lược đồ quan hệ $\rightarrow$ viết biểu thức đại số quan hệ $\rightarrow$ thực thi câu lệnh SQL $\rightarrow$ kiểm tra ràng buộc toàn vẹn và tối ưu chuẩn hóa. Sau mỗi bài học, cần hoàn thành đầy đủ bài tập mẫu và bài tập tự giải đính kèm.
5. Giáo trình sử dụng chuẩn ngôn ngữ và công cụ nào để thực hành?
Giáo trình sử dụng chuẩn ngôn ngữ SQL quốc tế (ANSI/ISO SQL), minh họa cú pháp và kiểu dữ liệu chi tiết trên hệ quản trị cơ sở dữ liệu Microsoft Access, tương thích tốt với các hệ quản trị CSDL quan hệ phổ biến như SQL Server và Oracle.
Kết luận
Giáo trình Cơ sở dữ liệu của Trường Cao đẳng Công nghệ Thành phố Hồ Chí Minh là tài liệu học thuật hoàn chỉnh, chuẩn hóa toàn bộ khối kiến thức nền tảng về cơ sở dữ liệu quan hệ cho sinh viên khối ngành Công nghệ thông tin. Tài liệu định hình rõ lộ trình tiếp thu khoa học: từ mô hình hóa dữ liệu thế giới thực bằng sơ đồ E-R, thao tác dữ liệu qua đại số quan hệ và ngôn ngữ SQL, đến kiểm soát tính toàn vẹn và chuẩn hóa tối ưu lược đồ dữ liệu theo các chuẩn 3NF, BCNF. Đây là nền tảng kỹ thuật bắt buộc để người học tiến tới các học phần chuyên sâu về phân tích thiết kế hệ thống thông tin và quản trị cơ sở dữ liệu nâng cao.