TAILIEUCHUNG - Mô hình phần mềm chịu lỗi BK-FTS: thử nghiệm, so sánh và đánh giá.

Mô hình phần mềm chịu lỗi BK-FTS: thử nghiệm, so sánh và đánh giá. Sự ra đời của Điều khiển học và Khoa học hệ thống Bắt nguồn từ tiếng Hy-Lạp kybernetes “tay lái”, thuật ngữ“, “điều khiển học" xuất hiện thời cổ đại bởi Plato và thế kỷ 19 - Ampère nhìn như một khoa học về điều hành chính phủ sao cho hiệu quả. | Tạp chí Tin học và Đĩêu khiền học 2005 337-342 ANTIKEYS AND MINIMAL KEYS OF RELATION SCHEMES vu DUG THI1 NGUYEN HOANG SON2 1 Institute of Information Technology VAST 2Department of Mathematics College of Sciences Hue University Abstract. Minimal keys and antikeys play a very important role in the theory of the design of relational databases. The minimal key and antikey results have been widely investigated. Hypergraphs theory 2 is an important subfield of discrete mathematics with many relevant applications in both theoretical and applied computer science. A set of minimal keys and a set of antikeys form simple hypergrahps. In this paper we are to investigate the minimal keys of relation schemes. We characterize the set of all minimal keys of relation schemes in terms of hypergraphs. The set of antikeys is also studied in this paper. Tóm tắt. Khóa tối tiểu và phản khóa đóng một vai trò rất quan trọng trong lý thuyết thiết kế cơ sở dữ liệu quan hệ. Các kết quả về khóa tối tiểu và phản khóa đã được nghiên cứu nhiều. Lý thuyết siêu đồ thị 2 là một trong lĩnh vực quan trọng của toán rời rạc với nhiều ứng dụng quan trọng đối với tin học. Tập các khóa tối tiểu và tập các phản khóa có dạng siêu đồ thị đơn. Trong bài báo này chúng tôi nghiên cứu về khóa tối tiểu của sơ đồ quan hệ. Chúng tôi đặc trưng tập tất cả khóa tối tiểu của sơ đồ quan hệ theo quan điểm siêu đồ thị. Ngoài ra tập phản khóa cũng được nghiên cứu trong bài báo này. 1. INTRODUCTION In this section we briefly present the main concepts of the theory of relational databases which will be needed in sequel. The concepts and facts given in this section can be found in 1 3-5 . Let u be a nonempty finite set of attributes . name age etc and R q . hm be a relation over u. A functional dependency FD for short over u is a statement of form X Y where X Y QU. The FD X Y holds in a relation R if yhp hj G F Va G X hfia hj afi V6 G Yfihfib hj b f . We also say that R satisfies the FD X Y. Let Fr be a family of

• Tự động hoá
• Mô hình phần mềm
• khoa học điều khiển
• hệ thống kỹ thuật
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• Bài giảng Công nghệ phần mềm nâng cao
• Mô hình phát triển phần mềm
• Vòng đời phát triển phần mềm
• Công nghệ phần mềm nâng cao
• Mô hình phần mềm chế thử
• Mô hình phần mềm tuyến tính
• Bài giảng Công nghệ phần mềm
• Công nghệ phần mềm
• Lịch sử phát triển phần mềm
• Phân loại phần mềm
• Chất lượng phần mềm
• Đặc trưng của phần mềm
• Nguyên tắc công nghệ phần mềm
• Đặc trưng công nghệ phần mềm
• Bài giảng Mô hình phát triển phần mềm
• Mô hình tuyến tính
• Mô hình vòng lặp
• Mô hình tăng trưởng
• Mô hình prototype
• Hoạt động phát triển phần mềm
• Mô hình phát triển lặp lại tăng thêm
• Mô hình xoắn ốc
• Mô hình phát triển đồng thời
• Đảm bảo chất lượng phần mềm
• Bài giảng chất lượng phần mềm
• Mô hình thác nước
• Mô hình làm mẫu thử
• Mô hình hợp nhất
• Kiến trúc phần mềm
• Vai trò kiến trúc phần mềm
• Mô hình kiến trúc phần mềm
• Đánh giá kiến trúc phần mềm
• Mô hình điều khiển ngắt
• Chia sẻ dữ liệu
• Mô hình phát triển
• Bảo trì phần mềm
• Phát triển phần mềm
• Vận hành phần mềm
• Mô hình nguyên mẫu
• Mô hình phát triển nhanh
• vòng đời
• yêu cầu chức năng phần mềm
• phương pháp kiểm thử phần mềm
• Bài giảng Nhập môn Công nghệ phần mềm
• Nhập môn Công nghệ phần mềm
• Mô hình hóa phần mềm
• Mô hình tương tác
• Mô hình cấu trúc
• Mô hình ngữ cảnh
• Mô hình tiến trình phần mềm
• Lặp tiến trình
• Đặc tả yêu cầu
• Bài giảng Mô hình hóa phần mềm
• Ngôn ngữ UML
• Chuyển đổi mô hình
• Ngôn ngữ mô hình hóa
• Mô hình hệ thống
• Mô hình ứng xử
• Mô hình luồng dữ liệu
• Mô hình hóa hệ thống
• Ngôn ngữ mô hình hóa UML
• Kỹ nghệ hướng mô hình
• Bài giảng Các mô hình và phần mềm
• Các mô hình và phần mềm
• Mô hình tối ưu trong nông nghiệp
• Bài toán quy hoạch tuyến tính
• Phương pháp đơn hình
• Bài toán quy hoạch phi tuyến
• Định nghĩa phần mềm
• Giai đoạn phát triển phần mềm
• Thiết kế phần mềm
• Mô hình dữ liệu mức vật lý
• Mô hình CDM
• Kết hợp kiến trúc
• Mô hình Agile
• Phát triển phần mềm chất lượng cao
• phần mềm chất lượng cao
• Thiết kế kiến trúc phần mềm
• Phương pháp phát triển phần mềm
• Mô hình bảo trì phần mềm
• Quy trình bảo trì phần mềm
• Mô hình Boehm
• Yêu cầu phần mềm
• Cài đặt phần mềm
• Quản trị dự án phần mềm
• Bài giảng Quản trị dự án phần mềm
• Khủng hoảng phần mềm
• Bi kịch dự án phần mềm
• Lỗi phần mềm
• Bài toán quy hoạch đa mục tiêu
• Phương pháp thỏa dụng mờ
• Thực hành mô hình cấu trúc tuyến tính
• Mô hình cấu trúc tuyến tính
• Cấu trúc tuyến tính
• Phần mềm AMOS
• Thực hành phần mềm AMOS
• Tìm hiểu mô hình cấu trúc tuyến tính