Chương 1, luận án đã tóm tắt một số kiến thức cơ sở làm nền tảng cho quá trình nghiên cứu, bao gồm các khối kiến thức sau:
- Lý thuyết mô hình dữ liệu dạng khối bao gồm các khái niệm cơ bản: Định nghĩa khối, lát cắt của khối, phụ thuộc hàm, phụ thuộc đa trị trong mô hình dữ liệu dạng khối.
- Lý thuyết về đại số Boolean bao gồm các khái niệm cơ bản: công thức Boolean, công thức Boolean dương, công thức Boolean đa trị, công thức Boolean dương đa trị, bảng trị và bảng chân lý, suy dẫn logic của các loại công thức Boolean.
- Một số khái niệm cơ bản về khối chân lý trong mô hình dữ liệu dạng khối, phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát trong mô hình dữ liệu dạng khối.
Những kiến thức cơ sở trình bày trong chương này là nền tảng quan trọng, đủ để thực hiện các mục tiêu đã đặt ra trong luận án.
29
CHƯƠNG 2. HỘI SUY DẪN VÀ PHỤ THUỘC BOOLEAN DƯƠNG ĐA TRỊ TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI
Việc phát triển các phụ thuộc logic trong mô hình dữ liệu dạng khối đã được nhiều tác giả nghiên cứu. Các kết quả này góp phần giúp cho việc thiết kế cơ sở dữ liệu được hiệu quả hơn. Tuy nhiên, việc nghiên cứu về các phụ thuộc logic mở rộng trong mô hình dữ liệu này còn hạn chế. Trong chương này, tác giả đề xuất xây dựng hội suy dẫn của các công thức Boolean dương và phụ thuộc Boolean dương đa trị trong mô hình dữ liệu dạng khối. Các kết quả trình bày trong chương này được công bố trong các bài báo (i), (ii), (iv) phần danh mục các công trình nghiên cứu của tác giả.