tailieunhanh - Một số vấn đề phủ dạng vành và các khái niệm liên quan.

Một số vấn đề phủ dạng vành và các khái niệm liên quan. Thời kỳ này đánh dấu bởi sự ảnh hưởng sâu sắc của Warren McCulloch, giám đốc viện nghiên cứu Tâm lý học Đại học tổng hợp Illinois. Nhóm của anh đã đưa ra những kết luận quan trọng rằng muốn biết về tổ chức của vỏ não, hiểu được cơ chế hoạt động của não (và mô phỏng hoạt động chúng bằng máy móc) thì cần sự phối hợp của rất nhiều ngành. Chính Warren McCulloch cũng đã chuyển từ tâm lý học sang toán học, rồi. | Tạp chí Tin học và Điêu khiển học T. 17 s. 2 2001 65-74 MỘT SỐ VẤN ĐỀ PHỦ DẠNG VÀNH VÀ CÁC KHÁI NIỆM LIÊN QUAN PHẠM QUANG TRUNG Abstract. Maier 2 gave concept about annular cover in 1983 and applied it in algorithm SYNTHESIZE which only was an orientation. In this paper we present new results on annular cover and related concepts. These results are applied in algorithm THV. Tóm tắt. Maier 2 đã đưa ra khái niệm phủ dạng vành từ năm 1983 và khái niệm này đã được ứng dụng trong Thuật toán SYNTHESIZE vó i những vấn đ ê còn để mở. Trong bài báo này chúng tôi đưa ra một số kết quả mói về phủ dạng vành và các khái niêm liên quan. Những kết quả này là CO sờ cúa Thuât toán THV. 1. MỞ ĐẦU Trong lý thuyết CO sở dữ liệu khái niệm phủ dạng vành annular cover đưọ c Maier 2 nêu ra tù năm 1983 tuy nhiên khái niệm này còn ít được quan tâm sử dụng vì là một khái niệm khá phức tạp ít quen thuộc và việc úng dụng bước đầu chỉ đưọ c trình bày trong Thuật toán SYNTHESIZE vói những vấn đề còn để mở. Chúng tôi đã chứng minh một số kết quả về phủ dạng vành và các khái niệm liên quan những kết quả này là co sỏ của Thuật toán THV 3 do chúng tôi đề xuất. Kí hiệu Quan hệ R trên tập thuộc tính u được kí hiệu là R U - hợp của hai tập thuộc tính X Y được viết là XY. Các thuật toán đu 0 c viết dưới dạng ngôn ngũ Pascal. Mục này chỉ nêu một số khái niệm và kết quả liên quan bạn đọc nếu cần quan tâm chi tiết hơn thì xem ịl 2 4 Đinh nghĩa 1. Cho _fí Ai A2 . A là một lược đồ quan hệ cho X và Y là các tập con của A1 A2 . . An . Chúng ta nói X Y đọc là X xác định hàm Y hay y phụ thuộc hàm vào X nếu vói mọi quan hệ r là thể hiện của R thì trong r không thể có hai bộ trùng nhau trên các thành phần của mọi thuộc tính trong tập X mà lại không trùng nhau trên một hay nhiều hơn các thành phần của các thuộc tính cda tập Y. - Quan hệ r thỏa phụ thuộc hàm function dependency - FD X Y nếu với mọi cặp bộ a I trong r sao cho ặz X vịx thì ẬiỊy ỉ y cũng đúng. Nếu r không thồa X Y thì r vi phạm phụ thuộc đó. - Cho F là