Các phụ thuộc logic trong mô hình dữ liệu dạng khối

Abstract

Luận án đề xuất các khái niệm và tìm hiểu tính chất các loại phụ thuộc logic trong mô hình dữ liệu dạng khối như: phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát, ánh xạ đóng và mối quan hệ với phép dịch chuyển lược đồ khối,...Mối quan hệ giữa phụ thuộc logic trong mô hình dữ liệu dạng khối với các phụ thuộc tương ứng trong mô hình dữ liệu quan hệ,... Bên cạnh đó, đề tài cũng tìm hiểu về quan hệ giữa phụ thuộc logic trên lược đồ khối và phụ thuộc tương ứng trên lược đồ lát cắt, từ đó xem xét về cấu trúc của các phụ thuộc logic trong mô hình dữ liệu dạng khối.