TAILIEUCHUNG - Biểu diễn khóa của ánh xạ đó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 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 .

Thụy Uyên 110 6 pdf

Upload

Bấm vào đây để xem trước nội dung

Tải xuống

TÀI LIỆU LIÊN QUAN

Tổng quan về ứng dụng công nghệ thông tin - truyền thông trong giáo dục

3 401 8

Mô tả công việc Giám đốc công nghệ thông tin

2 390 0

Luận văn: Tính toán hiệu quả chuyển giao công nghệ thông tin thông qua thị trường tin học

76 278 3

Công nghệ thông tin và ứng dụng công nghệ thông tin trong dạy học

8 386 15

Chương trình giáo dục Đại học theo học chế tín chỉ ngành: Công nghệ thông tin

28 289 0

Quyết định 995/QĐ-BTC năm 2013

5 277 0

Bài giảng Chương 2 - Thiết kế và quản lý dự án Công nghệ thông tin - PGS.TS Nguyễn Văn Định

26 310 1

Bài giảng Đại cương Công nghệ thông tin và truyền thông - ThS. GV. Phạm Quang Quyền

118 287 3

Giáo trình Tiếng Anh chuyên ngành Công nghệ thông tin

47 1247 85

Ebook Tìm hiểu Luật Công nghệ thông tin và các Nghị định hướng dẫn thi hành - NXB Bưu điện

74 359 6

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 461864 55

Giới thiệu :Lập trình mã nguồn mở

14 22634 59

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10884 529

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10064 446

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9518 104

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8279 1125

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8230 423

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7864 2220

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 6683 253

Vật lý hạt cơ bản (1)

29 5769 85

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

extremetech Hacking BlackBerry phần 9

31 248 0 26-04-2024

Bibliography on Medieval Women, Gender, and Medicine 1980-2009

82 209 0 26-04-2024

extremetech Hacking Firefox phần 7

46 187 0 26-04-2024

Magnetic Bearings Theory and Applications phần 2

14 172 0 26-04-2024

MySQL Database Usage & Administration PHẦN 7

37 156 0 26-04-2024

MÔN HỌC VẬT LIỆU VÀ CÔNG NGHỆ KIM LOẠI - PHẦN I: KIM LOẠI HỌC

32 176 2 26-04-2024

B2B Content Marketing: 2012 Benchmarks, Budgets & Trends

17 138 0 26-04-2024

Lịch sử Đội TNTP Hồ Chí Minh - CHƯƠNG III VÂNG LỜI BÁC DẠY, LÀM NGHÌN VIỆC TỐT, CHỐNG MỸ, CỨU NƯỚC, THIẾU NIÊN SĂN SÀNG

45 136 0 26-04-2024

The profit magic of stock Timing The Markets_5

22 119 0 26-04-2024

Báo cáo tốt nghiệp: Vận hành và bảo dưỡng trong MPLS

92 144 3 26-04-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7864 2220

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 5722 1368

Ebook Chào con ba mẹ đã sẵn sàng

112 3767 1231

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 5318 1136

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8279 1125

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3498 643

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10884 529

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3683 525

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4045 514

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4127 480