Luận án Tiến sĩ ngành Máy tính: Một số Phụ thuộc logic mở rộng trong Mô hình dữ liệu dạng khối

Luận án Tiến sĩ ngành Máy tính: Một số Phụ thuộc logic mở rộng trong Mô hình dữ liệu dạng khối được thực hiện với mục tiêu nhằm 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;... Mời các bạn cùng tham khảo!
Nội dung trích xuất từ tài liệu:
Luận án Tiến sĩ ngành Máy tính: Một số Phụ thuộc logic mở rộng trong Mô hình dữ liệu dạng khối BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ ----------------------------- TRỊNH NGỌC TRÚC MỘT SỐ PHỤ THUỘC LOGIC MỞ RỘNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI LUẬN ÁN TIẾN SĨ NGÀNH MÁY TÍNH Hà Nội - 2021 BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN HÀN LÂM KHOA HỌC VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ ----------------------------- Trịnh Ngọc Trúc MỘT SỐ PHỤ THUỘC LOGIC MỞ RỘNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI Chuyên ngành: Khoa học máy tính Mã số: 9 48 01 01 LUẬN ÁN TIẾN SĨ NGÀNH MÁY TÍNH NGƯỜI HƯỚNG DẪN KHOA HỌC: 1. PGS.TS Trịnh Đình Thắng 2. TS. Nguyễn Như Sơn Hà Nội - 2021 i LỜI CẢM ƠN Lời đầu tiên, cho phép tác giả xin bày tỏ lòng biết ơn sâu sắc và chân thành tới PGS. TS Trịnh Đình Thắng, TS Nguyễn Như Sơn, người thầy đã tận tình hướng dẫn, chỉ bảo cho tác giả trong suốt quá trình học tập, nghiên cứu và hoàn thành luận án này. Tác giả xin chân thành cảm ơn tới tập thể các thầy cô giáo, các nhà khoa học thuộc Viện Công nghệ Thông tin, Viện Hàn lâm Khoa học và Công nghệ Việt Nam; Khoa Công nghệ Thông tin, Học viện Khoa học và Công nghệ; Viện Công nghệ Thông tin, Phòng Đào tạo, Trường Đại học Sư phạm Hà Nội 2 đã giúp đỡ về chuyên môn và tạo điều kiện thuận lợi cho tác giả trong suốt thời gian học tập và nghiên cứu. Cuối cùng, tác giả xin gửi tới gia đình, người thân, bạn bè lời cảm ơn chân thành nhất vì đã ủng hộ, đồng hành, là chỗ dựa vững chắc và là động lực giúp tác giả hoàn thành luận án này. Tác giả luận án Trịnh Ngọc Trúc ii LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của tôi dưới sự hướng dẫn khoa học của PGS.TS. Trịnh Đình Thắng, TS. Nguyễn Như Sơn. Các kết quả được viết chung với các đồng tác giả đã được sự chấp thuận của các tác giả trước khi đưa vào luận án. Các kết quả nêu trong luận án là trung thực và chưa từng được ai công bố trong bất kỳ công trình nào khác. Tác giả luận án Trịnh Ngọc Trúc iii MỤC LỤC MỞ ĐẦU .....................................................................................................................1 CHƯƠNG 1. MỘT SỐ KIẾN THỨC CƠ SỞ ..........................................................11 1.1. Mô hình dữ liệu dạng khối ..............................................................................11 1.1.1. Khối, lát cắt của khối ................................................................................11 1.1.2. Đại số khối ................................................................................................13 1.1.3. Phụ thuộc hàm trong mô hình dữ liệu dạng khối .....................................17 1.1.4. Phụ thuộc đa trị trong mô hình dữ liệu dạng khối ....................................19 1.2. Đại số Boolean ................................................................................................20 1.2.1. Công thức Boolean ..................................................................................20 1.2.2. Bảng trị và bảng chân lý ...........................................................................21 1.2.3. Suy dẫn logic ............................................................................................21 1.2.4. Công thức Boolean dương ........................................................................22 1.2.5. Công thức Boolean đa trị..........................................................................22 1.2.6. Bảng trị và bảng chân lý ...........................................................................24 1.2.7. Suy dẫn logic ............................................................................................24 1.2.8. Công thức Boolean dương đa trị ..............................................................24 1.3. Phụ thuộc Boolean dương trong mô hình dữ liệu dạng khối ..........................25 1.3.1. Khối chân lý của khối ...............................................................................25 1.3.2. Phụ thuộc Boolean dương trên khối .........................................................25 1.4. Kết luận chương 1 ...........................................................................................28 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 ..........................................................29 2.1. Đặt vấn đề .......................................................................................................29 2.2. Hội suy dẫn trong mô hình dữ liệu dạng khối ................................................30 2.2.1. Công thức suy dẫn trong lược đồ khối .....................................................30 2.2.2. Tính chất của họ tập đóng và khối chân lý ...............................................32 2.3.3. Tính chất của hội suy dẫn và khối chân lý ...............................................33 2.3. Các thuật toán xây dựng hội suy dẫn .................... ...