Công cụ giúp cho các bạn đang nghiên cứu về thiết kế CSDL có thể giải được các bài toán liên quan đến phụ thuộc hàm, chuẩn hóa CSDL quan hệ. Công cụ được xây dựng bằng C và tôi cung cấp toàn bộ mã nguồn cho các bạn để các bạn có thể nâng cấp, thay đổi theo ý của mình. Code được đính kèm tài liệu.
Trang 1CÔNG CỤ THIẾT KẾ CSDL
GV: HỒ XUÂN KIÊN
Trang 2TÁC DỤNG
• Phụ thuộc hàm và khóa
– Tìm bao đóng X*
– Bài toán thành viên
– Tìm một khóa
– Tìm mọi khóa
– Phủ tối thiểu
Trang 3TÁC DỤNG
• Phân tách và chuẩn hóa
– Nhập 1 phép tách
– Kiểm tra bảo toàn thông tin
– Kiểm tra bảo toàn phụ thuộc hàm
– Kiểm tra đạt các chuẩn của CSDL (2NF,3NF, BCNF)
Trang 4Giao diện chính
Trang 5Tạo mới file
Trang 6Xem thông tin R(U,F)
Trang 7Tìm bao đóng X*
Trang 8Bài toán thành viên
Trang 9Tìm phủ tối thiểu
Trang 10Tách dạng chuẩn BCNF
Trang 11Ngoài ra
• Còn nhiều chức năng hỗ trợ khác
• Người dùng có thể phát triển code