TAILIEUCHUNG - Một số kết quả liên quan đến rút gọn bài toán tìm khóa của lược đồ quan hệ

Trong [1] đã đưa ra một điều kiện cần để một tập thuộc tính là khóa của lược đồ quan hệ. Trong [2], các tác giả cũng đưa ra một điều kiện cần khác để một tập thuộc tính là khóa của lược đồ quan hệ. Trong [3] đã chỉ ra rằng chỉ cần cải tiến điều kiện cần trong [1] theo một cách tiếp cận đơn giản hơn thì có thể suy ra được điều kiện cần trong [2]. | Một số kết quả liên quan đến rút gọn bài toán tìm khóa của lược đồ quan hệ Nghiên cứu khoa học công nghệ MỘT SỐ KẾT QUẢ LIÊN QUAN ĐẾN RÚT GỌN BÀI TOÁN TÌM KHÓA CỦA LƯỢC ĐỒ QUAN HỆ Vũ Quốc Tuấn1*, Hồ Thuần2 Tóm tắt: Trong [1] đã đưa ra một điều kiện cần để một tập thuộc tính là khóa của lược đồ quan hệ. Trong [2], các tác giả cũng đưa ra một điều kiện cần khác để một tập thuộc tính là khóa của lược đồ quan hệ. Trong [3] đã chỉ ra rằng chỉ cần cải tiến điều kiện cần trong [1] theo một cách tiếp cận đơn giản hơn thì có thể suy ra được điều kiện cần trong [2]. Trong bài báo này, chúng tôi sẽ chứng minh rằng điều kiện cần trong [2] thực sự là trùng với kết quả đã được công bố trong [4]. Từ khóa: Cơ sở dữ liệu quan hệ, Lược đồ quan hệ, Phụ thuộc hàm, Khóa của lược đồ quan hệ. 1. MỞ ĐẦU Trong [1], dựa trên ngữ nghĩa quen thuộc của các phụ thuộc hàm trong mô hình cơ sở dữ liệu quan hệ và thuật toán tính bao đóng của một tập thuộc tính, các tác giả đã xây dựng được một điều kiện cần để một tập thuộc tính là khóa. Tiếp đó, một số hướng cải tiến cho điều kiện cần thu được cũng đã được xem xét. Trong [2], dựa trên việc nghiên cứu các toán tử iđêan không tất định (ideal non- deterministic operators) trong khuôn khổ của lý thuyết dàn, các tác giả của [2] cũng đưa ra một điều kiện cần để một tập thuộc tính là khóa. Trong [3] đã chỉ ra rằng chỉ cần cải tiến điều kiện cần trong [1] theo một cách tiếp cận khác đơn giản hơn thì có thể suy ra được điều kiện cần trong [2]. Trong bài báo này, chúng tôi sẽ chứng minh rằng điều kiện cần trong [2] thực sự là trùng với kết quả đã được công bố trong [4]. 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ệ. Phần thứ ba trình bày lại một số kết quả và nhận xét trong [1, 2, 3, 4] để tiện so sánh, đồng thời chứng minh điều kiện cần trong [2] trùng với kết quả trong [4]. Kết luận được giới thiệu trong phần thứ tư. 2. MÔ HÌNH QUAN HỆ .

• Toán học
• Cơ sở dữ liệu quan hệ
• Lược đồ quan hệ
• Phụ thuộc hàm
• Khóa của lược đồ quan hệ
• Hệ quy tắc suy diễn Amstrong
• 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