Bối cảnh và vấn đề nghiên cứu

Trong công tác quản lý tại các cơ sở đào tạo thể dục thể thao chuyên nghiệp, khối lượng thông tin cần theo dõi vô cùng đa dạng và có tính liên kết phức tạp. Đối tượng quản lý không chỉ dừng lại ở học viên và đội ngũ nhân sự mà còn bao gồm cơ sở vật chất nội trú, kế hoạch đào tạo theo chu kỳ tuần, cùng lịch trình thi đấu tại các giải thể thao. Đề tài "Xây dựng hệ CSDL quản lý trung tâm đào tạo thể thao" do nhóm sinh viên Khoa Công nghệ Thông tin 1 – Học viện Công nghệ Bưu chính Viễn thông thực hiện nhằm giải quyết bài toán tổ chức, lưu trữ và khai thác dữ liệu tập trung, khắc phục tình trạng phân tán và trùng lặp thông tin trong mô hình quản lý thủ công.

Mục tiêu và nhiệm vụ nghiên cứu của đề tài được xác định cụ thể qua các giai đoạn:

  1. Phân tích kịch bản nghiệp vụ thế giới thực và xác định các quy tắc ràng buộc dữ liệu của trung tâm đào tạo thể thao.
  2. Xây dựng mô hình thực thể - liên kết (ERD) với đầy đủ các thực thể mạnh, thực thể yếu, thuộc tính đơn/ghép/đa trị và các quan hệ phân cấp, 2 ngôi, 3 ngôi.
  3. Ánh xạ mô hình khái niệm sang mô hình quan hệ, xác định tập phụ thuộc hàm và chuẩn hóa toàn bộ các quan hệ đạt dạng chuẩn 3 (3NF).
  4. Thiết kế và cài đặt cơ sở dữ liệu vật lý trên hệ quản trị cơ sở dữ liệu Microsoft SQL Server 2022, thiết lập các ràng buộc toàn vẹn khóa chính, khóa ngoại và miền giá trị.
  5. Xây dựng các truy vấn SQL phục vụ trích xuất thông tin quản lý, thống kê và báo cáo nghiệp vụ.

Đối tượng nghiên cứu của đề tài là toàn bộ dữ liệu nghiệp vụ xoay quanh quy trình hoạt động của trung tâm đào tạo thể thao, bao gồm: hồ sơ nhân sự (huấn luyện viên, nhân viên chuyên môn khác), hồ sơ học viên (phân loại thành vận động viên và học viên xuất sắc), cơ sở hạ tầng ký túc xá (tòa nhà, phòng ở), danh mục môn thể thao, lịch học và kíp học, danh sách lớp học, các giải đấu và kết quả thi đấu. Phạm vi nghiên cứu tập trung vào việc mô hình hóa dữ liệu ở mức khái niệm, mức logic và mức vật lý trong phạm vi hoạt động nội bộ của một trung tâm thể thao.

Cơ sở lý thuyết và phương pháp

Đề tài áp dụng hệ thống lý thuyết chuẩn tắc trong lĩnh vực Cơ sở dữ liệu và Hệ thống thông tin:

  • Lý thuyết mô hình hóa dữ liệu khái niệm: Sử dụng mô hình Thực thể - Liên kết (Entity-Relationship Model) để biểu diễn các tập thực thể mạnh, tập thực thể yếu (weak entity), các thuộc tính đơn, thuộc tính đa trị, thuộc tính ghép, các mối quan hệ nhị phân (2 ngôi), tam phân (3 ngôi) và quan hệ kế thừa phân cấp (Generalization/Specialization hay liên kết Cha - Con / ISA).
  • Lý thuyết thiết kế logic và chuẩn hóa cơ sở dữ liệu quan hệ: Áp dụng hệ tiên đề Armstrong và lý thuyết phụ thuộc hàm (Functional Dependency - FD) để xác định khóa dự bị, kiểm tra các dạng chuẩn 1NF, 2NF, 3NF nhằm loại bỏ các dị thường thêm (insertion anomalies), dị thường xóa (deletion anomalies) và dị thường sửa đổi (update anomalies).
  • Công nghệ triển khai cơ sở dữ liệu vật lý: Sử dụng ngôn ngữ định nghĩa dữ liệu (DDL) và ngôn ngữ thao tác dữ liệu (DML) trên hệ quản trị cơ sở dữ liệu Microsoft SQL Server 2022.

Phương pháp nghiên cứu được triển khai theo quy trình kỹ thuật phần mềm chuẩn:

  • Phương pháp phân tích yêu cầu: Phân tích kịch bản nghiệp vụ để trích xuất các thực thể, thuộc tính và các quy tắc nghiệp vụ ràng buộc (business rules).
  • Phương pháp thiết kế hệ thống: Chuyển đổi từ mô hình khái niệm sang mô hình quan hệ logic, áp dụng thuật toán tách không mất mát thông tin và bảo toàn phụ thuộc hàm để đưa lược đồ về dạng chuẩn 3 (3NF).
  • Phương pháp thực nghiệm kiểm chứng: Cài đặt lược đồ vật lý, nạp bộ dữ liệu thử nghiệm chi tiết cho tất cả các bảng và thực hiện kiểm thử tính đúng đắn qua các câu truy vấn trích xuất dữ liệu thực tế.
  • Nguồn dữ liệu: Dữ liệu kịch bản nghiệp vụ và bộ dữ liệu thử nghiệm mô phỏng hoạt động thực tế của trung tâm thể thao với 56 nhân viên, 65 học viên, 6 tòa ký túc xá, 7 môn thể thao, 14 lớp học, 14 mã lịch đào tạo và 5 giải đấu.

Thiết kế và triển khai

Hệ thống cơ sở dữ liệu quản lý trung tâm đào tạo thể thao được thiết kế chặt chẽ qua các cấp độ từ mô hình khái niệm, mô hình logic chuẩn hóa cho đến mức vật lý trên hệ quản trị SQL Server 2022.

1. Phân tích mô hình khái niệm và cấu trúc thực thể

Cơ sở dữ liệu bao gồm 11 tập thực thể mạnh, 1 tập thực thể yếu, 2 liên kết cha - con, 2 liên kết 3 ngôi và 6 liên kết 2 ngôi:

Loại thành phần Tên thành phần Mô tả chi tiết và các thuộc tính
Thực thể cha Nhân viên Lưu trữ: Mã nhân viên (Khóa chính), Số CMT, Họ và tên, Ngày sinh, Địa chỉ, Lương, Số điện thoại (đa trị).
Thực thể con Huấn luyện viên Kế thừa từ Nhân viên, liên kết chuyên môn với môn thể thao giảng dạy.
Thực thể con Nhân viên khác Kế thừa từ Nhân viên, bổ sung thuộc tính riêng: Chức vụ (Bảo vệ, Kế toán, Marketing, Thư ký, Trưởng phòng...).
Thực thể cha Học viên Lưu trữ: Mã học viên (Khóa chính), Số CMT, Họ và tên, Ngày sinh, Địa chỉ, Số điện thoại (đa trị).
Thực thể con Vận động viên Kế thừa từ Học viên, bổ sung thuộc tính: Số áo, Lương do tham gia thi đấu.
Thực thể con Học viên xuất sắc Kế thừa từ Học viên, bổ sung thuộc tính: Giải thưởng.
Thực thể mạnh Kí túc xá Lưu trữ: Tên tòa nhà (Khóa chính), Số lượng phòng.
Thực thể yếu Phòng Phụ thuộc vào Kí túc xá. Khóa xác định gồm: (Mã phòng, Tên tòa nhà). Ràng buộc sức chứa tối đa 7 người.
Thực thể mạnh Môn thể thao Lưu trữ: Mã môn (Khóa chính), Tên môn.
Thực thể mạnh Lớp Lưu trữ: Mã lớp (Khóa chính), dành cho học viên xuất sắc không phải vận động viên.
Thực thể mạnh Lịch & Ngày Lịch gồm Mã lịch (Khóa chính). Ngày là tập kết hợp: Mã lịch, Tên ngày, Tên kíp, Địa điểm.
Thực thể mạnh Giải đấu Lưu trữ: Tên giải đấu (Khóa chính), Ngày thi đấu.
Liên kết 2 ngôi Đào tạo, Dạy, Ở, Nằm Ràng buộc phân bổ học viên vào môn học, HLV dạy môn học, học viên ở phòng ký túc xá, phòng thuộc tòa.
Liên kết 2 ngôi (Có thuộc tính) Thực hiện, HLV trưởng Thực hiện gắn với thuộc tính Tuần; HLV trưởng gắn với Ngày bắt đầu, Ngày kết thúc.
Liên kết 3 ngôi Thuộc (lớp), Thi đấu Thuộc: Quan hệ giữa Vận động viên, Học viên khác và Lớp. Thi đấu: Quan hệ giữa VĐV, Môn thể thao, Giải đấu (thuộc tính Kết quả).

2. Chuẩn hóa lược đồ quan hệ (Normalization)

Quá trình khảo sát 19 tập phụ thuộc hàm ($F_1$ đến $F_{19}$) cho thấy đa số các quan hệ sau khi ánh xạ từ ERD đều đạt dạng chuẩn 3 (3NF). Riêng quan hệ Thuộc lớp ban đầu ở dạng 2NF được nhóm tác giả chuẩn hóa chi tiết:

  • Quan hệ ban đầu: Thuộc lớp (Mã lớp, Mã HLV, Mã HV)
  • Tập phụ thuộc hàm: $F_{19} = {\text{Mã HV} \rightarrow \text{Mã HLV}, \text{Mã lớp}; \text{Mã HLV} \rightarrow \text{Mã lớp}; \text{Mã lớp} \rightarrow \text{Mã HLV}}$
  • Khóa dự bị: ${\text{Mã HV}}$
  • Đánh giá: Tồn tại phụ thuộc bắc cầu $\text{Mã HV} \rightarrow \text{Mã lớp} \rightarrow \text{Mã HLV}$ và $\text{Mã HV} \rightarrow \text{Mã HLV} \rightarrow \text{Mã lớp}$, do đó quan hệ chỉ đạt dạng chuẩn 2 (2NF).
  • Giải pháp chuẩn hóa 3NF: Tách quan hệ Thuộc lớp thành hai quan hệ con:
    1. HV_Lớp (Mã HV, Mã lớp) với phụ thuộc hàm $F = {\text{Mã HV} \rightarrow \text{Mã lớp}}$
    2. HLV_Lớp (Mã HLV, Mã lớp) với phụ thuộc hàm $F' = {\text{Mã HLV} \rightarrow \text{Mã lớp}; \text{Mã lớp} \rightarrow \text{Mã HLV}}$

3. Cài đặt vật lý trên SQL Server 2022

Cơ sở dữ liệu vật lý quanlytrungtamthethao được hiện thực hóa thông qua hệ thống bảng lưu trữ đầy đủ, áp dụng các ràng buộc khóa và kiểm tra tính hợp lệ của dữ liệu:

-- Đoạn mã minh họa khởi tạo bảng Phòng với ràng buộc thực thể yếu và kiểm tra sức chứa
CREATE TABLE phong(
    MaPhong VARCHAR(50),
    SoNguoi INT DEFAULT 0 CHECK(SoNguoi <= 7),
    TenToaNha VARCHAR(50),
    PRIMARY KEY(MaPhong, TenToaNha),
    FOREIGN KEY(TenToaNha) REFERENCES kitucxa(TenToaNha)
);

Nội dung chính theo từng chương

Phần I: Mô tả kịch bản thế giới thực và thiết kế khái niệm

Nội dung phần này tập trung phân tích môi trường vận hành thực tế của trung tâm đào tạo thể thao và xác định các quy tắc ràng buộc logic:

  • Mỗi học viên khi nhập học chỉ được đăng ký đào tạo duy nhất 1 môn thể thao. Học viên được phân loại thành vận động viên (đã tham gia thi đấu) hoặc học viên xuất sắc (đã có giải thưởng).
  • Các học viên không phải vận động viên nhưng đạt thành tích xuất sắc được biên chế vào các lớp học cố định; mỗi lớp có nhiều học viên nhưng chỉ do duy nhất 1 huấn luyện viên phụ trách.
  • Mỗi huấn luyện viên chỉ giảng dạy duy nhất 1 môn thể thao, nhưng 1 môn thể thao có thể có nhiều huấn luyện viên. Tại một thời điểm, mỗi môn thể thao chỉ có duy nhất 1 huấn luyện viên trưởng.
  • Lịch đào tạo được tổ chức theo tuần, mỗi tuần áp dụng 1 mã lịch gồm nhiều ngày, mỗi ngày chia thành các kíp học với địa điểm cụ thể.
  • Khu nội trú gồm nhiều tòa nhà; các phòng trong cùng một tòa có mã khác nhau, nhưng giữa các tòa nhà khác nhau mã phòng có thể trùng lặp. Mỗi phòng có sức chứa tối đa không quá 7 học viên.
  • Xác định 5 nhóm thao tác nghiệp vụ cốt lõi trên hệ thống: Thêm mới dữ liệu, Xóa bỏ dữ liệu hết hiệu lực, Sửa đổi và cập nhật thông tin, Tra cứu dữ liệu, Lập báo cáo thống kê và trích xuất danh sách.

Phần II: Lược đồ ERD

Nhóm tác giả đã chuyển hóa toàn bộ các phân tích kịch bản nghiệp vụ thành Lược đồ thực thể - liên kết (ERD) hoàn chỉnh:

  • Mô hình hóa rõ nét các thuộc tính đa trị (như số điện thoại của nhân viên và học viên) thông qua các thực thể phụ trợ.
  • Xử lý các mối quan hệ kế thừa (ISA) phân nhánh rõ ràng giữa nhân viên (HLV / Nhân viên khác) và học viên (Vận động viên / Học viên xuất sắc).
  • Thiết lập liên kết yếu giữa thực thể Phòng và thực thể chủ Kí túc xá.
  • Định hình 2 liên kết tam phân phức hợp gồm quan hệ Thi đấu (Vận động viên - Môn thể thao - Giải đấu) và quan hệ Thuộc (Vận động viên - Học viên khác - Lớp).

Phần III: Thiết kế logic và chuẩn hóa

Chương này thực hiện chuyển đổi lược đồ ERD sang hệ thống các bảng quan hệ logic và chứng minh tính chuẩn mực về mặt toán học:

  • Khảo sát và thiết lập biểu thức phụ thuộc hàm cho 19 quan hệ thành phần.
  • Thực hiện phân tích cấu trúc khóa chính, khóa dự bị của từng bảng dữ liệu.
  • Phát hiện điểm vi phạm dạng chuẩn 3NF tại quan hệ Thuộc lớp do xuất hiện phụ thuộc hàm bắc cầu giữa Mã học viên, Mã lớp và Mã huấn luyện viên. Tiến hành phân rã không mất mát thông tin thành 2 lược đồ HV_Lớp và HLV_Lớp, đảm bảo toàn bộ hệ thống đạt chuẩn 3NF.

Phần IV: Xây dựng cơ sở dữ liệu ở mức vật lý

Phần này trình bày chi tiết quá trình hiện thực hóa mô hình logic thành cơ sở dữ liệu quan hệ trên Microsoft SQL Server 2022:

  • Khởi tạo cơ sở dữ liệu mang tên quanlytrungtamthethao.
  • Cài đặt 20 bảng dữ liệu vật lý bao gồm: kitucxa, phong, monthethao, lop, nhanvien, nhanvien_sdt, nhanvienkhac, huanluyenvien, hocvien, hocvienxuatsac, hocvien_sdt, vandongvien, lich, ngay, thuchien, giaidau, thidau, hlv_truong, hocvien_lop, hlv_lop.
  • Nạp bộ dữ liệu kiểm thử quy mô lớn: 56 bản ghi nhân viên, 28 bản ghi số điện thoại nhân viên, 15 bản ghi nhân viên khác, 28 huấn luyện viên, 65 học viên, 28 học viên xuất sắc, 28 số điện thoại học viên, 27 vận động viên, 6 tòa nhà với hàng chục phòng nội trú, 14 mã lớp, 14 lịch học, 27 lượt thi đấu tại 5 giải đấu lớn và 7 huấn luyện viên trưởng cho 7 bộ môn.

Phần V: Truy vấn cơ sở dữ liệu

Nhóm tác giả thiết kế và thực thi các câu truy vấn SQL phản ánh đúng nhu cầu khai thác dữ liệu trong thực tế:

  1. Thống kê số lượng học viên có thành tích đạt loại "Tốt" theo từng lớp học.
  2. Tra cứu thông tin chi tiết của các huấn luyện viên đảm nhiệm vị trí Huấn luyện viên trưởng trong năm 2018.
  3. Thống kê tổng số lượng học viên của từng lớp kèm theo thông tin huấn luyện viên phụ trách trực tiếp lớp đó.

Kết quả và đóng góp

Đề tài đã hoàn thành xuất sắc các mục tiêu nghiên cứu đề ra với những kết quả cụ thể:

  • Xây dựng hoàn chỉnh mô hình CSDL đạt chuẩn 3NF: Toàn bộ 20 bảng dữ liệu được chuẩn hóa triệt để, loại bỏ hoàn toàn hiện tượng dư thừa dữ liệu và loại trừ các nguy cơ gây dị thường dữ liệu khi cập nhật, thêm mới hoặc xóa bản ghi.
  • Hệ thống bảng dữ liệu vật lý liên kết chặt chẽ: Hiện thực hóa thành công trên Microsoft SQL Server 2022 với 20 bảng quan hệ, thiết lập hệ thống khóa ngoại và các ràng buộc toàn vẹn miền giá trị (như CHECK (SoNguoi <= 7) cho phòng ở).
  • Bộ dữ liệu thử nghiệm phong phú: Xây dựng thành công tập dữ liệu mẫu đồng bộ, phản ánh chân thực các tình huống thực tế của trung tâm thể thao với hàng chục thực thể liên kết phức tạp.
  • Chứng minh năng lực đáp ứng truy vấn: Các kịch bản truy vấn nghiệp vụ phức hợp (kết hợp bảng, gom nhóm GROUP BY, lọc điều kiện theo thời gian và giải thưởng) đều được thực thi chính xác trên nền tảng CSDL vừa xây dựng.

Hạn chế và hướng nghiên cứu tiếp

Căn cứ trên phạm vi nghiên cứu được trình bày trong tài liệu:

  • Hạn chế: Đề tài mới dừng lại ở việc thiết kế mô hình dữ liệu (ERD, chuẩn hóa 3NF), cài đặt cấu trúc bảng DDL, nạp dữ liệu DML và viết các câu truy vấn SQL cơ bản trên hệ quản trị SQL Server 2022. Hệ thống chưa được tích hợp giao diện người dùng (Front-end/Back-end application), chưa xây dựng các thủ tục lưu trữ nâng cao (Stored Procedures), hàm (User-Defined Functions), Trigger tự động kiểm tra ràng buộc động, hay phân quyền bảo mật người dùng đa cấp.
  • Hướng mở rộng: Xây dựng phần mềm ứng dụng hoàn chỉnh kết nối với CSDL; bổ sung các Trigger kiểm soát việc xếp phòng ký túc xá tự động không vượt quá 7 người; phát triển các báo cáo trực quan hóa thành tích thi đấu của vận động viên theo từng năm đào tạo.

Giá trị tham khảo

Báo cáo đề tài là tài liệu tham khảo có giá trị học thuật và thực tiễn cao:

  • Đối tượng thụ hưởng: Sinh viên chuyên ngành Công nghệ thông tin, Hệ thống thông tin, Kỹ thuật phần mềm đang học tập và nghiên cứu các học phần Cơ sở dữ liệu, Phân tích thiết kế hệ thống thông tin.
  • Nội dung đáng tham khảo:
    • Quy trình mẫu chuẩn mực trong việc chuyển đổi từ kịch bản ngôn ngữ tự nhiên sang mô hình khái niệm ERD chứa các thành phần phức tạp (thực thể yếu, quan hệ kế thừa ISA, quan hệ tam phân).
    • Phương pháp luận chi tiết và rõ ràng trong việc khảo sát tập phụ thuộc hàm và kỹ thuật phân rã quan hệ 2NF về dạng chuẩn 3NF không làm mất mát thông tin.
    • Mã lệnh DDL/DML chuẩn mực trên SQL Server 2022, cung cấp khung cấu trúc bảng và dữ liệu mẫu phong phú cho các đồ án môn học có quy mô tương tự.

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

1. Thực thể yếu trong hệ thống được xác định là thực thể nào và cách thiết lập khóa chính ra sao?
Thực thể yếu trong hệ thống là tập thực thể Phòng. Do mã phòng giữa các tòa nhà khác nhau có thể trùng nhau (ví dụ phòng 101 có ở cả tòa A1, A2, A3...), nên Phòng không thể đứng độc lập mà phải phụ thuộc vào thực thể mạnh Kí túc xá (Tòa nhà). Khóa chính của bảng phong được xác định bằng tổ hợp 2 thuộc tính: (MaPhong, TenToaNha).

2. Quan hệ nào trong thiết kế ban đầu vi phạm dạng chuẩn 3NF và đã được xử lý như thế nào?
Quan hệ vi phạm dạng chuẩn 3NF ban đầu là quan hệ Thuộc lớp (Mã lớp, Mã HLV, Mã HV) do chỉ đạt dạng chuẩn 2NF (tồn tại phụ thuộc hàm bắc cầu $\text{Mã HV} \rightarrow \text{Mã lớp} \rightarrow \text{Mã HLV}$). Nhóm tác giả đã chuẩn hóa về 3NF bằng cách tách thành 2 quan hệ độc lập: HV_Lớp (Mã HV, Mã lớp) và HLV_Lớp (Mã HLV, Mã lớp).

3. Ràng buộc về sức chứa tối đa của phòng ở ký túc xá được cài đặt vật lý như thế nào?
Ràng buộc sức chứa tối đa 7 người của mỗi phòng được thiết lập trực tiếp trong câu lệnh DDL tạo bảng phong trên SQL Server bằng biểu thức kiểm tra: SoNguoi INT DEFAULT 0 CHECK(SoNguoi <= 7).

4. Mô hình tổ chức quản lý nhân sự và học viên áp dụng cấu trúc kế thừa (ISA) ra sao?
Hệ thống sử dụng 2 cây kế thừa:

  • Thực thể cha Nhân viên phân rã thành 2 thực thể con: Huấn luyện viên (kế thừa thuộc tính chung và gắn với môn thể thao) và Nhân viên khác (bổ sung thuộc tính riêng Chức vụ).
  • Thực thể cha Học viên phân rã thành 2 thực thể con: Vận động viên (bổ sung thuộc tính Số áo, Lương) và Học viên xuất sắc (bổ sung thuộc tính Giải thưởng).

5. Ràng buộc đối với vai trò Huấn luyện viên trưởng trong mỗi bộ môn được quy định như thế nào?
Tại một thời điểm nhất định, mỗi môn thể thao chỉ có duy nhất 1 Huấn luyện viên trưởng. Để quản lý lịch sử và nhiệm kỳ, bảng hlv_truong lưu trữ: MaHLVTruong, MaMon (Khóa chính), NgayBatDau và NgayKetThuc.

Kết luận

Báo cáo bài tập lớn "Xây dựng hệ CSDL quản lý trung tâm đào tạo thể thao" của nhóm sinh viên Khoa Công nghệ Thông tin 1 – Học viện Công nghệ Bưu chính Viễn thông là một công trình thiết kế cơ sở dữ liệu có tính hệ thống và phương pháp luận chặt chẽ. Đề tài đã giải quyết trọn vẹn quy trình xây dựng CSDL từ kịch bản thế giới thực, mô hình hóa ERD với các cấu trúc quan hệ phức tạp, chuẩn hóa toán học đạt dạng chuẩn 3NF cho đến cài đặt vật lý và kiểm thử dữ liệu thực tế trên Microsoft SQL Server 2022. Đây là tài liệu mẫu mực, có giá trị học tập và ứng dụng thực tiễn cao cho sinh viên và các nhà phát triển hệ thống cơ sở dữ liệu quan hệ.