tailieunhanh - Phụ thuộc Boole dương theo nhóm bộ.

Phụ thuộc Boole dương theo nhóm bộ. Nhiều người cũng hay nhầm lẫn điều khiển học với những ngành liên quan đến máy tính hay kỹ thuật robot do các khái niệm: 'computer', 'robot', ' cyberspace ', ' cybercrime’, ‘cyborg’. do đã được đại chúng hóa từ năm 1960 trong cuộc sống cũng như trong văn học, điện ảnh. Điều khiển học xây dựng các khái niệm và lý thuyết có quan hệ với Thông tin | Tạp chí Tin học và Đĩêu khiền học T. 18 s. 3 2002 222-225 PHỤ THUỘC BOOLE DƯƠNG THEO NHÓM BỘ NGUYỄN XUÂN HUY NGUYỄN XUÂN HOÀNG vũ MẠNH XUÂN NGUYỄN VĂN TẢO Abstract. This paper introduces a new type of dependencies in relational databases named tuple grouping Boolean dependencies. This concept is a generalization of the Boolean dependencies with a set of tuples. We discuss in what conditions the following three types of consequences are equivalent for the tuple grouping Boolean dependencies consequences in the world of all relations consequences in the world of c-tuple relations consequences of propositional logic. Tóm tắt. Bài báo giới thiệu khái niệm phụ thuộc Boole duơng theo nhóm bộ nhu là một mở rộng tự nhiên của lớp phụ thuộc Boole duơng tổng quát trong đó thay vì xét các cặp bộ trong mỗi quan hệ ta xét một nhóm k bộ. Chứng minh rằng đối với phụ thuộc Boole duơng theo nhóm bộ ba loại suy dẫn sau đây là tuơng đuơng suy dẫn theo các quan hệ suy dẫn theo các quan hệ có không quá k bộ và suy dẫn theo logic mệnh đề. 1. MỞ ĐẦU Năm 1970 Codd 3 giới thiệu mô hình cơ sở dữ liệu quan hệ và khái niệm phụ thuộc hàm để phản ánh ngữ nghĩa của dữ liệu trong thế giới thực. Một trong những kết quả chủ yếu của lý thuyết phụ thuộc hàm được thể hiện qua định lý tương đương khẳng định sự tương đương giữa ba loại suy diễn suy diễn logic suy diễn theo quan hệ và suy diễn theo các quan hệ có không quá hai bộ. sử dụng định lý tương đương chúng ta có thể giải bài toán thành viên xác định xem một ràng buộc có được suy dẫn ra từ một tập các ràng buộc cho trước hay không thông qua dãy biến đổi hình thức các công thức Boole. Các nghiên cứu của Nguyễn Xuân Huy và các cộng sự đã chỉ ra định lý tương đương có hiệu lực đối với một lớp khá rộng các phụ thuộc là phụ thuộc hàm và các biến thể của nó phụ thuộc mạnh phụ thuộc yếu phụ thuộc đối ngẫu phụ thuộc Boole dương phụ thuộc Boole dương tổng quát phụ thuộc Boole dương đa trị 1 4 6 11 . Bài viết này tiếp tục phát triển lớp phụ thuộc Boole dương