TÀI LIỆU MÔ TẢ HỌC THUẬT: GIÁO TRÌNH CƠ SỞ DỮ LIỆU (MÃ MÔN HỌC: MH08)


Tổng quan về giáo trình (250-300 từ)

Giáo trình môn học Cơ sở dữ liệu (Mã môn học: MH08) do Trường Trung cấp Trường Sơn (trực thuộc Sở Lao động, Thương binh và Xã hội tỉnh Đắk Lắk) ban hành theo Quyết định số 00/QĐ-TCTS ngày 26 tháng 12 năm 2022. Ban biên soạn tài liệu gồm ông Phạm Hồng Quốc (Chủ biên), bà Đậu Nguyễn Thanh Nhàn và ông Nguyễn Thái Vương. Trong chương trình đào tạo nghề Công nghệ thông tin (chuyên ngành Ứng dụng phần mềm), môn học có vị trí là môn cơ sở nghề, được bố trí giảng dạy sau khối môn học chung.

Mục tiêu học tập của giáo trình được xác lập theo ba nhóm chuẩn đầu ra:

  • Kiến thức: Trình bày hệ thống khái niệm về hệ cơ sở dữ liệu, kiến trúc 3 mức, mô hình thực thể kết hợp (ER), nguyên lý mô hình quan hệ, lý thuyết phụ thuộc hàm, các dạng chuẩn hóa và cú pháp ngôn ngữ truy vấn SQL.
  • Kỹ năng: Phân tích và thiết kế mô hình dữ liệu logic/vật lý; xác định bao đóng, tìm khóa, tìm phủ tối thiểu; thực hiện chuẩn hóa lược đồ quan hệ từ 1NF đến BCNF; cài đặt cơ sở dữ liệu và truy vấn dữ liệu trên Microsoft Access và SQL.
  • Năng lực tự chủ và trách nhiệm: Rèn luyện phương pháp làm việc chính xác, cẩn thận và tính kỷ luật trong thiết kế cấu trúc dữ liệu.

Cấu trúc giáo trình gồm 7 chương được xây dựng theo phương pháp tiếp cận từ trực quan (mô hình quan niệm ER) đến hình thức hóa toán học (đại số quan hệ, hệ tiên đề Armstrong) và hoàn thiện bằng kỹ thuật tối ưu hóa (thuật toán chuẩn hóa, phân rã bảo toàn thông tin).


Nội dung kiến thức cốt lõi (500-600 từ)

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

Tài liệu bao gồm 7 chương với tiến trình phát triển nội dung mang tính logic toán học và kỹ thuật phần mềm:

  • Chương I: Khái niệm cơ bản về cơ sở dữ liệu: Phân tích hạn chế về tính dư thừa và không nhất quán của hệ thống quản lý tập tin cổ điển (File System); mô tả kiến trúc 3 mức (Mức trong - Physical/Internal, Mức quan niệm - Conceptual, Mức ngoài - External View) cùng các ánh xạ quan niệm - trong và quan niệm - ngoài; tổng quan về hệ quản trị cơ sở dữ liệu (DBMS) và các mô hình xử lý (Client/Server 2 lớp, đa lớp, Web động).
  • Chương II: Mô hình quan hệ: Trình bày cấu trúc dữ liệu bảng; phương pháp xây dựng mô hình thực thể kết hợp (ERD) thông qua 4 khối: Thực thể, Kiểu thực thể, Thuộc tính (định danh, mô tả, tên gọi, kết nối/khóa ngoài) và Kiểu liên kết (1-1, 1-N, N-N, loại thành viên bắt buộc/tùy chọn); quy tắc chuyển đổi ERD sang lược đồ quan hệ.
  • Chương III: Ràng buộc toàn vẹn quan hệ: Xác định 3 yếu tố cấu thành một ràng buộc toàn vẹn (RBTV): Điều kiện, Bối cảnh và Tầm ảnh hưởng; phân loại RBTV thành nhóm một quan hệ (miền giá trị, liên bộ, liên thuộc tính) và nhóm nhiều quan hệ (phụ thuộc tồn tại, liên thuộc tính - liên quan hệ, thuộc tính tổng hợp).
  • Chương IV: Phụ thuộc hàm: Định nghĩa hình thức phụ thuộc hàm $X \rightarrow Y$ theo lý thuyết của E. Codd (1970); hệ tiên đề Armstrong (Phản xạ, Tăng trưởng, Bắc cầu) và các luật dẫn phái sinh (Hợp, Tựa bắc cầu, Tách); chứng minh hình thức tính xác đáng (Soundness) và tính đầy đủ (Completeness) của hệ tiên đề.
  • Chương V: Phủ của tập phụ thuộc hàm: Định nghĩa và thuật toán tính bao đóng tập thuộc tính ($X^+$); phân loại phụ thuộc hàm đầy đủ và dư thừa vế trái; thuật toán xác định phủ tối thiểu ($F_{tt}$); khái niệm siêu khóa, khóa dự tuyển, khóa chính, khóa ngoại và thuật toán tìm khóa của lược đồ quan hệ.
  • Chương VI: Ngôn ngữ thao tác dữ liệu: Khái niệm bộ, miền giá trị, tân từ của lược đồ; hệ thống các phép toán đại số quan hệ nền tảng: Hợp ($\cup$), Giao ($\cap$), Trừ ($-$), Tích Đề-các ($\times$), Chiếu ($\Pi$), Chọn ($\sigma$), Kết nối ($\bowtie$) và Phép chia ($\div$); giới thiệu ngôn ngữ truy vấn cấu trúc SQL.
  • Chương VII: Chuẩn hóa cơ sở dữ liệu: Định nghĩa và thuật toán kiểm tra các dạng chuẩn: 1NF (miền giá trị nguyên tố), 2NF (không chứa phụ thuộc hàm từng phần), 3NF (không chứa phụ thuộc hàm bắc cầu) và BCNF; lý thuyết phép tách kết nối bảo toàn thông tin và bảo toàn phụ thuộc hàm; kỹ thuật phân rã lược đồ.
Tiến trình logic nội dung:
[Hệ thống File & Kiến trúc 3 mức] -> [Mô hình ER & Đại số quan hệ] -> [Ràng buộc toàn vẹn & Phụ thuộc hàm] -> [Bao đóng, Phủ tối thiểu & Thuật toán tìm khóa] -> [Chuẩn hóa 1NF - BCNF & Phân rã]

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

Giáo trình cung cấp các lý thuyết nền tảng:

  • Lý thuyết mô hình hóa dữ liệu: Cấu trúc trừu tượng hóa thế giới thực qua mô hình thực thể liên kết và mô hình dữ liệu quan hệ.
  • Lý thuyết hình thức về phụ thuộc hàm: Cơ sở toán học rời rạc ứng dụng trong biểu diễn ngữ nghĩa dữ liệu, xây dựng trên nền tảng hệ tiên đề Armstrong.
  • Nguyên lý chuẩn hóa dữ liệu: Các tiêu chuẩn phân tích bất thường khi cập nhật dữ liệu (thêm, sửa, xóa) và nguyên tắc tách quan hệ không tổn thất thông tin.

Kỹ năng phát triển

  • Kỹ năng kỹ thuật (Technical skills): Viết biểu thức đại số quan hệ; xây dựng câu lệnh SQL; thao tác tạo bảng, liên kết và truy vấn trên Microsoft Access.
  • Kỹ năng phân tích (Analytical skills): Phân tích nghiệp vụ thực tế thành tập thuộc tính và liên kết; lập bảng tầm ảnh hưởng của ràng buộc toàn vẹn; kiểm tra tính đúng đắn của các dạng chuẩn 1NF, 2NF, 3NF.
  • Kỹ năng tính toán giải thuật (Practical competencies): Thực thi chính xác các bước giải thuật: tìm bao đóng thuộc tính $X^+$, tìm tập phụ thuộc hàm tối thiểu $F_{tt}$, tìm tất cả các khóa của lược đồ quan hệ.

Phương pháp giảng dạy và học tập (300-350 từ)

Giáo trình áp dụng phương pháp sư phạm tích hợp giữa lý thuyết hình thức hóa toán học và thực hành xử lý dữ liệu qua các bài toán cụ thể.

  • Tiếp cận diễn dịch kết hợp quy nạp: Các chương bắt đầu từ việc nêu vấn đề thực tế (như nhược điểm trùng lặp dữ liệu của hệ thống quản lý văn bản, kế toán, nhân sự dạng file riêng lẻ), sau đó đưa ra định nghĩa toán học chính xác (định nghĩa quan hệ, phụ thuộc hàm, phép toán đại số), tiếp tục chứng minh định lý và cụ thể hóa bằng các bước giải thuật.
  • Hệ thống bài tập và Case Studies thực tế: Giáo trình xây dựng các mô hình dữ liệu xuyên suốt phục vụ bài tập và thực hành:
    • Hệ thống quản lý bán hàng của công ty thương mại Y: Thực thể HÀNG, NHÀ CUNG CẤP, KHO, PHIẾU XUẤT, CỬA HÀNG; giải quyết bài toán phân rã liên kết Nhiều - Nhiều ($N-N$) thông qua thực thể kết hợp DÒNG PHIẾU XUẤT.
    • Hệ thống quản lý điểm sinh viên: Các quan hệ $Sv$, $Lop$, $Kh$, $Mh$, $Kq$ phục vụ việc minh họa biểu thức đại số quan hệ và tân từ.
    • Hệ thống quản lý đặt hàng và giao hàng: Lược đồ $Khach$, $Hoadon$, $Chitiethd$, $Phieuthu$ dùng để lập bảng tầm ảnh hưởng và kiểm tra ràng buộc toàn vẹn.
  • Phương pháp đánh giá: Kết hợp đánh giá khả năng hiểu lý thuyết (chứng minh tính xác đáng/đầy đủ của hệ luật dẫn Armstrong) với đánh giá kỹ năng giải thuật thông qua các bài tập tìm bao đóng, tìm phủ tối thiểu và xác định dạng chuẩn.
  • Hướng dẫn tự học: Sinh viên được yêu cầu nghiên cứu trước nội dung lý thuyết, tự thực hiện các bước giải thuật trên giấy trước khi đối chiếu kết quả mẫu trong tài liệu, sau đó thực hành trực tiếp trên các hệ quản trị CSDL.

Điểm nổi bật và cập nhật (250-300 từ)

Tài liệu thể hiện các đặc trưng kỹ thuật và nội dung chuyên môn cụ thể:

  • Hệ thống hóa bảng tầm ảnh hưởng của ràng buộc toàn vẹn: Khác với các tài liệu chỉ mô tả định tính về ràng buộc dữ liệu, giáo trình chuẩn hóa việc phân tích ảnh hưởng qua ma trận Thao tác cập nhật (Thêm, Sửa, Xóa) tương ứng với từng quan hệ liên đới (ký hiệu dấu $+$ hoặc $-$), giúp người thiết kế phần mềm xác định chính xác thời điểm cần kích hoạt kiểm tra tính hợp lệ của dữ liệu.
  • Tích hợp kiến trúc ứng dụng hiện đại: Giáo trình cập nhật cấu trúc cơ sở dữ liệu Client/Server 2 lớp, mô hình nhiều lớp (Multi-tier) và kỹ thuật lập trình cơ sở dữ liệu kết nối Web động, giúp người học định hình cách thức dữ liệu vận hành trong môi trường mạng.
  • Quy trình chuẩn hóa giải thuật rõ ràng: Các nội dung phức tạp như tìm phủ tối thiểu, tìm khóa và kiểm tra dạng chuẩn 2NF đều được mô tả thành các thuật toán từng bước (Step-by-step algorithms) có dữ liệu đầu vào (Input), dữ liệu đầu ra (Output) và các ví dụ chạy tay chi tiết từng vòng lặp.
  • Giải quyết bài toán quan hệ nhiều - nhiều ($N-N$): Tài liệu hướng dẫn chi tiết phương pháp tách một liên kết $N-N$ thành hai liên kết $1-N$ thông qua một thực thể kết hợp trung gian mang thuộc tính khóa ngoài của hai thực thể ban đầu.

Đối tượng sử dụng giáo trình (200-250 từ)

Giáo trình được biên soạn phục vụ các nhóm đối tượng và mục đích học thuật cụ thể:

  • Sinh viên chuyên ngành: Học sinh, sinh viên theo học trình độ Trung cấp, Cao đẳng và Đại học ngành Công nghệ thông tin (đặc thù ứng dụng phần mềm); học viên ôn thi liên thông từ Trung cấp lên Cao đẳng, Đại học; sinh viên chuẩn bị cho các kỳ thi tốt nghiệp khối ngành kỹ thuật phần mềm.
  • Kiến thức tiên quyết (Prerequisites): Người học cần hoàn thành khối kiến thức đại cương, có kiến thức cơ bản về Tin học văn phòng, cấu trúc dữ liệu đơn giản và tư duy toán học rời rạc cơ bản (lý thuyết tập hợp, mệnh đề logic).
  • Giảng viên chuyên ngành: Sử dụng giáo trình làm khung đề cương chi tiết môn học, khai thác hệ thống định lý, chứng minh toán học và bài tập mẫu có sẵn để xây dựng bài giảng lý thuyết và giáo án thực hành.
  • Tài liệu tham khảo: Dành cho lập trình viên phần mềm và người tự học cần tài liệu tra cứu có hệ thống về lý thuyết thiết kế cơ sở dữ liệu quan hệ, quy tắc đại số quan hệ và chuẩn hóa dữ liệu.

Câu hỏi thường gặp (250-300 từ)

1. Giáo trình này phù hợp với đối tượng nào?

Tài liệu được thiết kế trực tiếp cho sinh viên ngành Công nghệ thông tin (ứng dụng phần mềm) bậc Trung cấp, đồng thời có nội dung lý thuyết toán học và bài tập mở rộng đáp ứng yêu cầu cho sinh viên bậc Cao đẳng, Đại học và ôn thi liên thông.

2. Cần trang bị kiến thức nền tảng nào trước khi học?

Người học cần nắm vững kiến thức Tin học đại cương, các khái niệm toán rời rạc cơ bản về lý thuyết tập hợp (hợp, giao, phần bù, tích Descartes) và logic mệnh đề.

3. Điểm khác biệt về mặt học thuật của giáo trình này là gì?

Giáo trình kết hợp chặt chẽ giữa toán học hình thức (chứng minh hệ tiên đề Armstrong, thuật toán đại số quan hệ) với quy trình kỹ thuật cụ thể (lập bảng tầm ảnh hưởng ràng buộc toàn vẹn, quy trình chuyển đổi mô hình ER sang bảng quan hệ).

4. Phương pháp tự học giáo trình này như thế nào để đạt hiệu quả?

Người học cần đọc trước khái niệm, tự tay giải lại các ví dụ thuật toán (tính bao đóng $X^+$, tìm phủ tối thiểu, tìm khóa $K$) theo từng bước quy định trong giáo trình, sau đó cài đặt thử nghiệm trên Microsoft Access hoặc SQL.

5. Giáo trình đề cập đến những công cụ và hệ quản trị nào?

Giáo trình giới thiệu và hướng dẫn thực hành trên công cụ quản trị Microsoft Access, hệ quản trị cơ sở dữ liệu SQL, cùng các mô hình ứng dụng dữ liệu Client/Server và Web động.


Kết luận (150 từ)

Giáo trình Cơ sở dữ liệu (MH08) của Trường Trung cấp Trường Sơn cung cấp hệ thống kiến thức toàn diện từ cấu trúc lưu trữ dữ liệu, mô hình thực thể kết hợp (ER), đại số quan hệ, đến cơ sở toán học của phụ thuộc hàm và các dạng chuẩn hóa (1NF - BCNF).

Lộ trình học tập được thiết kế xuyên suốt theo chu trình: Nắm vững kiến thức hệ thống tại Chương I $\rightarrow$ Mô hình hóa dữ liệu tại Chương II $\rightarrow$ Thiết lập ràng buộc và toán tử tại Chương III, IV, VI $\rightarrow$ Tối ưu hóa cấu trúc dữ liệu qua kỹ thuật chuẩn hóa tại Chương V và VII. Đây là tài liệu đào tạo cơ sở phục vụ cho các môn học chuyên sâu về phát triển phần mềm, quản trị cơ sở dữ liệu nâng cao và lập trình ứng dụng.