Phát triển phụ thuộc Boole dương xấp xỉ trong cơ sở dữ liệu quan hệ

Abstract

Luận án nghiên cứu đề xuất một số loại phụ thuộc mới, bao gồm: phụ thuộc Boole dương xấp xỉ, tiếp tục mở rộng biến thể của phụ thuộc hàm là phụ thuộc Boole dương xấp xỉ thành phụ thuộc Boole dương xấp xỉ tổng quát và phụ thuộc yếu thành phụ thuộc yếu xấp xỉ tổng quát. Sự mở rộng này sẽ làm tiền đề để tìm ra các mối tương quan giữa các loại phụ thuộc này. Xây dựng các lớp phụ thuộc dữ liệu trong cơ sở dữ liệu dựa trên hai đặc trưng là phép sánh trị và công thức suy dẫn. Phát hiện các dạng khác nhau của phụ thuộc Boole dương tổng quát. Chỉ ra các đặc tả chung cho phụ thuộc nới lỏng tổng quát và chứng minh rằng phụ thuộc nới lỏng và phụ thuộc hàm nới lỏng là các trường hợp riêng của phụ thuộc Boole dương tổng quát. Phát triển lớp phụ thuộc mới đó là phụ thuộc logic rộng hơn các phụ thuộc đã biết.