TAILIEUCHUNG - Phụ thuộc boolean dương theo nhóm bộ trong mô hình dữ liệu dạng khối

Bài viết đề xuất các khái niệm về khối chân lý theo nhóm bộ của khối, phụ thuộc Boolean dương theo nhóm bộ trong mô hình dữ liệu dạng khối, từ đó phát biểu và chứng minh định lý tương đương để khẳng định sự tương đương của ba loại suy dẫn trên lược đồ khối: suy dẫn logic, suy dẫn theo khối và suy dẫn theo khối có không quá p phần tử, điều kiện cần và đủ để một khối là thể hiện chặt của tập phụ thuộc Boolean dương theo nhóm bộ trên khối, . | Kỷ yếu Hội nghị KHCN Quốc gia lần thứ XI về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR Hà Nội ngày 09-10 8 2018 DOI PHỤ THUỘC BOOLEAN DƯƠNG THEO NHÓM BỘ TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI Trịnh Đình Thắng 1 Trần Minh Tuyến 2 Trịnh Ngọc Trúc1 1 ĐHSP Hà Nội 2 2 ĐH Công đoàn thangdhsp2@ tuyentm@ tructn@ TÓM TẮT Báo cáo đề xuất các khái niệm về khối chân lý theo nhóm bộ của khối phụ thuộc Boolean dương theo nhóm bộ trong mô hình dữ liệu dạng khối từ đó phát biểu và chứng minh định lý tương đương để khẳng định sự tương đương của ba loại suy dẫn trên lược đồ khối suy dẫn logic suy dẫn theo khối và suy dẫn theo khối có không quá p phần tử điều kiện cần và đủ để một khối là thể hiện chặt của tập phụ thuộc Boolean dương theo nhóm bộ trên khối . Ngoài ra một số tính chất liên quan đến khối chân lý của khối và khối chân lý của tập phụ thuộc Boolean dương theo nhóm bộ trên khối cũng đã được phát biểu và chứng minh ở đây. Từ khóa Phụ thuộc Boolean dương theo nhóm bộ khối lược đồ khối. I. MÔ HÌNH DỮ LIỆU DẠNG KHỐI . Khối lát cắt của khối Định nghĩa 1 Gọi R id A1 A2 . An là một bộ hữu hạn các phần tử trong đó id là tập chỉ số hữu hạn khác rỗng Ai i là các thuộc tính. Mỗi thuộc tính Ai i có miền giá trị tương ứng là dom Ai . Một khối r trên R kí hiệu r R gồm một số hữu hạn phần tử mà mỗi phần tử là một họ các ánh xạ từ tập chỉ số id đến các miền trị của các thuộc tính Ai i . Nói một cách khác t r R t ti id dom Ai i . Ta kí hiệu khối đó là r R hoặc r id A1 A2 . An đôi khi nếu không gây nhầm lẫn ta kí hiệu đơn giản là r. Định nghĩa 1 Cho R id A1 A2 . An r R là một khối trên R. Với mỗi x id ta kí hiệu r Rx là một khối với Rx x A1 A2 . An sao cho tx r Rx tx tix ti i ở đây t r R t ti id dom Ai i x Khi đó r Rx được gọi là một lát cắt trên khối r R tại điểm x. . Phụ thuộc hàm Sau đây để cho đơn giản ta sử dụng các kí hiệu x i x Ai id i x i x id . Ta gọi x i x id i là các thuộc tính

• Cơ sở dữ liệu
• Phụ thuộc Boolean dương theo nhóm bộ
• Lược đồ khối
• Công thức Boolean
• Suy dẫn logic
• Công thức Boole dương
• Mô hình cơ sở dữ liệu dạng khối
• Phụ thuộc Boolean dương đa trị
• Mô hình dữ liệu dạng khối
• Công thức Boolean đa trị
• Khối m chân lý của khối dữ liệu
• Cơ sở dữ liệu dạng khối
• Phụ thuộc hàm
• Khai phá dữ liệu
• Phụ thuộc hàm xấp xỉ
• Mô hình dữ liệu quan hệ
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ Khoa học máy tính
• Phép dịch chuyển lược đồ khối
• Hệ thống cơ sở dữ liệu