Trong bài luận văn này, đã trình bầy được những kiến thức, những khái niệm cơ bản về cơ sở dữ liệu quan hệ như là quan hệ, phụ thuộc hàm, khoá,...và một số thuật toán thiết kế chúng, đồng thời cũng trình bầy được các dạng chuẩn trong hệ cơ sở dữ liệu hiện có và các thuật toán liên quan đến dạng chuẩn. Về phần chương trình tính bao đóng và kiểm tra tính BCNF của sơ đồ quan hệ tuy đã đáp ứng được yêu cầu, song chưa được thực sự tối ưu.
