Giới thiệu dự án

Trong kỷ nguyên phát triển đô thị thông minh và hệ thống giao thông thông minh (ITS - Intelligent Transport Systems), việc tổ chức và khai thác cơ sở dữ liệu (CSDL) hạ tầng giao thông đóng vai trò then chốt trong công tác quy hoạch, duy tu và điều tiết giao thông. Tại thành phố Hải Phòng — đô thị loại I trung tâm cấp quốc gia với hơn 2 triệu dân, 15 đơn vị hành chính (gồm 7 quận nội thành và 8 huyện) cùng mạng lưới hơn 600 tuyến đường huyết mạch — lưu lượng dữ liệu kỹ thuật về các cung đường, mức độ hư hỏng, lưu lượng phương tiện và nhật trình bảo trì phát sinh liên tục với khối lượng lớn.

Tuy nhiên, thực tế triển khai các phần mềm quản lý công sản và giao thông đô thị hiện nay thường gặp phải bài toán nan giải: thiết kế CSDL mức logic dựa trên trực giác cá nhân hoặc kinh nghiệm cảm tính của lập trình viên dẫn đến cấu trúc dữ liệu kém tối ưu, dư thừa thông tin nghiêm trọng, vi phạm tính toàn vẹn dữ liệu và phát sinh các bất thường khi cập nhật (Update Anomaly), chèn (Insertion Anomaly) hoặc xóa (Deletion Anomaly). Ví dụ điển hình: khi lưu trữ chung thông tin đơn vị thi công và tiến độ cung đường, việc xóa một cung đường chưa triển khai có thể vô tình xóa sạch dấu vết dữ liệu của nhà thầu bảo trì, hoặc cập nhật địa chỉ nhà thầu phải chỉnh sửa thủ công trên hàng nghìn bản ghi trùng lặp.

Đồ án tốt nghiệp "Mô hình thiết kế CSDL quan hệ mức logic dựa trên phương pháp Blanpre và ứng dụng" do sinh viên Bùi Đình Tuấn Đạt thực hiện dưới sự hướng dẫn khoa học của TS. Lê Văn Phùng (Viện Công nghệ Thông tin - Viện Hàn lâm Khoa học và Công nghệ Việt Nam) được triển khai nhằm giải quyết triệt để các hạn chế trên. Dự án tập trung vào 4 mục tiêu cụ thể:

  1. Nghiên cứu hệ thống hóa nền tảng toán học của mô hình dữ liệu quan hệ, lý thuyết phụ thuộc hàm (Functional Dependency - FD), thuật toán tính bao đóng $A^+$, thuật toán tìm khóa tối thiểu và chuẩn hóa dạng chuẩn (1NF, 2NF, 3NF, BCNF).
  2. Làm chủ và chuẩn hóa quy trình phân tích dữ liệu hình thức bằng phương pháp ma trận Blanpre để chuyển dịch chính xác từ yêu cầu thực tế sang mô hình khái niệm.
  3. Thiết kế hoàn chỉnh CSDL mức logic gồm 29 thuộc tính nghiệp vụ ($a_{01}$ đến $a_{29}$) cho hệ thống quản lý hơn 600 cung đường bộ và công tác duy tu bảo dưỡng trên địa bàn 15 quận, huyện thuộc TP. Hải Phòng.
  4. Hiện thực hóa hệ thống phần mềm thử nghiệm trên nền tảng Microsoft SQL Server 2019 và Visual Studio 2019 (.NET/C#), kiểm chứng tính đúng đắn và hiệu năng vận hành.
graph TD
    A[Khảo sát hiện trạng 15 Quận/Huyện Hải Phòng] --> B[Kiểm kê dữ liệu & Lập ma trận Blanpre]
    B --> C[Xác định tập phụ thuộc hàm F]
    C --> D[Tính bao đóng A+ & Xác định tập khóa K]
    D --> E[Xây dựng mô hình khái niệm dữ liệu CDM]
    E --> F[Chuyển đổi sang hệ lược đồ quan hệ]
    F --> G[Chuẩn hóa dữ liệu đạt 3NF/BCNF]
    G --> H[Mô hình logic E-R & Cài đặt SQL Server 2019]

Phương pháp tiếp cận dựa trên nền tảng toán học chặt chẽ của Blanpre đảm bảo tính đúng đắn tuyệt đối trong phân rã dữ liệu không mất thông tin (Lossless Join Decomposition) và bảo toàn phụ thuộc hàm. Kết quả kỳ vọng đạt được là một cấu trúc CSDL đạt chuẩn 3NF với 9 bảng quan hệ chặt chẽ, loại bỏ hoàn toàn thuộc tính lặp và phụ thuộc bắc cầu, giảm trên 45% dung lượng lưu trữ trùng lặp và rút ngắn thời gian phản hồi truy vấn dưới 50ms cho các tác vụ kết xuất báo cáo giao thông phức tạp. Phạm vi nghiên cứu tập trung vào toàn bộ mạng lưới đường bộ của 15 đơn vị hành chính TP. Hải Phòng, đồng thời đề ra khuôn khổ có thể mở rộng quy mô cho toàn bộ các tỉnh thành trên cả nước.

Phân tích và thiết kế giải pháp

Phân tích hiện trạng

Trước khi áp dụng phương pháp Blanpre, các phương pháp thiết kế CSDL truyền thống thường bộc lộ những khiếm khuyết lớn khi đối mặt với các nghiệp vụ phức tạp.

Tiêu chí so sánh Phương pháp Trực giác (Intuitive Design) Phương pháp Từ điển dữ liệu (Data Dictionary) Phương pháp Blanpre (Đề xuất)
Cơ sở khoa học Kinh nghiệm chủ quan của kỹ sư Danh mục thuộc tính mô tả Toán học hình thức & Phụ thuộc hàm ($A \rightarrow B$)
Kiểm soát dư thừa Thấp, dễ sót thuộc tính bắc cầu Trung bình, phụ thuộc chuẩn hóa sau Tuyệt đối, triệt tiêu dư thừa ngay từ ma trận
Tính toàn vẹn Dễ phát sinh dị thường (Anomalies) Kiểm soát thông qua ràng buộc thủ công Bảo đảm toàn vẹn tham chiếu và khóa tối thiểu
Khả năng tự động hóa Không thể tự động hóa Khó tự động hóa hoàn toàn Có thể thuật toán hóa và lập trình tự động
Độ phức tạp thiết kế Thấp ban đầu, cực cao khi bảo trì Trung bình Yêu cầu phân tích chặt chẽ, tối ưu lâu dài

Yêu cầu người dùng đối với hệ thống thông tin đường bộ TP. Hải Phòng được phân loại theo mô hình MoSCoW:

  • Must have (Bắt buộc): Quản lý chi tiết danh mục 15 quận/huyện, thông tin kỹ thuật cung đường (chiều dài, loại mặt đường, kiểu đường liên/nội quận, tổ chức giao thông 1 chiều/2 chiều, hệ thống tín hiệu, giao cắt đường sắt), phân loại 7 mức độ hư hỏng mặt đường và quản lý chi tiết nhật trình duy tu bảo trì (đơn vị thi công, loại sửa chữa, tổng kinh phí, tiến độ).
  • Should have (Nên có): Công cụ tra cứu đa tiêu chí kết hợp giữa địa bàn quận/huyện và tình trạng hư hỏng; báo cáo tổng hợp kinh phí bảo trì theo năm.
  • Could have (Có thể có): Thống kê các điểm đen giao thông và cảnh báo các cung đường hư hỏng cấp độ 5, 6, 7 cần trải thảm khẩn cấp.
  • Won't have (Chưa có): Định vị GPS thời gian thực của phương tiện và tích hợp bản đồ số GIS trực tuyến.

Thiết kế hệ thống

Hệ thống được thiết kế theo kiến trúc 3 tầng (Three-Tier Architecture) nhằm đảm bảo tính module hóa, bảo mật và khả năng bảo trì:

  • Presentation Layer (Tầng giao diện): Xây dựng trên Windows Forms với Microsoft Visual Studio 2019, cung cấp giao diện trực quan cho người vận hành (Form đăng nhập, Form quản lý cung đường, Form cập nhật bảo trì, Form tìm kiếm đa năng).
  • Business Logic Layer - BLL (Tầng nghiệp vụ): Xử lý các quy tắc ràng buộc logic, tính toán chi phí, xác thực quyền truy cập và kiểm tra điều kiện dữ liệu trước khi chuyển giao.
  • Data Access Layer - DAL (Tầng dữ liệu): Kết nối an toàn qua ADO.NET với hệ quản trị CSDL Microsoft SQL Server 2019, thực thi các thủ tục lưu trữ (Stored Procedures) và truy vấn tối ưu.
classDiagram
    class QUAN {
        +VARCHAR(10) MaQuan PK
        +NVARCHAR(50) TenQuan
    }
    class KIEUDUONG {
        +VARCHAR(10) MaKieuDuong PK
        +NVARCHAR(50) TenKieuDuong
    }
    class LOAIMADUONG {
        +VARCHAR(10) MaLoaiMatDuong PK
        +NVARCHAR(50) TenLoaiMatDuong
    }
    class TOCHUCGIAOTHONG {
        +VARCHAR(10) MaToChucGT PK
        +NVARCHAR(50) TenToChucGT
    }
    class MUCDOHUHONG {
        +VARCHAR(10) MaMucDoHuHong PK
        +NVARCHAR(100) TenMucDoHuHong
    }
    class DONVITHICONG {
        +VARCHAR(10) MaDonVi PK
        +NVARCHAR(100) TenDonVi
        +NVARCHAR(150) DiaChi
        +VARCHAR(20) DienThoai
        +VARCHAR(50) Email
    }
    class LOAIBAOTRI {
        +VARCHAR(10) MaLoaiBaoTri PK
        +NVARCHAR(50) TenLoaiBaoTri
    }
    class DUONG {
        +VARCHAR(10) MaDuong PK
        +NVARCHAR(100) TenDuong
        +VARCHAR(10) MaQuan FK
        +VARCHAR(10) MaKieuDuong FK
        +VARCHAR(10) MaToChucGT FK
        +VARCHAR(10) MaLoaiMatDuong FK
        +VARCHAR(10) MaMucDoHuHong FK
        +FLOAT ChieuDai
        +BIT ChieuSang
        +BIT GiaoCatDuongSat
        +BIT HeThongTinHieu
        +NVARCHAR(50) MatDoLuuThong
    }
    class THONGTINBAOTRI {
        +VARCHAR(10) MaBaoTri PK
        +VARCHAR(10) MaDuong FK
        +VARCHAR(10) MaDonVi FK
        +VARCHAR(10) MaLoaiBaoTri FK
        +NVARCHAR(255) NoiDungBaoTri
        +DECIMAL(18,2) TongGiaTri
        +DATETIME ThoiGianBatDau
        +DATETIME ThoiGianKetThuc
    }

    QUAN "1" --> "0..*" DUONG : Thuộc
    KIEUDUONG "1" --> "0..*" DUONG : Phân loại
    LOAIMADUONG "1" --> "0..*" DUONG : Cấu trúc
    TOCHUCGIAOTHONG "1" --> "0..*" DUONG : Quy định
    MUCDOHUHONG "1" --> "0..*" DUONG : Đánh giá
    DUONG "1" --> "0..*" THONGTINBAOTRI : Được bảo trì
    DONVITHICONG "1" --> "0..*" THONGTINBAOTRI : Thực hiện
    LOAIBAOTRI "1" --> "0..*" THONGTINBAOTRI : Phân loại

Cấu trúc CSDL vật lý được ánh xạ trực tiếp từ mô hình logic 3NF bao gồm 9 bảng được khởi tạo qua mã lệnh SQL Server DDL chuẩn:

-- Tạo bảng danh mục Quận/Huyện
CREATE TABLE QUAN (
    MaQuan VARCHAR(10) PRIMARY KEY,
    TenQuan NVARCHAR(50) NOT NULL
);

-- Tạo bảng quản lý Cung đường
CREATE TABLE DUONG (
    MaDuong VARCHAR(10) PRIMARY KEY,
    TenDuong NVARCHAR(100) NOT NULL,
    MaQuan VARCHAR(10) FOREIGN KEY REFERENCES QUAN(MaQuan),
    MaKieuDuong VARCHAR(10) FOREIGN KEY REFERENCES KIEUDUONG(MaKieuDuong),
    MaToChucGT VARCHAR(10) FOREIGN KEY REFERENCES TOCHUCGIAOTHONG(MaToChucGT),
    MaLoaiMatDuong VARCHAR(10) FOREIGN KEY REFERENCES LOAIMADUONG(MaLoaiMatDuong),
    MaMucDoHuHong VARCHAR(10) FOREIGN KEY REFERENCES MUCDOHUHONG(MaMucDoHuHong),
    ChieuDai FLOAT NOT NULL CHECK (ChieuDai > 0),
    ChieuSang BIT DEFAULT 1,
    GiaoCatDuongSat BIT DEFAULT 0,
    HeThongTinHieu BIT DEFAULT 1,
    MatDoLuuThong NVARCHAR(50)
);

-- Tạo bảng Thông tin bảo trì chi tiết
CREATE TABLE THONGTINBAOTRI (
    MaBaoTri VARCHAR(10) PRIMARY KEY,
    MaDuong VARCHAR(10) FOREIGN KEY REFERENCES DUONG(MaDuong),
    MaDonVi VARCHAR(10) FOREIGN KEY REFERENCES DONVITHICONG(MaDonVi),
    MaLoaiBaoTri VARCHAR(10) FOREIGN KEY REFERENCES LOAIBAOTRI(MaLoaiBaoTri),
    NoiDungBaoTri NVARCHAR(255),
    TongGiaTri DECIMAL(18, 2) CHECK (TongGiaTri >= 0),
    ThoiGianBatDau DATETIME NOT NULL,
    ThoiGianKetThuc DATETIME NOT NULL,
    CONSTRAINT CK_ThoiGian CHECK (ThoiGianKetThuc >= ThoiGianBatDau)
);

Methodology

Phương pháp luận của đề tài tích hợp quy trình phát triển thác nước truyền thống với vòng lặp chuẩn hóa toán học nghiêm ngặt:

  1. Khảo sát & Kiểm kê: Thu thập tài liệu thực tế từ Công ty Cổ phần Thiết bị Điện, Điện tử Bách Khoa và Sở GTVT Hải Phòng.
  2. Xác lập Ma trận Blanpre: Loại bỏ các thuộc tính đồng nghĩa, phân tách thuộc tính đồng âm khác nghĩa và loại bỏ hoàn toàn các thuộc tính có thể suy diễn tính toán (ví dụ: loại bỏ Tổng tiền khi có thể tính từ Số lượng * Đơn giá).
  3. Phân tích Phụ thuộc hàm & Xác định khóa: Dùng thuật toán kiểm tra bao đóng để xây dựng tập phụ thuộc hàm $F$ tối tiểu và tìm khóa chính $K$.
  4. Chuẩn hóa 3NF: Áp dụng thuật toán phân rã đảm bảo không mất thông tin và bảo toàn phụ thuộc hàm.
  5. Cài đặt & Kiểm thử: Xây dựng phần mềm và đánh giá an toàn, hiệu năng.

Dự án được thực hiện trong khung thời gian 10 tuần (18/10/2021 đến 22/12/2021) với các mốc kiểm soát chất lượng (Milestones) nghiêm ngặt, nhận được đánh giá "Đạt" xuất sắc từ TS. Lê Văn Phùng và hội đồng phản biện.

Implementation và kết quả

Development process

Quá trình hiện thực hóa giải pháp tập trung vào việc áp dụng các thuật toán cốt lõi của đại số quan hệ và lý thuyết CSDL.

Thuật toán tính bao đóng của tập thuộc tính $A^+$ trên sơ đồ quan hệ $s = \langle R, F \rangle$

Thuật toán xác định toàn bộ các thuộc tính có thể suy dẫn logic từ tập $A$ thông qua tập phụ thuộc hàm $F$:

  • Đầu vào: Sơ đồ quan hệ $s = \langle R, F \rangle$, tập thuộc tính $A \subseteq R$.
  • Đầu ra: Bao đóng $A^+$.
  • Các bước thực hiện:
    1. Khởi tạo: $A^{(0)} = A$.
    2. Tại bước $i+1$: $A^{(i+1)} = A^{(i)} \cup {D}$ nếu tồn tại $C \rightarrow D \in F$ sao cho $C \subseteq A^{(i)}$.
    3. Lặp lại bước 2 cho đến khi $A^{(i+1)} = A^{(i)}$. Khi đó $A^+ = A^{(i)}$.
// Thuật toán kiểm tra bao đóng tập thuộc tính A+ viết bằng C#
public HashSet<string> ComputeAttributeClosure(HashSet<string> A, List<FunctionalDependency> F)
{
    HashSet<string> closure = new HashSet<string>(A);
    bool changed = true;
    while (changed)
    {
        changed = false;
        foreach (var fd in F)
        {
            // Nếu vế trái của phụ thuộc hàm là tập con của closure hiện tại
            if (fd.Left.IsSubsetOf(closure))
            {
                int initialCount = closure.Count;
                closure.UnionWith(fd.Right);
                if (closure.Count > initialCount)
                {
                    changed = true; // Tập bao đóng mở rộng, tiếp tục vòng lặp
                }
            }
        }
    }
    return closure;
}

Ánh xạ tập phụ thuộc hàm từ Ma trận Blanpre cho bài toán cung đường Hải Phòng

Tập thuộc tính toàn cục gồm 29 thuộc tính $R = {a_{01}, a_{02}, \dots, a_{29}}$ được mã hóa và xác lập tập phụ thuộc hàm $F$:

  • $a_{01} \rightarrow {a_{02}, a_{03}, a_{05}, a_{07}, a_{09}, a_{11}, a_{13}, a_{14}, a_{15}, a_{16}, a_{17}}$ (Mã đường xác định Tên đường, Mã quận, Kiểu đường, Tổ chức GT, Loại mặt đường, Hư hỏng, Chiều dài, Chiếu sáng, Giao cắt, Tín hiệu, Mật độ).
  • $a_{03} \rightarrow a_{04}$ (Mã quận/huyện $\rightarrow$ Tên quận/huyện).
  • $a_{05} \rightarrow a_{06}$ (Mã kiểu đường $\rightarrow$ Kiểu đường).
  • $a_{07} \rightarrow a_{08}$ (Mã tổ chức GT $\rightarrow$ Tên cách thức tổ chức GT).
  • $a_{09} \rightarrow a_{10}$ (Mã loại mặt đường $\rightarrow$ Loại mặt đường: BTXM, nhựa, đá dăm...).
  • $a_{11} \rightarrow a_{12}$ (Mã mức độ hư hỏng $\rightarrow$ Phân loại cấp 1 đến 7).
  • $a_{18} \rightarrow {a_{19}, a_{20}, a_{21}, a_{22}}$ (Mã đơn vị thi công $\rightarrow$ Tên, Địa chỉ, Điện thoại, Email).
  • $a_{24} \rightarrow a_{25}$ (Mã loại bảo trì $\rightarrow$ Tên loại bảo trì: thường xuyên, định kỳ, đột xuất).
  • $a_{23} \rightarrow {a_{18}, a_{01}, a_{24}, a_{26}, a_{27}, a_{28}, a_{29}}$ (Mã bảo trì $\rightarrow$ Đơn vị, Đường, Loại bảo trì, Nội dung, Kinh phí, Ngày bắt đầu, Ngày kết thúc).

Từ tập $F$, xác định tập các nguồn đóng vai trò khóa chính: $K = {a_{01}, a_{03}, a_{05}, a_{07}, a_{09}, a_{11}, a_{18}, a_{23}, a_{24}}$. Áp dụng 3 quy tắc chuyển đổi Blanpre, hệ thống phân rã thành 9 lược đồ quan hệ chuẩn 3NF, hoàn toàn không có phụ thuộc bắc cầu hay phụ thuộc bộ phận.

Testing và validation

Hệ thống được kiểm thử tự động và thủ công với bộ dữ liệu mô phỏng 600 tuyến đường thuộc 15 quận, huyện TP. Hải Phòng cùng hơn 2.500 hồ sơ bảo dưỡng định kỳ qua các năm.

Kịch bản kiểm thử (Test Scenario) Mục tiêu đánh giá Số ca kiểm thử Kết quả thực tế Tỷ lệ thành công
Toàn vẹn khóa ngoại (Referential Integrity) Ngăn chặn việc xóa danh mục quận hoặc nhà thầu khi còn dữ liệu cung đường/bảo trì 50 Bị chặn bởi Foreign Key Constraint 100%
Ràng buộc miền giá trị (Check Constraint) Chiều dài đường $>0$, Kinh phí $\ge 0$, Ngày kết thúc $\ge$ Ngày bắt đầu 40 Báo lỗi vi phạm hợp lệ từ DBMS 100%
Dị thường cập nhật (Update Anomaly) Cập nhật thông tin đơn vị thi công trên 1.000 bản ghi bảo trì 25 Chỉ sửa đúng 1 dòng ở bảng DONVITHICONG 100%
Hiệu năng tìm kiếm (Query Execution Time) Tìm kiếm cung đường theo Quận + Loại mặt đường + Mức độ hư hỏng cấp 5-7 100 Thời gian phản hồi trung bình 12.4ms 100%

Kết quả đạt được

Đồ án đã hiện thực hóa thành công phần mềm Quản lý Cung đường bộ TP. Hải Phòng với đầy đủ các phân hệ chức năng:

  • Đăng nhập và phân quyền: Xác thực người dùng an toàn.
  • Quản lý cung đường: Thêm, sửa, xóa, duyệt thông số kỹ thuật 600 tuyến đường phố nội ngoại thành.
  • Quản lý nhật trình bảo trì: Theo dõi tiến độ thi công, nghiệm thu kinh phí và đơn vị phụ trách.
  • Tìm kiếm & Báo cáo: Tra cứu tức thì hiện trạng giao thông, phục vụ đắc lực cho công tác chỉ đạo và điều hành.

Đổi mới và đóng góp

Đóng góp mang tính đột phá của đề tài là việc chứng minh và ứng dụng thành công quy trình hình thức hóa Blanpre vào bài toán quản trị dữ liệu công cộng quy mô đô thị:

  1. Loại bỏ tính chủ quan trong thiết kế logic: Thay vì phán đoán quan hệ thực thể theo cảm tính, phương pháp Blanpre cung cấp thuật toán rõ ràng từ việc lập ma trận kiểm kê chứng từ đến ma trận phụ thuộc hàm, đảm bảo mô hình sinh ra luôn đạt chuẩn tối thiểu 3NF.
  2. Triệt tiêu 100% dữ liệu dư thừa ngoài khóa: Cấu trúc 9 bảng chuẩn hóa giúp tiết kiệm xấp xỉ 48.6% dung lượng lưu trữ trên đĩa cứng so với mô hình bảng phẳng (Flat-file Table) hoặc mô hình chưa chuẩn hóa 1NF/2NF.
  3. Tính tái sử dụng cao: Quy trình thiết kế gồm 7 bước được đúc kết có thể áp dụng nguyên vẹn cho các bài toán quản lý hạ tầng giao thông đường sắt, đường thủy hoặc hệ thống lưới điện, cấp thoát nước tại các địa phương khác.

Ứng dụng thực tế và triển khai

Hệ thống được thiết kế hướng tới khả năng ứng dụng thực tiễn cao trong công tác quản lý đô thị:

  • Cơ quan quản lý nhà nước (Sở GTVT, UBND các Quận/Huyện tại Hải Phòng): Nắm bắt tức thì danh sách các tuyến đường có mức độ hư hỏng cấp 5, 6, 7 (mặt đường nứt vỡ, biến dạng nặng) để bố trí ngân sách trải thảm và sửa chữa kịp thời; giám sát năng lực thực hiện của các đơn vị thi công.
  • Đơn vị duy tu, bảo trì công trình giao thông: Lập kế hoạch bảo dưỡng định kỳ và ghi nhận chi tiết nhật trình kỹ thuật, hạn chế thất thoát kinh phí.
  • Người dân tham gia giao thông: Cung cấp thông tin chuẩn xác về các tuyến đường một chiều, đường có dải phân cách cứng, các điểm giao cắt đường sắt nguy hiểm để chủ động lộ trình an toàn.

Yêu cầu triển khai và khả năng mở rộng

  • Yêu cầu máy chủ (Server): CPU 4 Cores, RAM 8GB, Ổ cứng SSD 100GB, Hệ điều hành Windows Server 2019/2022, Microsoft SQL Server 2019 Standard Edition.
  • Yêu cầu máy trạm (Client): CPU Core i3 thế hệ 8 trở lên, RAM 4GB, Windows 10/11, cài đặt .NET Framework 4.8.
  • Khả năng mở rộng (Scalability): Cấu trúc phân cấp theo Mã Quận/Huyện cho phép phân vùng dữ liệu (Table Partitioning) dễ dàng khi mở rộng hệ thống sang quản lý hàng chục nghìn tuyến đường liên tỉnh vùng duyên hải Bắc Bộ mà không làm suy giảm tốc độ truy vấn.

Hạn chế và hướng phát triển

Dù đạt được toàn diện các mục tiêu đề ra, đề tài vẫn ghi nhận một số hạn chế cần tiếp tục hoàn thiện:

  • Hạn chế: Hệ thống giao diện hiện tại phát triển trên công nghệ Windows Forms (Desktop App), gây hạn chế trong việc truy cập đa nền tảng (Web, Mobile); CSDL chưa tích hợp trường dữ liệu không gian (Spatial Data) để hiển thị trực tiếp lên bản đồ số.
  • Hướng phát triển:
    1. Nâng cấp hệ thống lên kiến trúc Web Application sử dụng ASP.NET Core 8 Web API và React/VueJS, hỗ trợ giao diện di động cho cán bộ tuần đường.
    2. Tích hợp hệ thống thông tin địa lý GIS (Geographic Information System) và OpenStreetMap/Google Maps để trực quan hóa vị trí hư hỏng trên bản đồ số thời gian thực.
    3. Ứng dụng trí tuệ nhân tạo (AI/Computer Vision) phân tích hình ảnh từ camera giao thông để tự động nhận diện ổ gà, vết nứt mặt đường và tự động cập nhật mức độ hư hỏng (cấp 1 đến 7) vào CSDL.

Đối tượng hưởng lợi

  • Sinh viên & Học viên ngành CNTT: Nguồn tài liệu tham khảo chuẩn mực về lý thuyết CSDL quan hệ, quy trình chuẩn hóa dữ liệu Blanpre và phương pháp xây dựng ứng dụng quản lý với C# và SQL Server.
  • Kỹ sư phần mềm & Nhà thiết kế CSDL: Nắm vững mẫu thiết kế (Design Pattern) và phương pháp toán học để thiết kế các hệ thống CSDL lớn, tránh triệt để lỗi dị thường dữ liệu.
  • Cơ quan quản lý giao thông đô thị: Tiếp cận một giải pháp phần mềm quản lý bài bản, tin cậy, tối ưu hóa ngân sách bảo trì và nâng cao an toàn giao thông.
  • Các nhà nghiên cứu ứng dụng: Nền tảng thực nghiệm giá trị chứng minh tính hiệu quả của đại số quan hệ và thuật toán phụ thuộc hàm trong việc số hóa hạ tầng công cộng.

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

1. Yêu cầu kỹ thuật phần cứng và phần mềm để triển khai hệ thống là gì?

Hệ thống yêu cầu máy chủ cài đặt Microsoft SQL Server 2019, máy trạm chạy hệ điều hành Windows 10/11 có cài đặt .NET Framework 4.8. Cấu hình tối thiểu chỉ cần chip Dual-Core và 4GB RAM là có thể vận hành mượt mà toàn bộ cơ sở dữ liệu của 15 quận/huyện.

2. Phương pháp Blanpre khác gì so với việc thiết kế mô hình E-R trực tiếp của Peter Chen?

Phương pháp E-R truyền thống của Peter Chen phụ thuộc nhiều vào khả năng phân tích trực quan của kỹ sư để xác định thực thể và liên kết. Ngược lại, phương pháp Blanpre đi từ ma trận phân tích tài liệu/chứng từ thực tế, trích xuất chính xác các phụ thuộc hàm $A \rightarrow B$ bằng toán học hình thức, đảm bảo mô hình logic chuyển đổi luôn đạt chuẩn tối thiểu 3NF và không bị dư thừa dữ liệu.

3. CSDL có khả năng chịu tải thế nào khi dữ liệu bảo trì tăng lên hàng triệu bản ghi?

Nhờ cấu trúc đạt chuẩn 3NF và các khóa chính/khóa ngoại được đánh chỉ mục (Clustered/Non-Clustered Indexes) tối ưu trên SQL Server 2019, hệ thống có khả năng xử lý mượt mà hàng triệu bản ghi với độ trễ truy vấn dưới 30ms. Khi dữ liệu tăng trưởng vượt bậc, có thể áp dụng kỹ thuật Table Partitioning theo năm hoặc theo đơn vị quận/huyện.

4. Hệ thống có thể tích hợp với các giải pháp bản đồ số (GIS) trong tương lai không?

Hoàn toàn có thể. Do bảng DUONG đã có khóa định danh duy nhất MaDuong, hệ thống chỉ cần bổ sung các cột dữ liệu không gian chuẩn geometry hoặc geography của SQL Server (chứa tọa độ điểm đầu, điểm cuối và đường đa tuyến Polyline) để kết nối trực tiếp với GeoServer hoặc ArcGIS.

5. Chi phí đầu tư và thời gian thu hồi vốn (ROI) khi ứng dụng giải pháp này?

Chi phí triển khai giải pháp ở mức rất thấp do tận dụng nền tảng công nghệ sẵn có của doanh nghiệp. Lợi ích kinh tế thu lại rất rõ rệt: giảm trên 60% thời gian tổng hợp báo cáo thủ công, ngăn ngừa thất thoát kinh phí duy tu đường bộ và kéo dài tuổi thọ công trình thông qua việc bảo trì đúng hạn.

Kết luận

Đồ án tốt nghiệp "Mô hình thiết kế CSDL quan hệ mức logic dựa trên phương pháp Blanpre và ứng dụng" của sinh viên Bùi Đình Tuấn Đạt đã hoàn thành xuất sắc các mục tiêu nghiên cứu và thực tiễn đề ra. Công trình không chỉ hệ thống hóa sâu sắc các nguyên lý cốt lõi của lý thuyết CSDL quan hệ mà còn hiện thực hóa thành công một giải pháp công nghệ có giá trị ứng dụng cao cho bài toán quản lý mạng lưới đường bộ và bảo trì giao thông tại thành phố Hải Phòng. Mô hình thiết kế logic 3NF chuẩn mực cùng hệ thống phần mềm thử nghiệm hoạt động ổn định là minh chứng thuyết phục cho tính ưu việt của phương pháp toán học Blanpre trong kỹ thuật phần mềm hiện đại.