tailieunhanh - Máy ảo, công cụ hõ trợ hệ chẩn đoán và diệt virus tin học thông minh.

Máy ảo, công cụ hõ trợ hệ chẩn đoán và diệt virus tin học thông minh. Đứt gãy Mũi Né-Côn Sơn, ở phía Tây khu vực nghiên cứu, có hoạt tính địa chấn cao nhất ở khu vực nghiên cứu. Đa số động đất kiến tạo, M ≥ , của khu vực nghiên cứu đều xảy ra trong đới đứt gãy này. | Tạp chí Tin học và Điêu khiển học T. 16 . 2 2000 41-50 THUẬT TOÁN TỔNG HỢP LƯỢC ĐỒ Cơ SỚ DỮ LIỆU QUAN HỆ DẠNG CHUAN ba PHẠM QUANG TRUNG NGUYEN XUÂN HUY Abstract. Designing databases requires translating a relational scheme into a normal form. In this paper we shall present a new algorithm which synthesizes a relation scheme into third normal form 3NF with a lossless join and preservation of dependencies. The algorithm is constructed on a notation of compound functional dependencies. In comparison with the well-known algorithms the algorithm presented here is more simply in implementation. 1. MỜ DAU Chuẩn hóa là quá trình phân tích một lược đồ quan hệ thành một tập các lược đồ quan hệ phù hợp để có thể tránh được những vấn đề thường nảy sinh khi thiết kế cơ sờ dữ liệu 3 4 1 Dư thừa dữ liệu 2 Không nhất quán 3 Dị thường khi thêm bộ 4 Dị thường khi xóa bộ 5 DỊ thường khi sửa bộ. Có các dạng chuẩn là Dạng chuẩn thứ nhất first normal form - INF dạng chuẩn thử hai second normal form - 2NF dạng chuẩn thứ ba third normal form - 3NF . Trong bài báo này chúng tôi trình bày một thuật toán tổng hợp lược đồ cơ sở dữ liệu thành dạng chuẩn ba 3NF thuận tiện trong việc cài đặt và đạt được các yêu cầu sau đây - Bảo toàn tập phụ thuộc hàm. - Các lưọ-c đồ con là ờ dạng chuẩn 3NF. - Kết nối không mất thông tin. - Không tồn tại các lược đồ nào khác có số lượng lưcỵc đồ ít ho n mà lại có ba tính chất nêu trên. - Ngoài ra thuật toán được thiết kế có S1Ì dụng khái niệm về phụ thuộc hàm phức hợp phủ dạng hình khuyên hay phú dạng vành những thuật toán cơ sỏ xác định bao đóng loại bỏ thuộc tính dư thừa loại bỏ phụ thuộc hàm dư thừa . được xây dụng trên khái niệm phụ thuộc hàm. 2. MỘT SỐ KHÁI NIỆM co BẢN Các ký hiệu Theo truyền thống trình bày của lý thuyết cơ sà dữ liệu quan hệ trong bài báo có sủ dụng các ký hiệu sau - Quan hệ R trên tập thuộc tính u đưọ c ký hiệu là R U . - Hẹrp của hai tập thuộc tính X Y được viết là XY. - Vói quan hệ R trên tập thuộc tính u t là một bộ của R X là tập con