Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Báo cáo trình bày kỹ thuật thu gọn hệ sinh cho các ánh xạ đóng nhằm nâng cao hiệu quả tính toán các đối tượng liên quan như ảnh, khóa. Kết quả chủ yếu của báo cáo bao gồm việc xây dựng và chứng minh công thức biểu diễn ảnh và khóa của ánh xạ đóng thông qua phép thu gọn hệ sinh, phát biểu và chứng minh điều kiện cần và đủ để bảo toàn tập các khóa của ánh xạ đóng thông qua phép thu gọn hệ sinh. | BIỂU DIỄN KHÓA CỦA ÁNH XẠ ĐÓNG Nguyễn Xuân Huy Viện Công nghệ thông tin Lê Thị Mỹ Hạnh Trường Đại học Bách khoa Đà Nang Huỳnh Minh Trí Trường Cao đẳng Sư phạm tp HCM Nguyễn Đức Vũ Bưu điện Hải Phòng Tóm tắt Ánh xạ đóng được thiết lập trên một tập hữu hạn u thỏa các tỉnh chất phản xạ đồng biến và lũy đẳng. Đây là một trong những công cụ toán học trợ giúp mô tả các khía cạnh lý thưyết trong một số lĩnh vực cùa công nghệ thông tin như cơ sở dữ liệu và tri thức các hệ suy dẫn khai thác dữ liệu. Mỗi ánh xạ đóng có thể được độc trưng thông qua một hệ suy dẫn gọi là hệ sinh. Báo cáo ưình bày kỹ thuật thu gọn hệ sinh cho các ảnh xạ đóng nhằm nâng cao hiệu quà tính toán các đối tượng liên quan như ảnh khóa.Kết quả chù yếu cùa báo cáo bao gồm việc xây dựng và chứng minh công thức biểu diễn ảnh và khóa cùa ánh xạ đóng thông qua phép thu gọn hệ sinh phát biếu và chứng minh điều kiện cần và đù đế bảo toàn tập các khóa cùa ánh xạ đóng qua phép thu gọn hệ sinh. 1. GIỚI THIỆU CHUNG Nhiều kết quả trong tin học lý thuyết dựa trên khái niệm ánh xạ đóng như một toán từ thiết lập tương ứng giữa các tập con của tập hữu hạn cho trước thỏa các tiên đề phán xạ đồng biến và lũy đẳng. Việc nghiên cứu tổng quát về các ánh xạ đóng cho phép ta mở rộng khả năng vận dụng một công cụ toán học trợ giúp phát triển một số khía cạnh lý thuyết trong các lĩnh vực nói trên. Báo cáo giới thiệu một số kết quả mới liên quan đến biểu diễn khóa của ánh xạ đóng như những tổng quát hóa một số vấn đề lý thuyết các hệ suy dẫn theo ngôn ngữ của ánh xạ đóng. Một hệ suy dẫn là một cặp a t F trong đó u là một tập nền tập các sự kiện F là tập các luật dẫn dạng L - R L R CƯ. Cơ chế lập luận trong các hệ suy dẫn được xây dựng trên ba tiên đề tiên dề phản xạ tiên đề gia tăng và tiên đề bắc cầu. Mỗi hệ suy dẫn lại xác định duy nhất một ánh xạ đóng 8 9 . Một trong những hệ suy dẫn thường gặp trong lý thuyết cơ sở dữ liệu là lược đồ quan hệ trong dó u là tập các thuộc tính F là tập các phụ thuộc hàm ba luật suy dẫn là các .
