TÀI LIỆU HỌC THUẬT: GIÁO TRÌNH CƠ SỞ DỮ LIỆU 2

Đơn vị phát hành: Khoa Công nghệ Thông tin – Trường Đại học Phan Thiết
Phân loại tài liệu: Giáo trình lưu hành nội bộ
Cấp độ đào tạo: Đại học / Cao học ngành Công nghệ Thông tin

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

Môn học và vị trí trong chương trình đào tạo

Giáo trình Cơ sở dữ liệu 2 do Khoa Công nghệ Thông tin – Trường Đại học Phan Thiết biên soạn là tài liệu học tập chuyên ngành cốt lõi trong chương trình đào tạo kỹ sư và cử nhân ngành Công nghệ Thông tin. Môn học giữ vị trí cầu nối giữa khối kiến thức cơ sở ngành (Toán rời rạc, Cấu trúc dữ liệu và giải thuật) và khối kiến thức chuyên sâu về kỹ thuật phần mềm, quản trị hệ thống và phân tích dữ liệu. Tài liệu cung cấp cơ sở lý thuyết hình thức và phương pháp luận kỹ thuật phục vụ việc phân tích, thiết kế, tối ưu hóa các hệ thống cơ sở dữ liệu quan hệ.

Mục tiêu học tập (Learning Outcomes)

Sau khi hoàn thành chương trình học dựa trên giáo trình, người học đạt được các chuẩn đầu ra:

  • Kiến thức: Nắm vững bản chất của hệ cơ sở dữ liệu, các chức năng của hệ quản trị cơ sở dữ liệu (DBMS), kiến trúc siêu dữ liệu (metadata); hiểu sâu cơ sở toán học của mô hình quan hệ do Ted Codd đề xuất (1970); làm chủ lý thuyết phụ thuộc hàm, hệ tiên đề Armstrong và các tiêu chuẩn dạng chuẩn từ 1NF đến 5NF.
  • Kỹ năng: Có khả năng khảo sát, trích xuất yêu cầu từ thế giới thực để xây dựng lược đồ quan niệm bằng mô hình Thực thể - Liên kết (ER) và Thực thể - Liên kết mở rộng (EER); chuyển đổi thành công lược đồ ER/EER sang lược đồ quan hệ; biểu diễn các truy vấn dữ liệu thông qua đại số quan hệ; áp dụng các thuật toán thiết kế để phân rã quan hệ bảo toàn thông tin và bảo toàn phụ thuộc hàm.
  • Mức độ tự chủ: Có khả năng độc lập phân tích ngữ nghĩa dữ liệu, phát hiện các dị thường cập nhật và đề xuất giải pháp chuẩn hóa cho các lược đồ cơ sở dữ liệu phức tạp trong thực tế.

Cấu trúc và cách tiếp cận

Giáo trình được tổ chức thành 4 chương với cấu trúc phát triển tuần tự:

  • Chương I: Các khái niệm cơ bản về hệ cơ sở dữ liệu
  • Chương II: Mô hình thực thể - liên kết (Mô hình ER và EER)
  • Chương III: Mô hình quan hệ, các ràng buộc quan hệ và đại số quan hệ
  • Chương IV: Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ, các thuật toán thiết kế cơ sở dữ liệu quan hệ

Cách tiếp cận của tài liệu đi từ mô hình mức cao (trừu tượng hóa thế giới thực độc lập với hệ quản trị CSDL) đến mô hình logic cài đặt (mô hình quan hệ toán học), sau đó đi sâu vào công cụ toán học hình thức để đánh giá, tinh chỉnh và tối ưu hóa lược đồ dữ liệu.

Điểm đặc sắc của giáo trình

Giáo trình kết hợp chặt chẽ giữa tính chuẩn xác của cơ sở toán học (lý thuyết tập hợp, logic vị từ bậc nhất, lý thuyết phụ thuộc hàm) và tính ứng dụng kỹ thuật thông qua các mô hình tình huống cụ thể (cơ sở dữ liệu TRƯỜNG, CÔNGTY, THƯ VIỆN). Toàn bộ quy trình thiết kế cơ sở dữ liệu được chuẩn hóa thành các bước logic rõ ràng, từ tập hợp yêu cầu, thiết kế quan niệm, ánh xạ logic, đến thiết kế vật lý.

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

                    TIẾN TRÌNH THIẾT KẾ CƠ SỞ DỮ LIỆU
                             (Theo Giáo trình)

   [ Thế giới thực / Miniworld ]

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

Chương I: Các khái niệm cơ bản về hệ cơ sở dữ liệu

Chương I thiết lập các định nghĩa nền móng về cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu (DBMS) và môi trường hệ cơ sở dữ liệu (Hình I-1). Dữ liệu được định nghĩa là các sự kiện có thể ghi lại được và mang ý nghĩa; cơ sở dữ liệu là tập hợp các dữ liệu có liên quan logic, biểu thị một khía cạnh của thế giới thực (miniworld).

  • Chức năng DBMS: Quản lý từ điển dữ liệu (lưu trữ siêu dữ liệu - metadata), duy trì tính độc lập giữa chương trình và dữ liệu, hỗ trợ nhiều khung nhìn (view), kiểm soát truy cập đồng thời (concurrency control), đảm bảo an toàn và phục hồi dữ liệu, cung cấp ngôn ngữ truy vấn phi thủ tục.
  • Phân loại mô hình CSDL: Mô hình dữ liệu bậc cao (mức quan niệm), mô hình dữ liệu bậc thấp (mức vật lý), và mô hình dữ liệu thể hiện (mức logic như mô hình quan hệ, mô hình mạng, mô hình phân cấp).
  • Phân loại con người trong hệ thống: Phân định rõ 7 nhóm đối tượng gồm Người quản trị (DBA), Người thiết kế CSDL (Database Designer), Người sử dụng cuối (End User - phân thành người dùng chủ động và thụ động), Người phân tích hệ thống và lập trình ứng dụng, Người thiết kế và cài đặt DBMS, Người phát triển công cụ, cùng Thao tác viên và bảo trì.
  • Ngôn ngữ và giao diện: Phân biệt Ngôn ngữ định nghĩa dữ liệu (DDL) và Ngôn ngữ thao tác dữ liệu (DML). DML được chia thành mức cao (phi thủ tục, "một lần một tập hợp") và mức thấp (thủ tục, "một lần một bản ghi"). Hệ thống giao diện gồm: giao diện dựa trên bảng chọn (menu), dựa trên mẫu biểu (form), giao diện đồ họa (GUI) và giao diện dành riêng cho DBA.
  • Mô hình ví dụ: Minh họa qua CSDL TRƯỜNG gồm 5 bảng: SINHVIÊN, MÔNHỌC, HỌCPHẦN, ĐIỂM, BIẾTTRƯỚC (Hình I-2).

Chương II: Mô hình thực thể - liên kết (ER và EER)

Chương II trình bày kỹ thuật mô hình hóa quan niệm bậc cao thông qua mô hình ER và mô hình mở rộng EER.

  • Thành phần cơ bản mô hình ER:
    • Thực thể và thuộc tính: Thuộc tính đơn, phức hợp, đơn trị, đa trị, thuộc tính lưu trữ, thuộc tính suy diễn được, thuộc tính có giá trị không xác định (null), và thuộc tính phức tạp. Miền giá trị của thuộc tính $A$ trên kiểu thực thể $E$ được định nghĩa toán học là ánh xạ $A: E \to P(V)$.
    • Khóa và kiểu thực thể: Định nghĩa kiểu thực thể, tập thực thể, thuộc tính khóa đơn và khóa phức hợp. Khái niệm kiểu thực thể yếu (weak entity), khóa bộ phận (partial key), và kiểu liên kết xác định (identifying relationship).
    • Kiểu liên kết: Cấp liên kết (cấp 1, cấp 2, cấp $n$), tên vai trò, liên kết đệ quy (recursive relationship).
    • Các ràng buộc trên liên kết: Tỷ số lực lượng (1:1, 1:N, M:N) và ràng buộc tham gia (tham gia toàn bộ / phụ thuộc tồn tại so với tham gia bộ phận).
  • Mô hình EER (Enhanced Entity Relationship):
    • Khái niệm lớp cha (superclass), lớp con (subclass), kiểu liên kết IS_A, và cơ chế thừa kế kiểu (type inheritance).
    • Quá trình Chuyên biệt hóa (Specialization) và Tổng quát hóa (Generalization).
    • Phân cấp chuyên biệt và lưới chuyên biệt, khái niệm kiểu hợp (union type) hay phạm trù (category).
    • Các ràng buộc trên chuyên biệt hóa: Ràng buộc rời rạc (disjoint - ký hiệu 'd') và ràng buộc chồng chéo (overlapping - ký hiệu 'o'); Ràng buộc đầy đủ gồm chuyên biệt toàn bộ và chuyên biệt từng phần.
  • Mô hình ca bệnh thực tế: Thiết kế hoàn chỉnh CSDL CÔNGTY (Hình II-6) gồm các kiểu thực thể NHÂNVIÊN, ĐƠNVỊ, DỰÁN, CON và hệ thống liên kết liên quan.

Chương III: Mô hình quan hệ, các ràng buộc quan hệ và đại số quan hệ

Chương III trình bày mô hình dữ liệu quan hệ do Ted Codd phát minh năm 1970 dựa trên lý thuyết tập hợp và logic vị từ bậc nhất.

  • Khái niệm hình thức: Miền giá trị nguyên tử ($D$), thuộc tính ($A_i$), lược đồ quan hệ $R(A_1, A_2, \dots, A_n)$, bậc/cấp của quan hệ ($n$), n-bộ ($t = \langle v_1, v_2, \dots, v_n \rangle$), quan hệ $r(R) \subseteq (dom(A_1) \times dom(A_2) \times \dots \times dom(A_n))$.
  • Đặc trưng của quan hệ: Không có thứ tự giữa các bộ trong quan hệ; không có thứ tự bắt buộc giữa các thuộc tính ở mức logic trừu tượng; các giá trị trong bộ là nguyên tử (không chứa thuộc tính phức hợp hay đa trị).
  • Các ràng buộc toàn vẹn: Ràng buộc miền, ràng buộc khóa, ràng buộc giá trị không xác định (null), quy tắc toàn vẹn thực thể (entity integrity - khóa chính không nhận giá trị null), và quy tắc toàn vẹn tham chiếu (referential integrity qua khóa ngoài).
  • Đại số quan hệ (Relational Algebra):
    • Các phép toán cập nhật: Chèn (Insert), Xóa (Delete), Sửa đổi (Update).
    • Các phép toán tập hợp: Hợp ($\cup$), Giao ($\cap$), Trừ ($-$), Tích Đề-các ($\times$).
    • Các phép toán quan hệ cơ bản và mở rộng: Phép chọn ($\sigma$), Phép chiếu ($\pi$), Đổi tên ($\rho$ / RENAME), Phép kết nối (Join), Kết nối tự nhiên (Natural Join), Phép chia ($\div$), các hàm nhóm và phép gom nhóm, khép kín đệ quy, phép nối ngoài (outer join), hợp ngoài (outer union).
  • Quy tắc chuyển đổi: Hệ thống các quy tắc chuyển đổi lược đồ quan niệm ER/EER thành lược đồ cơ sở dữ liệu quan hệ.

Chương IV: Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ, các thuật toán thiết kế

Chương IV tập trung vào lý thuyết chuẩn hóa hình thức nhằm giải quyết các khiếm khuyết trong thiết kế lược đồ.

  • Nguyên tắc thiết kế lược đồ quan hệ: Làm rõ ngữ nghĩa của thuộc tính, triệt tiêu thông tin dư thừa, loại bỏ các dị thường cập nhật (thêm, xóa, sửa), xử lý thuộc tính null và ngăn ngừa hiện tượng sinh ra các bộ giả (spurious tuples).
  • Lý thuyết phụ thuộc hàm (Functional Dependencies - FD):
    • Định nghĩa hình thức $X \to Y$.
    • Hệ quy tắc suy diễn Armstrong (phản xạ, tăng trưởng, bắc cầu) và các quy tắc mở rộng (hợp, phân rã, tựa bắc cầu).
    • Khái niệm bao đóng của tập thuộc tính ($X^+$), sự tương đương của các tập phụ thuộc hàm và thuật toán tìm tập phụ thuộc hàm tối thiểu (phủ tối thiểu).
  • Các dạng chuẩn dựa trên khóa chính:
    • Dạng chuẩn 1 (1NF): Mọi miền giá trị của thuộc tính đều là nguyên tử.
    • Dạng chuẩn 2 (2NF): Đạt 1NF và mọi thuộc tính không khóa đều phụ thuộc hàm đầy đủ vào khóa chính.
    • Dạng chuẩn 3 (3NF): Đạt 2NF và không có thuộc tính không khóa nào phụ thuộc bắc cầu vào khóa chính.
    • Dạng chuẩn Boyce-Codd (BCNF): Mọi phụ thuộc hàm $X \to A$ (với $A \notin X$) thì $X$ phải là một siêu khóa.
  • Dạng chuẩn cao hơn và thuật toán thiết kế:
    • Định nghĩa Phụ thuộc đa trị (Multivalued Dependencies - MVD) $X \twoheadrightarrow Y$ và Dạng chuẩn 4 (4NF).
    • Phụ thuộc nối (Join Dependencies - JD) và Dạng chuẩn 5 (5NF / Project-Join Normal Form).
    • Các thuật toán thiết kế lược đồ quan hệ: Thuật toán phân tách quan hệ đảm bảo tính chất kết nối không mất mát (lossless join) và thuật toán phân tách bảo toàn tập phụ thuộc hàm.
                           THANG BẬC CHUẨN HÓA CƠ SỞ DỮ LIỆU
                                (Từ 1NF đến 5NF / BCNF)

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

  • Lý thuyết nền tảng (Fundamental Theories): Cơ sở dữ liệu quan hệ dựa trên nền tảng toán học của Lý thuyết tập hợp, Quan hệ toán học n-ngôi, Logic vị từ bậc nhất và Đại số quan hệ hình thức.
  • Nguyên lý cốt lõi (Core Principles): Nguyên lý độc lập dữ liệu (phân tách mức quan niệm, logic và vật lý); nguyên lý tự mô tả thông qua siêu dữ liệu (metadata); nguyên lý toàn vẹn dữ liệu (toàn vẹn miền, toàn vẹn thực thể, toàn vẹn tham chiếu).
  • Khung cấu trúc thiết yếu (Essential Frameworks): Khung quy trình thiết kế cơ sở dữ liệu 4 giai đoạn (Hình II-1); Khung mô hình hóa ER/EER; Hệ tiên đề Armstrong cho phụ thuộc hàm; Khung phân tích chuẩn hóa dữ liệu từ 1NF đến 5NF.

Kỹ năng phát triển

  • Kỹ năng kỹ thuật (Technical Skills): Kỹ năng đặc tả lược đồ bằng ngôn ngữ định nghĩa dữ liệu (DDL), thao tác dữ liệu bằng ngôn ngữ mức cao (DML); kỹ năng biểu diễn các câu truy vấn phức tạp bằng toán tử đại số quan hệ; kỹ năng ánh xạ sơ đồ ER/EER thành tập các bảng quan hệ.
  • Kỹ năng phân tích (Analytical Skills): Kỹ năng khảo sát thế giới thực (miniworld), trích xuất các ràng buộc nghiệp vụ; phân tích phát hiện các dị thường lưu trữ; tính toán bao đóng tập thuộc tính, xác định khóa và tìm phủ tối thiểu của tập phụ thuộc hàm.
  • Năng lực thực hành (Practical Competencies): Khả năng thiết kế hoàn chỉnh lược đồ cơ sở dữ liệu cho các bài toán quản lý quy mô thực tế (như hệ thống quản lý trường học, công ty, thư viện) đáp ứng các tiêu chuẩn chuẩn hóa, đảm bảo tính nhất quán và tối ưu hóa tài nguyên lưu trữ.

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

                    TIẾN TRÌNH TIẾP CẬN SƯ PHẠM TRONG GIÁO TRÌNH
                                  
     (Chương I: DBMS, Con người)         (Chương II: Sơ đồ ER & EER)
     (Chương III: Đại số quan hệ)        (Chương IV: Chuẩn hóa 1NF-5NF)

Phương pháp sư phạm (Pedagogical Approach)

Giáo trình áp dụng phương pháp sư phạm diễn tiến logic có hệ thống:

  1. Từ trực quan đến trừu tượng: Bắt đầu bằng việc quan sát các hoạt động quen thuộc của thế giới thực (rút tiền ngân hàng, đăng ký chuyến bay, quản lý sinh viên), trừu tượng hóa thành các mô hình khái niệm (ER/EER), sau đó hình thức hóa bằng ngôn ngữ toán học (mô hình quan hệ, đại số quan hệ) và thuật toán chuẩn hóa.
  2. Tiếp cận hướng cấu trúc và ràng buộc: Mọi khái niệm đều được định nghĩa kèm theo tập hợp các ràng buộc toàn vẹn tương ứng, giúp người học hiểu rõ cả cấu trúc tĩnh lẫn hành vi động của dữ liệu.

Bài tập và nghiên cứu tình huống (Case Studies)

Hệ thống nghiên cứu tình huống được xây dựng xuyên suốt qua các chương:

  • Case study CSDL TRƯỜNG: Khảo sát các quan hệ SINHVIÊN(MãsốSV, HọtênSV, Lớp, Chuyênngành), MÔNHỌC(MãsốMH, TênMH, Sốđvht, Khoa), HỌCPHẦN(MãsốHP, MãsốMH, Họckỳ, Năm, Têngiáoviên), ĐIỂM(MãsốSV, MãsốHP, Điểm), BIẾTTRƯỚC(MãsốMH, MãsốMHbiếttrước) để minh họa các khái niệm bảng, bản ghi, khóa chính, khóa ngoại và truy vấn đại số quan hệ.
  • Case study CSDL CÔNGTY: Dùng để mô hình hóa sơ đồ ER/EER hoàn chỉnh với các thực thể NHÂNVIÊN, ĐƠNVỊ, DỰÁN, CON, thể hiện đầy đủ các mối liên kết $1:1$, $1:N$, $M:N$, liên kết đệ quy (giám sát), thực thể yếu (CON) và chuyên biệt hóa (THƯKÝ, KỸSƯ, KỸTHUẬTVIÊN, NHÂNVIÊN_BIÊNCHẾ, NHÂNVIÊN_HỢPĐỒNG).
  • Bài tập tình huống THƯ VIỆN: Cung cấp đặc tả nghiệp vụ chi tiết về các nhánh thư viện, sách, bản sao, tác giả, nhà xuất bản, người mượn và các phiếu mượn để sinh viên tự rèn luyện kỹ năng xây dựng lược đồ ER.

Bài tập thực hành và câu hỏi ôn tập

Mỗi chương đều kết thúc bằng hệ thống câu hỏi lý thuyết và bài tập thực hành:

  • Chương I (6 câu hỏi): Định nghĩa DBMS, CSDL, các tính chất CSDL, chức năng DBMS, đặc trưng giải pháp CSDL, phân loại mô hình và vai trò con người.
  • Chương II (14 câu hỏi + 2 bài tập lớn): Câu hỏi về vai trò mô hình quan niệm, giá trị null, định nghĩa thực thể/thuộc tính/liên kết, phân biệt kiểu thực thể và tập thực thể, thực thể yếu, chuyên biệt hóa/tổng quát hóa; 2 bài tập thiết kế mô hình ER cho CSDL TRƯỜNG và THƯ VIỆN.
  • Chương III & IV: Bài tập về viết biểu thức đại số quan hệ, quy tắc chuyển đổi ER sang quan hệ, tìm bao đóng thuộc tính, tìm khóa, kiểm tra dạng chuẩn 1NF, 2NF, 3NF, BCNF, 4NF, và thuật toán tách quan hệ bảo toàn thông tin.

Phương pháp đánh giá (Assessment Methods)

  • Đánh giá định kỳ thông qua khả năng trả lời chính xác các câu hỏi ôn tập lý thuyết hình thức cuối mỗi chương.
  • Đánh giá kỹ năng thực hành qua kết quả vẽ sơ đồ ER/EER từ văn bản yêu cầu và giải thuật chuẩn hóa các lược đồ quan hệ cụ thể.

Hướng dẫn tự học (Self-study Guidelines)

  • Người học cần đọc tuần tự từng phần, vẽ lại các sơ đồ hình vẽ (Hình I-1, I-2, II-1, II-6, II-7, II-8) để nắm vững ký hiệu quy ước.
  • Khi tiếp cận Chương IV, cần thực hành từng bước: viết định nghĩa phụ thuộc hàm $\to$ áp dụng tiên đề Armstrong $\to$ tính bao đóng $X^+$ $\to$ xác định khóa $\to$ đối chiếu định nghĩa dạng chuẩn $\to$ thực hiện thuật toán phân tách.

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

Cập nhật so với giải pháp quản lý truyền thống

Giáo trình chỉ rõ sự khác biệt căn bản giữa giải pháp quản lý bằng hệ thống tệp (file-based system) và hệ cơ sở dữ liệu (DBMS):

Tiêu chí so sánh Hệ thống tệp truyền thống Giải pháp Cơ sở dữ liệu (DBMS)
Cấu trúc lưu trữ Cặp hồ sơ / tệp riêng rẽ, nhúng cấu trúc vào mã nguồn Tự mô tả qua từ điển dữ liệu (catalog/metadata)
Độ dư thừa dữ liệu Dư thừa cao, dễ gây mất nhất quán khi cập nhật Tối thiểu hóa dư thừa, kiểm soát tính nhất quán tập trung
Sự phụ thuộc dữ liệu Chương trình phụ thuộc chặt chẽ vào cấu trúc tệp Độc lập giữa chương trình và cấu trúc dữ liệu logic/vật lý
Khả năng chia sẻ Hạn chế, khó khăn khi nhiều người truy cập đồng thời Hỗ trợ nhiều khung nhìn (view), đa người dùng đồng thời
Kiểm soát an toàn Thủ công, khó đảm bảo tính toàn vẹn Tích hợp cơ chế bảo mật, phân quyền, kiểm tra tranh chấp, sao lưu và phục hồi

Xu hướng hiện đại được tích hợp trong giáo trình

Bên cạnh nền tảng CSDL truyền thống (dữ liệu dạng văn bản và số), giáo trình cập nhật và giới thiệu tổng quan về các hướng phát triển kỹ thuật dữ liệu hiện đại:

  • Cơ sở dữ liệu đa phương tiện (Multimedia Databases): Khả năng lưu trữ và truy vấn hình ảnh, âm thanh, video.
  • Hệ thống thông tin địa lý (GIS): Lưu trữ, phân tích dữ liệu bản đồ, thời tiết và ảnh vệ tinh.
  • Kho dữ liệu và hệ thống phân tích trực tuyến (Data Warehouse & OLAP): Trích xuất và phân tích dữ liệu lớn phục vụ ra quyết định trong doanh nghiệp.
  • Cơ sở dữ liệu thời gian thực và CSDL động (Real-time & Active Databases): Kiểm soát và điều khiển các tiến trình tự động hóa công nghiệp và sản xuất.
  • Kỹ thuật CSDL tích hợp Web (Web & Internet Databases): Áp dụng kỹ thuật tìm kiếm CSDL cho môi trường World Wide Web và duyệt thông tin qua mạng Internet.
  • Mô hình hướng đối tượng (Object-Oriented Data Model): Giới thiệu mô hình dữ liệu bậc cao sử dụng các khái niệm lớp (class), phương thức (method), thông điệp (message) kèm tài liệu tham khảo chuyên sâu.

Ứng dụng thực tế và gắn kết công nghiệp

Tài liệu liên hệ trực tiếp với các ứng dụng công nghiệp thực tế: giao dịch gửi/rút tiền tự động tại ngân hàng, hệ thống đặt chỗ hàng không và khách sạn, quản trị bán hàng và kho vận, tính cước viễn thông, và quản lý nhân sự quy mô lớn. Giáo trình đồng thời phân tích rõ các vị trí việc làm chuyên môn trong ngành công nghiệp phần mềm và dữ liệu (DBA, Database Designer, System Analyst, Application Programmer, Tool Developer).

Đối tượng sử dụng giáo trình

Sinh viên chuyên ngành

  • Đối tượng đào tạo: Sinh viên đại học từ năm thứ 2 hoặc năm thứ 3 thuộc các ngành Công nghệ Thông tin, Kỹ thuật Phần mềm, Hệ thống Thông tin, Khoa học Máy tính.
  • Học viên cao học: Học viên theo học các chương trình sau đại học ngành Khoa học Máy tính cần củng cố lý thuyết hình thức về mô hình quan hệ và các dạng chuẩn bậc cao (4NF, 5NF).

Yêu cầu kiến thức tiên quyết (Prerequisites)

Để tiếp thu hiệu quả nội dung giáo trình, người học cần hoàn thành các học phần:

  • Toán rời rạc: Nắm vững lý thuyết tập hợp, quan hệ, tích Đề-các, ánh xạ, logic mệnh đề và logic vị từ bậc nhất.
  • Cấu trúc dữ liệu và giải thuật: Hiểu về mảng, danh sách, cây, bảng băm và độ phức tạp thuật toán.
  • Tin học cơ sở / Nhập môn lập trình: Hiểu về kiểu dữ liệu, biến, cấu trúc điều khiển và các thao tác tệp cơ bản.

Giảng viên và phương thức khai thác

  • Giảng viên sử dụng tài liệu làm khung chương trình chuẩn cho học phần Cơ sở dữ liệu 2.
  • Sử dụng hệ thống sơ đồ hình vẽ (Hình I-1 đến Hình II-8) làm học liệu trực quan trên lớp; sử dụng các bộ dữ liệu mẫu (CSDL TRƯỜNG, CSDL CÔNGTY) để thiết kế bài giảng lý thuyết và bài tập lớn.
  • Khai thác 20 câu hỏi ôn tập và các bài tập mô hình hóa THƯ VIỆN để xây dựng đề thi kiểm tra định kỳ và đánh giá kết thúc học phần.

Tự học và tra cứu chuyên môn

  • Tài liệu đóng vai trò là sách hướng dẫn tra cứu cho các lập trình viên, kỹ sư phân tích hệ thống muốn chuẩn hóa lại thiết kế bảng biểu, loại bỏ các lỗi dị thường dữ liệu trong các dự án phần mềm thực tế.

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 thiết kế chuẩn mực cho sinh viên đại học và học viên cao học ngành Công nghệ Thông tin, Kỹ thuật Phần mềm và Hệ thống Thông tin. Ngoài ra, tài liệu phù hợp cho giảng viên giảng dạy học phần Cơ sở dữ liệu và các kỹ sư phần mềm cần tài liệu tra cứu chuẩn về lý thuyết mô hình hóa và chuẩn hóa dữ liệu.

2. Cần kiến thức nền nào để học?

Người học cần trang bị kiến thức về Toán rời rạc (đặc biệt là lý thuyết tập hợp, phép toán quan hệ, ánh xạ và logic vị từ), kiến thức về Cấu trúc dữ liệu và giải thuật cơ bản, cùng kỹ năng lập trình căn bản.

3. Điểm khác biệt với giáo trình khác?

Giáo trình đi sâu vào bản chất toán học hình thức của mô hình quan hệ theo trường phái của Ted Codd (1970) và trình bày đầy đủ mô hình Thực thể - Liên kết mở rộng (EER) với các khái niệm chuyên biệt hóa/tổng quát hóa, phân cấp/lưới chuyên biệt và kiểu hợp. Đồng thời, giáo trình bao quát đầy đủ từ dạng chuẩn 1NF đến các dạng chuẩn nâng cao như 4NF (phụ thuộc đa trị) và 5NF (phụ thuộc nối), kèm theo các thuật toán phân tách bảo toàn phụ thuộc và kết nối không mất mát.

4. Làm sao để tự học hiệu quả?

Người học nên học tuần tự theo 4 chương:

  1. Đọc hiểu lý thuyết khái niệm và các chức năng của DBMS tại Chương I.
  2. Thực hành phân tích và vẽ sơ đồ ER, EER trên các bài tập tình huống thực tế tại Chương II (sử dụng case study CÔNGTY và THƯ VIỆN).
  3. Nắm vững các phép toán đại số quan hệ và các quy tắc ánh xạ mô hình ER sang quan hệ tại Chương III.
  4. Rèn luyện kỹ năng tính bao đóng, tìm phủ tối thiểu, xác định khóa và thực hiện các bước chuẩn hóa từ 1NF đến BCNF/4NF tại Chương IV. Trả lời toàn bộ 20 câu hỏi ôn tập cuối các chương.

5. Có tài liệu bổ trợ nào kèm theo?

Giáo trình tích hợp sẵn hệ thống sơ đồ minh họa quy chuẩn (Hình I-1, I-2, II-1, II-3, II-5, II-6, II-7, II-8), các tập bảng dữ liệu mẫu cụ thể, hệ thống câu hỏi ôn tập lý thuyết và bài tập thiết kế có hướng dẫn. Đối với mô hình dữ liệu hướng đối tượng nâng cao, giáo trình dẫn chiếu người đọc đến các tài liệu tham khảo chuyên sâu [1] và [2] được trích dẫn trong văn bản.

Kết luận

Giá trị cốt lõi của giáo trình

Giáo trình Cơ sở dữ liệu 2 của Khoa Công nghệ Thông tin – Trường Đại học Phan Thiết là tài liệu học thuật có cấu trúc hoàn chỉnh, trình bày chính xác cơ sở lý thuyết và phương pháp luận thiết kế cơ sở dữ liệu quan hệ. Nội dung giáo trình gắn kết chặt chẽ giữa các khái niệm mô hình hóa bậc cao (ER/EER), mô hình toán học quan hệ (Ted Codd) và các thuật toán phân tích chuẩn hóa định lượng (1NF đến 5NF).

Lộ trình học tập đề xuất (Learning Pathway)

Tiến trình học tập chuẩn được xác lập qua 4 bước:

$$\text{Nắm vững khái niệm DBMS (Ch.I)} \longrightarrow \text{Thiết kế quan niệm ER/EER (Ch.II)} \longrightarrow \text{Ánh xạ sang Lược đồ quan hệ & Đại số quan hệ (Ch.III)} \longrightarrow \text{Chuẩn hóa & Tối ưu hóa lược đồ (Ch.IV)}$$

Nguồn tài liệu bổ trợ

Người học được khuyến nghị kết hợp việc học lý thuyết trong giáo trình với việc thực hành trên các hệ quản trị cơ sở dữ liệu quan hệ thương mại/mã nguồn mở phổ biến, sử dụng các công cụ hỗ trợ thiết kế trực quan (CASE tools), và tham khảo các tài liệu chuyên khảo về cơ sở dữ liệu hướng đối tượng [1], [2] để mở rộng kiến thức chuyên môn.