Phân tích học thuật và Cấu trúc Nội dung: Bài giảng Cơ sở dữ liệu (Khoa Hệ thống Thông tin Kinh tế & Thương mại Điện tử)

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

Bài giảng học phần Cơ sở dữ liệu do Khoa Hệ thống Thông tin Kinh tế & Thương mại Điện tử (Bộ môn Tin học) biên soạn là tài liệu giảng dạy chuyên môn phục vụ chương trình đào tạo bậc đại học khối ngành Kinh tế số, Hệ thống thông tin và Thương mại điện tử. Môn học đóng vai trò nền tảng trong khối kiến thức cơ sở ngành, cung cấp cơ sở lý thuyết và kỹ năng kỹ thuật phục vụ cho việc tổ chức, quản lý và khai thác dữ liệu trong các tổ chức kinh tế – xã hội.

+-------------------------------------------------------------------------+
|                CƠ CẤU HỌC PHẦN CƠ SỞ DỮ LIỆU (02 TÍN CHỈ)               |
+------------------------------------+------------------------------------+
| Nghe giảng lý thuyết (24 tiết)     | Thảo luận & Bài tập (06 tiết)      |
+------------------------------------+------------------------------------+
| - Tổng quan về CSDL & Kiến trúc    | - Suy dẫn logic với Armstrong      |
| - Mô hình thực thể - liên kết (ER) | - Tính bao đóng thuộc tính/tập PTH |
| - Mô hình quan hệ & Ràng buộc      | - Thuật toán tìm phủ tối thiểu     |
| - Phụ thuộc hàm & Khóa             | - Xác định siêu khóa & Khóa chính  |
+------------------------------------+------------------------------------+

Mục tiêu học tập (learning outcomes) của học phần được xác định rõ ràng qua các tiêu chuẩn năng lực:

  • Về mặt kiến thức: Trang bị các khái niệm cốt lõi về hệ cơ sở dữ liệu (CSDL), nguyên lý kiến trúc 3 mức trừu tượng hóa dữ liệu, lý thuyết mô hình quan hệ và các ràng buộc toàn vẹn.
  • Về mặt phương pháp luận: Giúp người học nắm vững quy trình thiết kế cơ sở dữ liệu từ mức quan niệm đến mức logic, hiểu rõ các quy luật phụ thuộc hàm và kỹ thuật chuẩn hóa lược đồ quan hệ.
  • Về mặt kỹ năng thực hành: Cung cấp kỹ năng phân tích thực thể, thiết lập quan hệ, thao tác ngôn ngữ định nghĩa dữ liệu (DDL) và ngôn ngữ thao tác dữ liệu (DML) trên các hệ quản trị cơ sở dữ liệu (DBMS) kết hợp ngôn ngữ lập trình.

Về cấu trúc, chương trình học phần có tổng thời lượng 02 tín chỉ (tương đương 30 tiết quy chuẩn), được phân bổ theo tỷ lệ 24 tiết giảng dạy lý thuyết trên lớp và 6 tiết thảo luận, thực hành bài tập. Cách tiếp cận của bài giảng đi từ lý thuyết tổng quát về lưu trữ thông tin, phân tích lịch sử tiến hóa của các mô hình dữ liệu (phân cấp, mạng, thực thể – liên kết), chuyển sâu vào mô hình quan hệ hình thức hóa toán học, và kết thúc bằng các giải thuật thiết kế, tối ưu hóa cấu trúc dữ liệu.

Điểm đặc thù của tài liệu là tính liên kết chặt chẽ giữa lý thuyết đại số trừu tượng (tập hợp, phụ thuộc hàm, hệ tiên đề Armstrong) với các bài toán quản lý thực tiễn trong kinh tế, như quản lý nhân viên phòng ban, quản lý đào tạo tín chỉ, quản lý điểm học phần và quản lý giá cung ứng hàng hóa.


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

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

Nội dung bài giảng được tổ chức thành 3 chương chuyên đề lớn, xây dựng theo lộ trình tiến triển logic từ tổng quan hệ thống đến mô hình hóa chi tiết:

[Chương 1: Tổng quan về CSDL]
[Chương 2: Cơ sở dữ liệu quan hệ]
[Chương 3: Ngôn ngữ khai thác CSDL quan hệ]

Chương 1: Tổng quan về Cơ sở dữ liệu

Chương này thiết lập hệ thống khái niệm nền tảng:

  • Định nghĩa CSDL (Database): Tập hợp các dữ liệu có liên quan, phản ánh hoạt động của một tổ chức (trường đại học, doanh nghiệp, hệ thống kho), được lưu trữ trên thiết bị nhớ phụ nhằm phục vụ nhiều người dùng với nhiều mục đích khác nhau.
  • Bản chất của Hệ CSDL: Bao gồm 4 thành phần chính: Cơ sở dữ liệu, Người sử dụng/Lập trình viên, Phần mềm Hệ quản trị CSDL (DBMS), và Phần cứng.
  • Tính chất của hệ CSDL: Tính tự mô tả (lưu trữ metadata trong danh mục từ điển hệ thống), tính độc lập giữa chương trình và dữ liệu, tính trừu tượng dữ liệu và tính chia sẻ đa người dùng với các góc nhìn (views) khác nhau.
  • Kiến trúc 3 mức của hệ CSDL:
    1. Mức trong (Internal/Physical level): Biểu diễn cấu trúc lưu trữ vật lý, định dạng tệp và chỉ mục (indexes).
    2. Mức khái niệm (Conceptual/Logical level): Biểu diễn toàn bộ cấu trúc dữ liệu logic, các thực thể, thuộc tính và mối quan hệ giữa chúng.
    3. Mức ngoài (External/View level): Tập hợp các khung nhìn (views) chuyên biệt phục vụ từng nhóm người dùng.
  • Mô hình dữ liệu qua các thời kỳ:
    • Mô hình phân cấp (Hierarchical model - 1960–1965): Dữ liệu tổ chức dạng cây (quan hệ 1-n), duyệt cây qua các thủ tục GET, GET NEXT.
    • Mô hình mạng (Network model - 1971): Biểu diễn dạng đồ thị có hướng gồm tập bản ghi (record) và móc nối (link) chủ - thành viên (owner - member).
    • Mô hình Thực thể - Liên kết (E-R model - Peter Chen, 1976, 2002): Mô tả thực tế qua thực thể, thuộc tính và liên kết (1-1, 1-n, n-m).
    • Mô hình quan hệ (Relational model - E. F. Codd, 1970): Biểu diễn dữ liệu dưới dạng các bảng 2 chiều dựa trên lý thuyết tập hợp.

Chương 2: Cơ sở dữ liệu quan hệ

Chương 2 là trọng tâm lý thuyết của tài liệu, tập trung vào cấu trúc toán học và các quy tắc chuẩn mực:

  • Cấu trúc dữ liệu bảng: Một lược đồ quan hệ $R(A_1: D_1, A_2: D_2, \dots, A_n: D_n)$ gồm tên quan hệ và tập thuộc tính với các miền giá trị tương ứng ($DOM$). Một thể hiện quan hệ $r(R)$ là tập hợp các bộ $t = \langle v_1, v_2, \dots, v_n \rangle$.
  • Ràng buộc toàn vẹn (Integrity Constraints): Phân chia thành ràng buộc về kiểu dữ liệu, ràng buộc giải tích (biểu thức toán học giữa các cột) và ràng buộc logic/khóa.
  • Lý thuyết Phụ thuộc hàm (Functional Dependency - FD): Ký hiệu $X \to Y$. Định nghĩa: Với mọi cặp bộ $t_1, t_2$ trong quan hệ $r$, nếu $t_1[X] = t_2[X]$ thì $t_1[Y] = t_2[Y]$.
  • Hệ tiên đề Armstrong: Tập 3 luật cơ bản (Phản xạ, Tăng trưởng, Bắc cầu) và 3 luật mở rộng (Hợp, Tựa bắc cầu, Tách).
  • Thuật toán lý thuyết:
    • Thuật toán tính bao đóng của tập thuộc tính $X^+$ đối với tập phụ thuộc hàm $F$.
    • Thuật toán xác định phụ thuộc hàm suy dẫn logic ($X \to Y \in F^+ \iff Y \subseteq X^+$).
    • Thuật toán tìm phủ không dư thừa và phủ tối thiểu của tập phụ thuộc hàm (chia 3 bước: tách vế phải thành đơn thuộc tính, loại bỏ thuộc tính thừa vế trái, loại bỏ phụ thuộc hàm dư thừa).
    • Định nghĩa và thuật toán xác định Siêu khóa (Superkey) và Khóa tối thiểu (Candidate Key).

Chương 3: Ngôn ngữ khai thác CSDL quan hệ

Chương này giới thiệu nguyên lý các công cụ ngôn ngữ trong hệ quản trị:

  • Ngôn ngữ định nghĩa dữ liệu (DDL): Cú pháp CREATE TABLE và đặc tả cấu trúc bảng, kiểu dữ liệu và các ràng buộc.
  • Ngôn ngữ thao tác dữ liệu (DML): Các phép toán cập nhật (INSERT, UPDATE, DELETE) và truy vấn dữ liệu (SELECT ... FROM ... WHERE).

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

+-------------------------------------------------------------------------+
|                  NỀN TẢNG LÝ THUYẾT ĐƯỢC XÂY DỰNG                       |
+-------------------------------------------------------------------------+
| 1. Lý thuyết tập hợp & Đại số quan hệ (E. F. Codd, 1970)                |
|    - Cấu trúc tích Đề-các, quan hệ, phép chiếu, phép chọn, phép kết nối.|
+-------------------------------------------------------------------------+
| 2. Nguyên lý độc lập dữ liệu 2 mức                                      |
|    - Độc lập dữ liệu mức logic (sửa lược đồ khái niệm không đổi app).   |
|    - Độc lập dữ liệu mức vật lý (sửa tổ chức file không đổi lược đồ).   |
+-------------------------------------------------------------------------+
| 3. Tính trừu tượng hóa hình thức & Siêu dữ liệu                         |
|    - Phân tách cấu trúc bảng (Schema) và dữ liệu thực tế (Instance).   |
|    - Danh mục hệ thống quản lý Data Dictionary (Metadata).              |
+-------------------------------------------------------------------------+
| 4. Cơ sở suy diễn logic hình thức (Armstrong Axioms)                    |
|    - Chứng minh tính bảo toàn thông tin và phụ thuộc hàm tương đương.   |
+-------------------------------------------------------------------------+
  1. Lý thuyết tập hợp và đại số quan hệ: Kế thừa trực tiếp công trình của E. F. Codd (1970), tài liệu xây dựng quan niệm bảng dữ liệu như một quan hệ toán học trên tích Đề-các của các miền giá trị $D_1 \times D_2 \times \dots \times D_n$.
  2. Nguyên lý độc lập dữ liệu: Phân tích thông qua cơ chế ánh xạ giữa 3 mức kiến trúc:
    • Ánh xạ ngoài/khái niệm: Đảm bảo tính độc lập dữ liệu mức logic (khi thay đổi cấu trúc bảng ở mức khái niệm, các ứng dụng ngoài ít bị ảnh hưởng).
    • Ánh xạ khái niệm/trong: Đảm bảo tính độc lập dữ liệu mức vật lý (khi thay đổi cách lưu trữ, cấu trúc tệp hoặc chỉ mục, cấu trúc logic không bị xáo trộn).
  3. Tính trừu tượng hóa hình thức và Siêu dữ liệu: Cung cấp nguyên lý lưu trữ siêu dữ liệu (metadata) độc lập với chương trình ứng dụng, cho phép hệ thống tự mô tả cấu trúc tập tin và ràng buộc toàn vẹn.
  4. Cơ sở suy diễn logic: Sử dụng hệ tiên đề Armstrong để thiết lập các chứng minh hình thức về tính tương đương của các tập phụ thuộc hàm ($F \equiv G \iff F^+ = G^+$) và tính tối thiểu của lược đồ.

Kỹ năng phát triển

Nội dung giáo trình trang bị cho sinh viên 3 nhóm kỹ năng chuyên môn:

  • Kỹ năng phân tích và mô hình hóa dữ liệu: Nhận diện thực thể, thuộc tính và mối liên kết từ bài toán nghiệp vụ; thiết lập lược đồ quan hệ chuẩn xác cho các hệ thống quản lý nhân sự, đào tạo, quản lý kho.
  • Kỹ năng phân tích hình thức và tối ưu hóa giải thuật:
    • Thực hiện thành thạo thuật toán tìm bao đóng của tập thuộc tính $X^+$.
    • Chứng minh các phụ thuộc hàm hệ quả bằng chuỗi suy dẫn dựa trên hệ tiên đề Armstrong.
    • Phân tích và rút gọn tập phụ thuộc hàm về dạng phủ tối thiểu để loại bỏ triệt để các thông tin dư thừa.
    • Xác định toàn bộ các siêu khóa và tập khóa tối thiểu của một lược đồ quan hệ.
  • Kỹ năng kỹ thuật và thao tác hệ quản trị: Đặc tả cấu trúc quan hệ bằng ngôn ngữ DDL (CREATE TABLE Co(Sohieu C(2), Ten C(10), Von N(4,0))) và thiết lập các câu lệnh truy vấn dữ liệu có điều kiện.

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

Cơ cấu sư phạm của học phần được thiết kế kết hợp chặt chẽ giữa giảng dạy diễn giảng lý thuyết và giải quyết bài tập giải thuật:

(Định nghĩa FD, Tiên đề)        (NHANVIEN, Phim, SVien)         (Tính X+, Tìm phủ tối thiểu, Tìm khóa)
  • Tiếp cận sư phạm: Bài giảng áp dụng phương pháp hình thức hóa dần dần. Bắt đầu từ nhu cầu quản lý thực tế (tránh dư thừa thông tin, tránh bất nhất dữ liệu khi nhiều người truy cập đồng thời), bài giảng quy nạp thành các khái niệm trừu tượng (bộ, miền, quan hệ), sau đó diễn giải chi tiết thành các công thức toán học và thuật toán.
  • Phân tích trường hợp mẫu (Case Studies) trong bài giảng:
    • Lược đồ quản lý nhân sự: Sử dụng bảng NHANVIEN(MANV, TENNV, HONV, NS, DIACHI, GT, LUONG, PHG) liên kết với PHONGBAN(MAPHG, TENPHG, TRPHG, NG_NHANCHUC) và DEAN để minh họa cho cấu trúc lược đồ CSDL và các bộ dữ liệu cụ thể.
    • Lược đồ quản lý học phần: Sử dụng các quan hệ SVien(Ten, MaSV, Nam, Khoa), Hphan(TenHP, MaHP, TinChi, Khoa), KQua(MaSV, MaKH, Diem) để minh họa cho sự phân tách giữa lược đồ khái niệm (Schema) và thể hiện dữ liệu tức thời (Instance).
    • Lược đồ điện ảnh: Quan hệ Phim(Tênphim, Nămsx, Thờilượng, Loạiphim, Xưởngsx, Diễnviên) với các thể hiện thực tế (Star Wars 1977, Mighty Ducks 1991, Wayne's World 1992, Kingkong 1995) được dùng làm mẫu thực nghiệm để giải thích lý do tại sao một quan hệ phải thỏa mãn phụ thuộc hàm trên mọi thể hiện hợp lệ chứ không chỉ trên một bảng đơn lẻ.
  • Hệ thống bài tập thực hành thuật toán:
    • Dạng 1: Kiểm tra tính hợp lệ của phụ thuộc hàm và chứng minh suy dẫn logic bằng hệ tiên đề Armstrong.
    • Dạng 2: Tính bao đóng của tập thuộc tính (như bài toán tìm $(BD)^+_F$ trên lược đồ $R(A, B, C, D, E, G)$ với tập luật $F$).
    • Dạng 3: Thuật toán kiểm tra tính tương đương của hai tập phụ thuộc hàm $F$ và $G$.
    • Dạng 4: Thuật toán chuyển đổi tập phụ thuộc hàm thành phủ tối thiểu.
    • Dạng 5: Tìm tất cả các khóa tối thiểu của lược đồ quan hệ $R(A, B, C, D)$.
  • Phương pháp đánh giá và tự học: Đánh giá năng lực dựa trên khả năng trình bày các bước chứng minh toán học, độ chính xác khi thực hiện từng bước của thuật toán tìm bao đóng/phủ tối thiểu, và kỹ năng viết đúng cú pháp DDL/DML. Sinh viên được yêu cầu tự giải các bài tập kiểm tra tính phụ thuộc hàm trước khi chuyển sang các nội dung thiết kế nâng cao.

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

+-------------------------------------------------------------------------+
|                  DANH MỤC TÀI LIỆU THAM KHẢO CHUẨN                      |
+-------------------------------------------------------------------------+
| 1. Nguyễn Thị Thu Thủy (2015), Giáo trình CSDL 1, NXB Thống kê.         |
| 2. Nguyễn Kim Anh (2009), Nguyên lý của các hệ CSDL, NXB ĐHQG Hà Nội.   |
| 3. Abraham Silberschatz, Henry F. Korth (2011), Database System         |
|    Concepts, 6th Edition, McGraw-Hill.                                  |
| 4. Ramez Elmasri, Shamkant B. Navathe, Fundamentals of Database Systems.|
+-------------------------------------------------------------------------+
  1. Chuẩn hóa học thuật theo giáo trình quốc tế: Tài liệu được biên soạn dựa trên việc kế thừa và tổng hợp các nguồn học liệu tiêu chuẩn quốc tế (như cuốn Database System Concepts của Abraham Silberschatz & Henry F. Korth; Fundamentals of Database Systems của Elmasri & Navathe) và các giáo trình chuyên ngành trong nước (Giáo trình CSDL 1 của Nguyễn Thị Thu Thủy, Nguyên lý của các hệ CSDL của Nguyễn Kim Anh).
  2. Khảo sát toàn diện các thế hệ Hệ quản trị CSDL: Bài giảng điểm qua quá trình phát triển của các hệ thống phần mềm quản trị dữ liệu từ thời kỳ đầu đến hiện đại, bao gồm:
    • Các hệ thống phân cấp/mạng: IMS (Information Management System), IDS (Integrated Data Store).
    • Các hệ thống quan hệ trên máy tính cá nhân và doanh nghiệp: FoxPro, MS Access, Sybase, MS SQL Server, Oracle.
  3. Tính nhất quán giữa lý thuyết và thực tiễn: Hệ thống ví dụ gắn liền với các bài toán vận hành của tổ chức kinh tế – thương mại, giúp người học nhận thức rõ ràng vai trò của tính nhất quán, tính an toàn dữ liệu và cơ chế kiểm soát truy cập đồng thời khi ứng dụng vào hệ thống thực tế.

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

  • Sinh viên đại học: Phục vụ trực tiếp cho sinh viên năm thứ hai hoặc năm thứ ba thuộc các chuyên ngành:
    • Hệ thống thông tin kinh tế
    • Thương mại điện tử
    • Tin học quản lý
    • Công nghệ thông tin
  • Yêu cầu kiến thức tiên quyết (Prerequisites): Người học cần hoàn thành học phần Tin học đại cương hoặc Nhập môn lập trình, nắm vững các cấu trúc dữ liệu căn bản (chuỗi, số nguyên, mảng, bản ghi/struct) và logic toán học cơ bản.
  • Giảng viên và cán bộ giảng dạy: Tài liệu là khung hướng dẫn chuẩn cho bài giảng 30 tiết, phân định rõ nội dung lý thuyết và bài tập giải thuật phục vụ xây dựng đề thi, đề kiểm tra định kỳ.
  • Người nghiên cứu và tự học: Thích hợp làm tài liệu tra cứu các định nghĩa hình thức, quy tắc suy dẫn Armstrong và các bước giải thuật thiết kế CSDL quan hệ.

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

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

Giáo trình được thiết kế cho sinh viên đại học ngành Hệ thống thông tin kinh tế, Thương mại điện tử, Tin học và những người bắt đầu học về nguyên lý cơ sở dữ liệu quan hệ, mong muốn nắm vững cả lý thuyết thiết kế lẫn kỹ năng thao tác hệ quản trị.

2. Người học cần chuẩn bị kiến thức nền tảng nào trước khi tiếp cận?

Người học cần có kiến thức cơ bản về toán rời rạc (lý thuyết tập hợp, quan hệ, logic mệnh đề) và kiến thức lập trình cơ sở (các kiểu dữ liệu nguyên thủy như số, chuỗi, kiểu bản ghi struct, mảng).

3. Trọng tâm cốt lõi tạo nên tính học thuật của tài liệu là gì?

Trọng tâm học thuật nằm ở Chương 2 với hệ thống lý thuyết về mô hình quan hệ: bản chất toán học của quan hệ, lý thuyết phụ thuộc hàm, 6 luật của hệ tiên đề Armstrong, thuật toán tính bao đóng $X^+$, thuật toán rút gọn phủ tối thiểu và kỹ thuật xác định khóa tối thiểu của lược đồ.

4. Làm thế nào để tự học và nắm vững các thuật toán trong giáo trình?

Người học cần làm theo quy trình 3 bước:

  1. Nắm chắc định nghĩa toán học của phụ thuộc hàm và các luật Armstrong.
  2. Thực hành từng bước thuật toán trên các ví dụ mẫu có trong bài giảng (như bảng Phim, bài toán tính $(BD)^+_F$).
  3. Tự giải các bài tập kiểm tra tính tương đương $F \equiv G$, tìm phủ tối thiểu và tìm khóa trên các tập thuộc tính tổng quát.

5. Có những tài liệu tham khảo chính yếu nào được liên kết trong bài giảng?

Bài giảng chỉ định 4 tài liệu tham khảo chính:

  • Giáo trình CSDL 1 (Nguyễn Thị Thu Thủy, NXB Thống kê, 2015).
  • Nguyên lý của các hệ CSDL (Nguyễn Kim Anh, NXB ĐHQG Hà Nội, 2009).
  • Database System Concepts (Abraham Silberschatz, Henry F. Korth, McGraw-Hill, 2011).
  • Fundamentals of Database Systems (Ramez Elmasri & Shamkant Navathe).

Kết luận

Bài giảng học phần Cơ sở dữ liệu của Khoa Hệ thống Thông tin Kinh tế & Thương mại Điện tử cung cấp một hệ thống kiến thức hoàn chỉnh, chuẩn mực về lý thuyết cơ sở dữ liệu quan hệ. Nội dung giáo trình tạo nên nền tảng vững chắc thông qua lộ trình học tập chặt chẽ: tiếp cận từ kiến trúc 3 mức trừu tượng hóa $\to$ khảo sát các mô hình dữ liệu lịch sử $\to$ phân tích sâu mô hình quan hệ hình thức $\to$ thực thi các giải thuật phụ thuộc hàm, phủ tối thiểu và xác định khóa $\to$ ứng dụng ngôn ngữ định nghĩa (DDL) và thao tác dữ liệu (DML). Đây là học liệu chuẩn giúp người học phát triển năng lực tư duy logic và kỹ năng thiết kế các hệ thống thông tin phục vụ quản lý kinh tế - xã hội.