Tổng quan về giáo trình

Giáo trình Cơ sở dữ liệu (Mã môn học: MH10) do Lê Kim Tuyến chủ biên, được Trường Cao đẳng Cộng đồng Đồng Tháp ban hành năm 2017 theo Quyết định của Hiệu trưởng. Môn học được định vị là học phần chuyên môn nghề bắt buộc thuộc chương trình đào tạo ngành Quản trị mạng máy tính trình độ cao đẳng. Về mặt phân bổ chương trình, môn học được giảng dạy sau các môn học chung và đóng vai trò tiên quyết, tạo nền tảng trực tiếp để người học tiếp thu các môn học, mô-đun chuyên môn nghề tiếp theo cũng như phục vụ công tác lập trình ứng dụng.

Mục tiêu học tập của giáo trình được xác định cụ thể trên ba phương diện:

  • Về kiến thức: Cung cấp cơ sở lý thuyết về hệ thống dữ liệu, các khái niệm cơ bản (khóa, lược đồ quan hệ, mô hình thực thể - kết hợp), lý thuyết đại số quan hệ, ngôn ngữ định nghĩa và thao tác dữ liệu SQL, cùng các quy tắc chuẩn hóa dữ liệu.
  • Về kỹ năng: Trang bị khả năng xây dựng mô hình quan hệ, chuyển đổi câu hỏi tối ưu sang ngôn ngữ SQL, thiết kế cơ sở dữ liệu đạt chuẩn (từ 1NF đến BCNF), viết và thực thi các chương trình ứng dụng cơ sở dữ liệu trên máy tính.
  • Về năng lực tự chủ và trách nhiệm: Rèn luyện ý thức học tập chủ động, tác phong cẩn thận, tỉ mỉ và độ chính xác cao trong thao tác kỹ thuật máy tính.

Cấu trúc giáo trình gồm 06 bài học lý thuyết chính và hệ thống 05 bài thực hành bổ trợ. Điểm đặc sắc của tài liệu là phương pháp tiếp cận diễn dịch: đi từ các mô hình khái niệm mức cao (ERD), chuyển sang cơ sở toán học hình thức (đại số quan hệ, ràng buộc toàn vẹn), tiến đến cài đặt thực nghiệm thông qua hệ quản trị cơ sở dữ liệu quan hệ với ngôn ngữ SQL, và kết thúc bằng phương pháp chuẩn hóa logic nhằm triệt tiêu dư thừa dữ liệu.

Nội dung kiến thức cốt lõi

Các chương/chủ đề chính

Nội dung lý thuyết của giáo trình được triển khai qua 06 chương với trình tự logic chặt chẽ:

  • Bài 1: Tổng quan về cơ sở dữ liệu (Mã bài: MH10-01): Khái niệm dữ liệu (Data), cơ sở dữ liệu (Database), hệ quản trị cơ sở dữ liệu (DBMS). Kiến trúc và các đặc tính cơ bản gồm tính tự mô tả (lưu trữ meta-data trong catalog), tính độc lập giữa chương trình và dữ liệu, tính trừu tượng hóa dữ liệu (đối tượng, thuộc tính, mối liên hệ), tính nhất quán và các cách nhìn (views). Phân loại nhóm người dùng: Quản trị viên (DBA), Thiết kế viên (Database Designer), Người dùng cuối (End User gồm người ít sử dụng, người dùng thường xuyên và người dùng đặc biệt).
  • Bài 2: Các mô hình dữ liệu (Mã bài: MH10-02): Khái niệm mô hình mức cao, mô hình cài đặt và mô hình vật lý mức thấp. Phân tích cấu trúc mô hình Thực thể - Liên kết (ERD) gồm tập thực thể, thuộc tính nguyên tố, mối kết hợp, bản số $(0,1), (1,1), (0,n), (1,n)$, số ngôi/chiều của liên kết (2 ngôi, 3 ngôi), khóa chính. Tổng quan lịch sử các mô hình: mô hình quan hệ (E.F. Codd, thập niên 1970), mô hình mạng (cuối thập niên 1960), mô hình phân cấp dạng cây (thập niên 1960) và mô hình hướng đối tượng.
  • Bài 3: Ràng buộc toàn vẹn (Mã bài: MH10-03): Định nghĩa ràng buộc toàn vẹn (RBTV) như các điều kiện bất biến trên thể hiện quan hệ. Ba đặc trưng của RBTV gồm: Bối cảnh, Nội dung (diễn giải bằng ngôn ngữ tự nhiên và ngôn ngữ hình thức như phép tính quan hệ, đại số quan hệ), và Bảng tầm ảnh hưởng (cho thao tác Thêm, Xóa, Sửa). Phân loại RBTV trong một quan hệ (miền giá trị, liên bộ, liên thuộc tính) và trên nhiều quan hệ (tham chiếu/khóa ngoạ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, chu trình).
  • Bài 4: Ngôn ngữ thao tác dữ liệu (Mã bài: MH10-04): Cơ sở hình thức của đại số quan hệ. Phép toán tập hợp: Hội ($\cup$), Giao ($\cap$), Hiệu ($-$), Tích Cartesian ($\times$). Phép toán quan hệ chuyên biệt: Phép chiếu ($\pi$), Phép chọn ($\sigma$), Phép đổi tên ($\rho$), Phép kết nối ($\bowtie$ gồm theta join, equi join, natural join), Phép kết ngoài (Left/Right/Full Outer Join), Phép chia ($\div$). Biểu diễn các thao tác cập nhật dữ liệu (Insert, Delete, Update) qua biểu thức gán quan hệ.
  • Bài 5: Ngôn ngữ truy vấn dữ liệu SQL (Mã bài: MH10-05): Cú pháp ngôn ngữ SQL cho hệ quản trị cơ sở dữ liệu quan hệ (RDBMS). Ngôn ngữ định nghĩa dữ liệu (DDL): CREATE TABLE, DROP TABLE, ALTER TABLE, CREATE DOMAIN, CREATE DATABASE, cùng hệ thống kiểu dữ liệu (Numeric, Character String, Datetime, Bit). Ngôn ngữ cập nhật dữ liệu (DML): INSERT INTO, UPDATE, DELETE FROM. Ngôn ngữ truy vấn dữ liệu (DQL): Cấu trúc SELECT - FROM - WHERE, mệnh đề ORDER BY, toán tử so sánh LIKE, BETWEEN, các hàm kết hợp (COUNT, SUM, AVG, MIN, MAX), gom nhóm dữ liệu GROUP BY và điều kiện nhóm HAVING. Kỹ thuật truy vấn lồng (phân cấp và tương quan), toán tử so sánh tập hợp (IN, NOT IN, ALL, ANY, EXISTS, NOT EXISTS).
  • Bài 6: Chuẩn hóa CSDL (Mã bài: MH10-01/Bài 6): Khái niệm phụ thuộc hàm và phân rã không làm mất thông tin nhằm loại bỏ dư thừa dữ liệu và các bất thường khi thao tác (Insert, Delete, Update). Quy trình chuyển đổi các dạng chuẩn: Chuẩn 1 (1NF - loại bỏ nhóm lặp và thuộc tính đa trị), Chuẩn 2 (2NF - loại bỏ phụ thuộc hàm riêng phần vào khóa chính), Chuẩn 3 (3NF - loại bỏ phụ thuộc bắc cầu), và Chuẩn Boyce-Codd (BCNF - loại bỏ phụ thuộc hàm của thuộc tính khóa vào thuộc tính không khóa).

Kiến thức nền tảng được xây dựng

Giáo trình thiết lập hệ thống tri thức trên ba nền tảng cốt lõi:

  1. Lý thuyết tập hợp và đại số quan hệ: Kế thừa trực tiếp nguyên lý nền tảng do E.F. Codd phát triển từ đầu những năm 1970, tạo cơ sở toán học chặt chẽ cho cấu trúc bảng và các phép toán xử lý dữ liệu.
  2. Lý thuyết ràng buộc toàn vẹn: Hệ thống hóa cơ chế kiểm soát tính nhất quán của dữ liệu qua ma trận đánh giá bối cảnh, ngôn ngữ vị từ hình thức và cấu trúc bảng tầm ảnh hưởng (TAH).
  3. Lý thuyết phụ thuộc hàm và chuẩn hóa: Khung lý thuyết phân tích mối quan hệ ngữ nghĩa giữa các thuộc tính để tối ưu cấu trúc lưu trữ và ngăn ngừa dị thường dữ liệu.

Kỹ năng phát triển

Thông qua hệ thống bài học và bài thực hành, giáo trình hình thành các nhóm năng lực:

  • Kỹ năng kỹ thuật: Cài đặt lược đồ bảng dữ liệu bằng câu lệnh DDL; viết mã lệnh DML để thao tác dữ liệu; xây dựng câu truy vấn SQL phức tạp kết hợp gom nhóm, điều kiện lọc nhóm và truy vấn con lồng nhau.
  • Kỹ năng phân tích: Trích xuất yêu cầu bài toán thực tế để thiết lập mô hình ER; xác định bản số quan hệ; phân tích phụ thuộc hàm để xác định khóa chính, khóa ngoại và dạng chuẩn của lược đồ quan hệ.
  • Kỹ năng thực hành nghề nghiệp: Thiết kế cơ sở dữ liệu chuẩn phục vụ cho các hệ thống ứng dụng phần mềm; kiểm soát tính đúng đắn của dữ liệu trên hệ quản trị cơ sở dữ liệu quan hệ cụ thể.

Phương pháp giảng dạy và học tập

Giáo trình áp dụng mô hình sư phạm tích hợp giữa lý thuyết hình thức và bài tập ứng dụng nghiệp vụ thực tế. Mỗi chủ đề đều đi kèm cấu trúc: Khái niệm $\rightarrow$ Quy tắc hình thức $\rightarrow$ Ví dụ minh họa $\rightarrow$ Bài toán nghiệp vụ $\rightarrow$ Bài tập thực hành.

Bài tập và hệ thống Case Studies

Hệ thống ví dụ trong giáo trình được xây dựng trên các ngữ cảnh quản lý thực tế:

  • CSDL Quản lý Đề án Công ty: Bao gồm các quan hệ NHANVIEN (MANV, HONV, TENNV, LUONG, MA_NQL, PHG), PHONGBAN (MAPHG, TENPB, TRPHG), PHANCONG (MA_NVIEN, MAPHG, THOIGIAN), THANNHAN (MANV, TENTN). Case study này dùng để minh họa xuyên suốt từ mô hình ER, các quy tắc ràng buộc toàn vẹn, biểu thức đại số quan hệ đến cú pháp câu lệnh SQL.
  • CSDL Quản lý Đào tạo / Học viên: Minh họa các liên kết đa ngôi (HOCVIEN, LOP, MONHOC, LANTHI), cú pháp cập nhật dữ liệu UPDATE, DELETE trên bảng Hocvien, Monhoc.
  • CSDL Bán hàng và Quản lý Kho: Các quan hệ HOADON, CTHD, NHACUNGCAP, HANGHOA, BAOBI dùng trong bài toán ràng buộc liên bộ - liên quan hệ và bài thực hành mô hình hóa.

Cấu trúc bài tập thực hành

Giáo trình tích hợp 05 bài thực hành định lượng thời gian và mục tiêu cụ thể:

  • Bài thực hành số 1 (4 giờ - Chương 2): Xây dựng mô hình dữ liệu cho doanh nghiệp kho hàng phân phối (quản lý nhà cung cấp, mã hàng, số lượng tối đa, quy cách bao bì, xác định khóa).
  • Bài thực hành số 2 (3 giờ lý thuyết, 1 giờ kiểm tra - Chương 3): Phân tích và biểu diễn hình thức các ràng buộc miền giá trị trên CSDL SINHVIEN (thuộc tính PHAI $\in [0,1]$) và MONAN (thuộc tính LOAI $\in [\text{'Chính'}, \text{'Phụ'}]$), lập bảng tầm ảnh hưởng chi tiết.
  • Bài thực hành số 3, 4, 5 (Chương 4, 5, 6): Rèn luyện kỹ năng viết biểu thức đại số quan hệ, thực thi câu lệnh SQL trên hệ quản trị cơ sở dữ liệu và giải thuật chuẩn hóa lược đồ quan hệ.

Phương pháp đánh giá và tự học

  • Phương pháp đánh giá: Kết hợp đánh giá năng lực lý thuyết qua khả năng viết biểu thức toán học hình thức, lập bảng tầm ảnh hưởng, phân rã dạng chuẩn; và đánh giá kỹ năng thực hành thông qua các bài kiểm tra trực tiếp trên máy tính.
  • Hướng dẫn tự học: Giáo trình định hướng người học tự đọc hiểu cấu trúc catalog/meta-data, thực hành đối chiếu giữa câu lệnh đại số quan hệ và câu lệnh SQL tương đương, tự giải các bài tập thiết kế lược đồ quan hệ và phân rã chuẩn hóa từ 1NF đến BCNF.

Điểm nổi bật và cập nhật

Giáo trình thể hiện tính hệ thống và chuẩn mực học thuật thông qua các điểm cụ thể:

Khía cạnh Nội dung thể hiện trong giáo trình
Cơ sở lý thuyết Hệ thống hóa mô hình dữ liệu quan hệ trên nền tảng toán học của E.F. Codd (lý thuyết tập hợp và đại số quan hệ).
Phương pháp chuẩn hóa Trình bày tường minh 4 cấp độ chuẩn hóa (1NF, 2NF, 3NF, BCNF) với thuật toán phân rã cụ thể dựa trên phụ thuộc hàm.
Kiểm soát toàn vẹn Phương pháp Bảng tầm ảnh hưởng (TAH) chuẩn hóa quy trình kiểm tra các tác vụ Thêm (+), Xóa (-), Sửa (*) trên từng quan hệ.
Thực hành ứng dụng Đồng bộ giữa biểu thức đại số quan hệ và câu lệnh SQL thực tế trên hệ quản trị cơ sở dữ liệu quan hệ.
  1. Tính sư phạm trong phân tích ràng buộc toàn vẹn: Thay vì chỉ liệt kê quy tắc bằng ngôn ngữ tự nhiên, giáo trình chuẩn hóa việc mô tả ràng buộc qua ba thành phần: Bối cảnh, Biểu diễn hình thức (sử dụng lượng từ $\forall, \exists$, phép toán logic), và Bảng tầm ảnh hưởng. Phương pháp này giúp người học xác định chính xác thời điểm hệ quản trị cần can thiệp kiểm tra tính toàn vẹn khi có thao tác cập nhật dữ liệu.
  2. Quy trình chuẩn hóa lược đồ mạch lạc: Các khái niệm vi phạm dạng chuẩn (thuộc tính đa trị, nhóm lặp ở 1NF; phụ thuộc hàm riêng phần ở 2NF; phụ thuộc bắc cầu ở 3NF; phụ thuộc hàm vào thuộc tính không khóa ở BCNF) đều được trình bày kèm quy tắc tách bảng (phân rã) giữ nguyên thông tin, kèm ví dụ lược đồ NHÂNVIÊN_DỰÁN và NHÂNVIÊN_ĐƠNVỊ.
  3. Mối liên hệ giữa lý thuyết và công nghệ: Các toán tử đại số quan hệ như phép chọn ($\sigma$), phép chiếu ($\pi$), phép kết nối ($\bowtie$) được đặt song song với các mệnh đề tương ứng trong ngôn ngữ SQL (SELECT, WHERE, INNER JOIN, GROUP BY, HAVING), giúp người học hiểu rõ bản chất xử lý của bộ tối ưu hóa truy vấn trong các hệ RDBMS.

Đố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 chuyên ngành: Học sinh, sinh viên trình độ cao đẳng ngành Quản trị mạng máy tính và các ngành công nghệ thông tin liên quan. Giáo trình được sử dụng trong giai đoạn đào tạo chuyên môn nghề bắt buộc, cung cấp kiến thức nền tảng để người học tiếp tục theo học các học phần quản trị mạng, lập trình cơ sở dữ liệu và xây dựng phần mềm ứng dụng.
  • Yêu cầu kiến thức tiên quyết (Prerequisites): Người học cần hoàn thành các môn học chung, nắm vững kiến thức tin học cơ sở, thao tác cơ bản trên máy tính và tư duy logic toán học tập hợp.
  • Giảng viên chuyên ngành: Sử dụng làm tài liệu giảng dạy chính thức, làm căn cứ phân bổ thời lượng giữa các giờ học lý thuyết trên lớp và giờ thực hành trong phòng máy theo đúng đề cương chi tiết mô-đun MH10.
  • Người tự học và tham khảo: Dành cho kỹ thuật viên, lập trình viên mới bắt đầu cần củng cố kiến thức nền tảng về thiết kế cơ sở dữ liệu quan hệ, đại số quan hệ và chuẩn hóa dữ liệu từ góc độ toán học và kỹ thuật.

Câu hỏi thường gặp

1. Giáo trình này phù hợp với ai?

Tài liệu được thiết kế chuyên biệt cho sinh viên trình độ cao đẳng ngành Quản trị mạng máy tính và sinh viên khối ngành Công nghệ thông tin cần học phần nền tảng về cơ sở dữ liệu quan hệ.

2. Cần kiến thức nền nào trước khi học giáo trình này?

Người học cần hoàn thành các môn học cơ bản trong chương trình đại cương, có kỹ năng sử dụng máy tính căn bản và hiểu biết sơ cấp về logic toán học (lý thuyết tập hợp).

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ì?

Giáo trình kết hợp chặt chẽ giữa toán học hình thức (đại số quan hệ, lượng từ toán học, bảng tầm ảnh hưởng) và kỹ năng thực hành câu lệnh SQL, kèm các bài tập phân rã chuẩn hóa từ 1NF đến BCNF được giải thích theo từng bước cụ thể.

4. Làm sao để tự học hiệu quả với giáo trình này?

Người học nên học tuần tự theo 06 bài học: nắm chắc khái niệm ERD ở Bài 2, luyện tập viết biểu thức hình thức và bảng tầm ảnh hưởng ở Bài 3, giải bài tập đại số quan hệ ở Bài 4, sau đó cài đặt trực tiếp các câu lệnh SQL ở Bài 5 trên máy tính và tự thực hiện phân rã chuẩn hóa ở Bài 6.

5. Có tài liệu thực hành bổ trợ nào kèm theo giáo trình không?

Giáo trình tích hợp sẵn 05 bài thực hành chi tiết ở phần sau của tài liệu (từ Trang 46 đến Trang 54), bao gồm các case study cụ thể như Quản lý kho hàng phân phối và Quản lý thông tin sinh viên/món ăn để người học trực tiếp làm bài tập và làm bài kiểm tra.

Kết luận

Giáo trình Cơ sở dữ liệu (MH10) của Trường Cao đẳng Cộng đồng Đồng Tháp cung cấp cấu trúc kiến thức hoàn chỉnh về mô hình dữ liệu quan hệ, từ nền tảng thiết kế khái niệm, kiểm soát ràng buộc toàn vẹn, đại số quan hệ toán học đến kỹ thuật truy vấn SQL và chuẩn hóa dữ liệu. Lộ trình học tập được thiết kế xuyên suốt theo tiến trình logic: mô hình hóa thế giới thực $\rightarrow$ định nghĩa ràng buộc $\rightarrow$ thao tác dữ liệu $\rightarrow$ cài đặt câu lệnh $\rightarrow$ tối ưu hóa lược đồ. Đi kèm hệ thống 05 bài tập thực hành chuyên đề, giáo trình là tài liệu học tập và giảng dạy chuẩn mực cho chương trình đào tạo chuyên môn nghề công nghệ thông tin.