TAILIEUCHUNG - 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! | 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. 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 . 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 . Mô hình dữ liệu dạng khối .11 . Khối lát cắt của khối .11 . Đại số khối .13 . Phụ thuộc hàm .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Máy tính
• Khoa học máy tính
• Mô hình dữ liệu dạng khối
• Phụ thuộc logic mở rộng
• Thuật toán xây dựng hội suy dẫn
• Dự thảo tóm tắt Luận án Tiến sĩ
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh