TAILIEUCHUNG - Về vấn đề thể hiện tập phụ thuộc hàm của khối dữ liệu trong mô hình dữ liệu dạng khối

Bài viết phát biểu và chứng minh một số tính chất của khối dữ liệu khi thể hiện tập các phụ thuộc hàm trong mô hình dữ liệu dạng khối. Điều kiện cần và đủ để hai tập phụ thuộc hàm trên lược đồ khối là tương đương, tính chất của hai tập phụ thuộc hàm tương đương trên khối dữ liệu. Tính chất của mối tương quan giữa các thể hiện trên khối cũng được phát biểu và chứng minh . | Kỷ yếu Hội nghị KHCN Quốc gia lần thứ XIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR Nha Trang ngày 8-9 10 2020 DOI VỀ VẤN ĐỀ THỂ HIỆN TẬP PHỤ THUỘC HÀM CỦA KHỐI DỮ LIỆU TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI Trịnh Đình Thắng1 Trần Minh Tuyến2 1 Đại học Sư phạm Hà Nội 2 2 Đại học Công đoàn thangdhsp2@ tuyentm@ TÓM TẮT Bài báo phát biểu và chứng minh một số tính chất của khối dữ liệu khi thể hiện tập các phụ thuộc hàm trong mô hình dữ liệu dạng khối. Điều kiện cần và đủ đẻ hai tập phụ thuộc hàm trên lược đồ khối là tương đương tính chất của hai tập phụ thuộc hàm tương đương trên khối dữ liệu. Tính chất của mối tương quan giữa các thể hiện trên khối cũng được phát biểu và chứng minh. Ngoài ra thuật toán làm đóng khối trị của khối dữ liệu đối với phép nhân các phần tử và độ phức tạp của nó cũng đã được trình bày và chứng minh tính đúng ở đây. Từ khóa Thể hiện tập phụ thuộc hàmn công thức Boolean khối chân lý lược đồ khối. I. MÔ HÌNH DỮ LIỆU DẠNG KHỐI A. Khối lược đồ 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 1 n 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. B. 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 chỉ số của lược đồ khối R id A1 A2 . An . Định nghĩa 1 n Cho R id .

• Cơ sở dữ liệu
• Thể hiện tập phụ thuộc hàm
• Công thức Boolean
• Khối chân lý
• Lược đồ khối
• Mô hình 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
• Luận án Tiến sĩ
• Luận án Tiến sĩ Máy tính
• Khoa học máy tính
• Mô hình dữ liệu
• Khai phá luật quyết định
• Công thức suy dẫn
• Họ tập đóng
• Tính chất của họ tập đóng
• Phụ thuộc Boolean dương theo nhóm bộ
• Suy dẫn logic
• Công thức Boole dương
• Mô hình cơ sở dữ liệu dạng khối
• Luận án Tiến sĩ Toán học
• Phụ thuộc logic
• Phụ thuộc Boolean dương
• Logic toán
• Luận án Tiến sĩ ngành Máy tính
• Phụ thuộc logic mở rộng
• Thuật toán xây dựng hội suy dẫn
• Lược đồ khối cân bằng
• Lược đồ lát cắt
• Khóa của lược đồ khối
• Lược đồ cân bằng và khóa