tailieunhanh - Phụ thuộc hàm suy rộng trên cơ sở lý thuyết tạp thô.

Phụ thuộc hàm suy rộng trên cơ sở lý thuyết tạp thô. Tuy vậy, như thuở nào, các ý tưởng cơ bản của Điều khiển học vẫn gắn kết nhau trong miền nghiên cứu rộng, nhiều lãnh vực đặc biệt tăng trưởng nhanh ngày nay như Khoa học Máy tính, Trí tuệ Nhân tạo, Khoa học Thông tin, Truyền thông và Kỹ nghệ Điều khiển. | Tạp chí Tin học và Điều khiền học 2004 91-98 PHỤ THUỘC HÀM SUY RỘNG TRÊN cơ SỞ LÝ THUYẾT tập thô NGUYỄN ĐĂNG KHOA1 vũ HUY HOÀNG2 1 Học viện Hành chính Quốc gia 2Ban cơ yếu Chính phủ Abstract. Functional dependencies play an important role in the theory of relational databases. Based on the underlying semantics of a rough sets based generalization of functional dependencies proposed by Ha Quang Thuy 3 and recently by L. B. Cristofor 1 we demonstrate in another way some interesting properties in 3 and 1 and some new ones. Some remarks about them are also given. Tóm tắt. Các phụ thuộc hàm đóng một vai trò quan trọng trong lý thuyết các hệ cơ sở dữ liệu quan hệ. Dựa vào ngữ nghĩa ngầm không tường minh của việc mở rộng các phụ thuộc hàm trên cơ sở lý thuyết tập thô được đề xuất bởi Hà Quang Thụy 3 và gần đây bởi L. B Cristofor 1 chúng tôi chứng minh theo một cách khác một số tính chất lý thú trong 1 3 và một vài tính chất mới. Một số nhận xét về các tính chất này cũng được đưa ra. 1. MỞ ĐẦU Như đã biết các phụ thuộc hàm đóng một vai trò quan trọng trong lý thuyết các hệ CSDL quan hệ liên quan tới việc xác định khóa xác định dạng chuẩn xác định các phân tách bảo toàn thông tin. của một lược đồ quan hệ. Phát triển một ý tưởng mở rộng khái niệm phụ thuộc hàm trên cơ sở các khái niệm của thô được trình bày trong 3 và gần đây trong 1 và dựa vào ngữ nghĩa của sự mở rộng này chúng tôi trình bày sự mở rộng đó theo một cách khác tương đương với cách trình bày trong 1 chứng minh lại theo một cách đơn giản hơn một số tính chất được chứng minh trong 1 . Ngoài ra một số tính chất mới của kiểu phụ thuộc suy rộng này cũng được đưa ra và chứng minh. Cũng cần thấy rõ là cả cách tiếp cận và các kết qủa trong Mục 2 của 1 về cơ bản là trùng với 3 . về một số khái niệm cơ bản của lý thuyết tập thô có thể tham khảo trong 2 . 1. PHỤ THUỘC HÀM SUY RỘNG Định nghĩa 1. Cho r Ai A2 An là một quan hệ xác định trên tập thuộc tính Q A1 Aỵ .Ara . Với mỗi thuộc tính Ai có tương ứng với một .