NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN
Tên luận án: Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ
Ngành: Hệ thống thông tin Mã số: 9 48 01 04
Họ và tên nghiên cứu sinh: Nguyễn Thị Vân
Chức danh, học vị, họ và tên người hướng dẫn: PGS. TSKH Nguyễn Xuân Huy
Cơ sở đào tạo: Học viện Khoa học và Công nghệ, Viện Hàn lâm Khoa học và Công nghệ Việt Nam
Nội dung: nêu ngắn gọn những đóng góp mới về mặt học thuật, lý luận, những luận điểm mới rút ra được từ kết quả nghiên cứu, khảo sát của luận án
Đóng góp chính của luận án bao gồm:
1- Đề xuất các dạng phụ thuộc mới là phụ thuộc xấp xỉ tổng quát, phụ thuộc Boole dương xấp xỉ, phụ thuộc boole dương xấp xỉ tổng quát và phụ thuộc yếu xấp xỉ.
2- Xây dựng mối quan hệ giữa các loại phụ thuộc logic, giữa phụ thuộc Boole dương tổng quát và phụ thuộc hàm nới lỏng, phụ thuộc Boole dương tổng quát và phụ thuộc Boole dương xấp xỉ, phụ thuộc Boole dương tổng quát và phụ thuộc Boole dương xấp xỉ tổng quát
3- Đề xuất qui trình giải bài toán suy dẫn theo ba tiếp cận hình thức. Xây dựng và đánh giá thuật toán tìm bao đóng, thuật toán tìm khóa của một tập thuộc tính cho lớp các phụ thuộc logic.
