TAILIEUCHUNG - Một số tính chất của lược đồ khối cân bằng trên khối và lát cắt

Bài viết này phát biểu và chứng minh một số tính chất của lược đồ khối cân bằng khi thực hiện các phép toán trên các lược đồ khối và lược đồ lát cắt. Mối quan hệ giữa lược đồ khối cân bằng với giao của các khóa trên các lược đồ khối và lát cắt. | Kỷ yếu Hội nghị KHCN Quốc gia lần thứ XIV về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR TP. HCM ngày 23-24 12 2021 DOI MỘT SỐ TÍNH CHẤT CỦA LƯỢC ĐỒ KHỐI CÂN BẰNG TRÊN KHỐI VÀ LÁT CẮT Trịnh Đình Thắng1 Đỗ Thị Lan Anh1 Trần Minh Tuyến2 Nguyễn Thị Hà3 1 Đại học Sư phạm Hà Nội 2 2Đại học Công đoàn 3Trường Trung học Phổ thông Nguyễn Viết Xuân thangdhsp2@ dothilananh@ tuyentm@ TÓM TẮT Bài báo này phát biểu và chứng minh một số tính chất của lược đồ khối cân bằng khi thực hiện các phép toán trên các lược đồ khối và lược đồ lát cắt. Mối quan hệ giữa lược đồ khối cân bằng với giao của các khóa trên các lược đồ khối và lát cắt. Khi các khối suy biến thành quan hệ thì các tính chất của lược đồ khối cân bằng lại trở thành các tính chất của lược đồ quan hệ cân bằng. Ngoài ra một số tính chất của mối quan hệ giữa lược đồ khối cân bằng và khóa cũng được phát biểu và chứng minh ở đây. Từ khóa 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. I. GIỚI THIỆU Mô hình dữ liệu dạng khối là một mở rộng của mô hình dữ liệu quan hệ. Việc mở rộng sang mô hình dữ liệu dạng khối giúp cho việc biểu diễn dữ liệu động có cấu trúc phi tuyến và đáp ứng nhu cầu thực tế tốt hơn. Tuy nhiên việc chuyển từ biểu diễn dữ liệu phẳng sang dạng khối cũng sẽ phức tạp hơn. Để xây dựng một khối dữ liệu tốt trên thực tế thì việc xác định khóa của lược đồ khối là vô cùng quan trọng. Trên khối thì số thuộc tính chỉ số nhiều hơn hẳn so với số thuộc tính của quan hệ nên việc xác định khóa của nó cũng phức tạp hơn. Từ khó khăn này mà việc nghiên cứu để tìm ra cách xác định khóa của khối nhanh hơn đơn giản hơn là điều cần thiết. Việc nghiên cứu các tính chất của lược đồ khối cân bằng cũng nằm trong hướng nghiên cứu này. Việc chuyển từ lược đồ khối ban đầu sang lược đồ khối cân bằng sẽ giúp xác định khóa của lược đồ khối ban đầu nhanh hơn và dễ hơn vì khi đó số thuộc tính chỉ số đã giảm đi đáng .

• Cơ sở dữ liệu
• 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
• Mô hình dữ liệu dạng khối
• Phụ thuộc Boolean dương đa trị
• 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
• 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 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