1) Tìm ra Hội suy dẫn của các Công thức Boolean dương trong mô hình dữ liệu dạng khối nhằm tìm được tập các công thức suy dẫn nhỏ nhất của các thuộc tính trên khối góp phần loại bỏ các thuộc tính dư thừa trong thiết kế cơ sở dữ liệu. 2) Tìm ra Phụ thuộc Boolean dương đa trị, Phụ thuộc Boolean dương theo nhóm bộ, Phụ thuộc Boolean dương đa trị theo nhóm bộ trong mô hình dữ liệu dạng khối nhằm tìm được các ràng buộc dữ liệu, các quy luật của các thuộc tính theo hướng đa trị hoặc theo nhóm bộ, đa trị theo nhóm bộ của các thuộc tính trên khối, góp phần mở rộng phụ thuộc dữ liệu trên khối. Luận án tiến sĩ tin học Chuyên ngành Khoa học máy tính Hướng dẫn: PGS.TS Trịnh Đình Thắng, TS. Nguyễn Như Sơn Tác giả: Trịnh Ngọc Trúc Số trang: 117 Kiểu File: PDF Ngôn ngữ: Tiếng Việt Học viện Khoa học và Công nghệ 2021 Link download http://luanvan.moet.edu.vn/?page=1.3&view=38823 https://nitro.download/view/FA1957B1B77A203https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1