TAILIEUCHUNG - Về một phép biến đổi tiền xử lý hiệu quả các tập phụ thuộc hàm

Bài viết sẽ chỉ ra một lỗi sai không chấp nhận được trong chứng minh của Định lý 6 và đưa ra một chứng minh đúng và đơn giản hơn cho định lý đó. Một số nhận xét về phép biến đổi tiền xử lý cũng được đưa ra. | Về một phép biến đổi tiền xử lý hiệu quả các tập phụ thuộc hàm Công nghệ thông tin & Cơ sở toán học cho tin học VỀ MỘT PHÉP BIẾN ĐỔI TIỀN XỬ LÝ HIỆU QUẢ CÁC TẬP PHỤ THUỘC HÀM Vũ Quốc Tuấn1*, Hồ Thuần2 Tóm tắt: Trong [1] và [2], Ángel Mora và các cộng sự đã thiết kế một phép biến đổi tiền xử lý sử dụng toán tử thay thế của logic thay thế SLFD để loại bỏ dư thừa trong tập phụ thuộc hàm ban đầu nhằm thu được một tập phụ thuộc hàm tương đương với kích thước nhỏ hơn trong thời gian đa thức. Cơ sở và tính đúng đắn của phép biến đổi tiền xử lý này được chứng minh bởi Định lý 6 trong [1]. Trong bài báo này, chúng tôi sẽ chỉ ra một lỗi sai không chấp nhận được trong chứng minh của Định lý 6 và đưa ra một chứng minh đúng và đơn giản hơn cho định lý đó. Một số nhận xét về phép biến đổi tiền xử lý cũng được đưa ra. Từ khóa: Cơ sở dữ liệu quan hệ, Lược đồ quan hệ, Phụ thuộc hàm, Phép biến đổi tiền xử lý. 1. MỞ ĐẦU Trong [1] và [2], Ángel Mora và các cộng sự đã thiết kế một phép biến đổi tiền xử lý sử dụng toán tử thay thế của logic thay thế SLFD để loại bỏ dư thừa trong tập phụ thuộc hàm ban đầu nhằm thu được một tập phụ thuộc hàm tương đương với kích thước nhỏ hơn trong thời gian đa thức. Cơ sở và tính đúng đắn của phép biến đổi tiền xử lý này được chứng minh bởi định lý 6 trong [1]. Trong bài báo này, chúng tôi sẽ chỉ ra một lỗi sai không chấp nhận được trong chứng minh của Định lý 6 và đưa ra một chứng minh đúng và đơn giản hơn cho định lý đó. Một số nhận xét về phép biến đổi tiền xử lý cũng được đưa ra. Bài báo được tổ chức như sau: phần thứ hai nhắc lại một số khái niệm và kết quả quan trọng của mô hình quan hệ, giới thiệu về logic Paredaens dựa vào cách trình bày trong [2]. Trong phần này cũng nhắc lại định nghĩa thế nào là một tập F các phụ thuộc hàm có dư thừa, phát biểu lại Định lý 6 trong [1] và chỉ ra chỗ sai trong chứng minh của định lý đó. Chứng minh đúng của Định lý 1 được cho trong phần thứ ba cùng với một

• Toán học
• Cơ sở dữ liệu quan hệ
• Lược đồ quan hệ
• Phụ thuộc hàm
• Phép biến đổi tiền xử lý
• Quy tắc phân mảnh
• Hệ cơ sở dữ liệu
• Hệ quản trị cơ sở dữ liệu
• Chức năng hệ cơ sở dữ liệu
• Hoạt động hệ cơ sở dữ liệu
• Các hệ cơ sở dữ liệu
• Tìm hiểu hệ cơ sở dữ liệu
• Cơ sở dữ liệu
• Bài giảng Các hệ cơ sở dữ liệu
• Hệ quản trị cơ sở dữ liệu phân tán
• Cơ sở dữ liệu phân tán
• Cơ sở dữ liệu quan hệ và SQL
• Bài giảng cơ sở dữ liệu quan hệ
• Lý thuyết cơ sở dữ liệu
• Cơ sở dữ liệu SQL
• Kiến trúc hệ cơ sở dữ liệu
• Bài giảng Các hệ quản trị cơ sở dữ liệu
• Kỹ thuật phục hồi cơ sở dữ liệu
• Phục hồi cơ sở dữ liệu
• Giới thiệu hệ quản trị cơ sở dữ liệu
• Đề cương môn học
• Quản trị cơ sở dữ liệu
• Tổng quan hệ cơ sở dữ liệu
• Tài liệu cơ sở dữ liệu
• Phát triển cơ sở dữ liệu
• Bài giảng cơ sở dữ liệu chương 2
• Bài giảng Quản trị cơ sở dữ liệu
• Ngôn ngữ SQL
• Xây dựng cơ sở dữ liệu
• Khai thác cơ sở dữ liệu
• Hệ quản trị cơ sở dữ liệu quan hệ
• Bài giảng Hệ cơ sở dữ liệu
• Hệ thống xử lý tập tin truyền thống
• Tiếp cận cơ sở dữ liệu
• Môi trường hệ quản trị cơ sở dữ liệu
• Cơ sở dữ liệu ba lược đồ
• bài tập Hệ quản trị cơ sở dữ liệu
• Bài tập cơ sở dữ liệu
• Câu lệnh SQL
• Tổng quan các hàm trong SQL
• Các hàm trên kiểu số
• Bài giảng Cơ sở dữ liệu
• Bài giảng Cơ sở dữ liệu Chương 1
• Tổng quan về cơ sở dữ liệu
• An ninh cơ sở dữ liệu
• Dữ liệu trong cơ sở dữ liệu
• Bài giảng cơ sở dữ liệu chương 11
• Môn Hệ quản trị cơ sở dữ liệu
• Đề thi quản trị cơ sở dữ liệu
• Ôn tập quản trị cơ sở dữ liệu
• Bài thi quản trị cơ sở dữ liệu
• Mô hình quan hệ
• Relational model
• Quy luật bảo toàn dữ liệu
• Ngôn ngữ quan hệ
• Hệ quản trị cơ sở dữ liệu quan hệ
• Bài giảng Tin học cơ sở 3
• Tin học cơ sở 3
• Tổng quan cơ sở dữ liệu quan hệ
• Cách lưu trữ dữ liệu
• Cách truy xuất dữ liệu
• Định nghĩa cơ sở dữ liệu
• Hệ thống cơ sở dữ liệu
• Hệ thống hướng tệp tin
• Hệ thống hướng cơ sở dữ liệu
• Bài giảng cơ sở dữ liệu chương 8
• Mô hình dữ liệu quan hệ
• Lập trình cơ sở dữ liệu
• Thiết kế cơ sở dữ liệu
• Cơ sở dữ liệu nâng cao
• Bài giảng Cơ sở dữ liệu nâng cao
• Quản lý cơ sở dữ liệu
• Khôi phục cơ sở dữ liệu
• Cài đặt cơ sở dữ liệu
• Bài giảng Hệ quản trị cơ sở dữ liệu
• Siêu khóa
• Đề cương Hệ quản trị cơ sở dữ liệu
• Học phần Hệ quản trị cơ sở dữ liệu
• Mục tiêu cơ sở dữ liệu
• Nội dung cơ sở dữ liệu
• Lưu trữ dữ liệu
• Mô hình quan hệ dữ liệu
• Mô hình dữ liệu
• Liên kế dữ liệu
• Khôi phục dữ liệu
• An toàn dữ liệu
• Cấu trúc dữ liệu