tailieunhanh - Các ánh xạ đóng và dùng trong cơ sở dữ liệu.

Các ánh xạ đóng và dùng trong cơ sở dữ liệu. Đã xây dựng hoàn chỉnh 01 hệ đo tương quan huỳnh quang đáp ứng yêu cầu đo được tín hiệu từ đơn phân tử với laser kích, objective giá thành thấp và detector tự thiết kế. Ngoài ra còn tự chế tạo một số chi tiết quang học quan trọng như giá vi dịch chuyển. | Tạp chí Tin học và Diều khiển học T. 16 s. 4 2000 1-6 CÁC ÁNH XẠ ĐÓNG VÀ ỨNG DỤNG TRONG cơ SỞ DỮ LIỆU NGUYỄN XUÂN HUY LÊ ĐỨC MINH vũ NGỌC LOÀN Abstract. This paper deals with some basic properties of closed mappings and their applications to the theory of relational databases. Some basic operations on closed mappings such as intersection composition and comparison relations are introduced. Some necessary and sufficient conditions for whether a composition of two given closed mappings is a closed mapping are proposed and proved. These conditions express a relationship between close property commutative property and partial order relation on the closed mappings. Tóm tắt. Nội dung bài báo đề cập đến một số tính chất cư bản cứa các ánh xạ đóng và chỉ ra một vài ÚTig dụng ciỉa các ánh xạ đóng trong lý thuyết cơ sỏ dữ liệu trình bày một số phép toán cư bản trên các ánh xạ đóng nhu phép hội phép hợp thành các phép so sánh phát biểu và chúng minh một số điều kiện cần và đủ để họp thành của hai ánh xạ đóng là một ánh xạ đóng. Các điều kiện này thiết lập mối quan hệ giữa tính đóng tính giao hoán và quan hệ thú tụ bộ phận trên các ánh xạ đóng. 1. ĐẶT VẨN ĐỀ Trong lý thuyết thiết kế cơ sỗ dữ liệu việc nghiên cửu các ràng buộc dũ liệu có ý nghĩa quan trọng cả lý thuyết và thực tiễn ứng dụng. Hiện nay hầu hết các hệ quản trị cơ sở dữ liệu theo mô hình quan hệ đều phải dựa vào lý thuyết các phụ thuộc hàm một trong số loại hình ràng buộc dữ liệu phổ biến nhằm đảm bảo tính nhất quán dữ liệu tối ưu hóa các quá trình tạo lập cập nhật khai thác dữ liệu. Có thề nói trong nghiên cứu về các phụ thuộc dữ liệu nói chung và phụ thuộc hàm nói riêng thì khái niệm bao đóng của tập các thuộc tính đóng vai trò quan trọng. Về mặt ngữ nghĩa bao đóng của tập thuộc tính X là tập toàn bộ các thuộc tính phụ thuộc vào X. Các két quả có ý nghĩa sâu sắc như định lý tương đương giữa các kiểu suy dẫn các kết quả liên quan đến việc tìm khóa chuẩn hóa dữ liệu các loại phiì. đều được phân tích hoặc chứng minh