TAILIEUCHUNG - Thuật toán xác định bao đóng và khóa theo tiếp cận hợp giải trong lớp các phụ thuộc logic
Bài viết trình bày các thuật toán tìm bao đóng và khóa theo tiếp cận của phép hợp giải trong logic hình thức, một số hƣớng nghiên cứu của các nhóm tác giả về các loại phụ thuộc logic trong cơ sở dữ liệu, đề xuất thuật toán tìm khóa và tìm bao đóng trong lớp các phụ thuộc logic dựa trên thuật toán hợp giải. | Thuật toán xác định bao đóng và khóa theo tiếp cận hợp giải trong lớp các phụ thuộc logic Các công trình nghiên cứu, phát triển và ứng dụng CNTT-TT Tập V-2, Số 16 (36), tháng 12/2016 Thuật toán xác định bao đóng và khóa theo tiếp cận hợp giải trong lớp các phụ thuộc logic Unification Algorithms for Closures and Keys in Relation Schemas with Class of Logic Dependencies Trƣơng Thị Thu Hà, Nguyễn Thị Vân, Nguyễn Xuân Huy Abstract: The algorithms for closures and keys in đó về phụ thuộc Boole dƣơng. Phần 4 là một số hƣớng relation schemas with functional dependencies are nghiên cứu của các nhóm tác giả về các loại phụ thuộc well-known in theory of relational databases. logic trong cơ sở dữ liệu. Phần 5 đề xuất thuật toán tìm However, the problems of closures and keys in khóa và tìm bao đóng trong lớp các phụ thuộc logic relation schemas with positive Boolean dependencies dựa trên thuật toán hợp giải. Phần 6 là kết luận của bài are still opened. This paper proposes a solution to báo. these problems. The results are presented by unification method which is a new technique to II. CÔNG THỨC BOOLE DƢƠNG construct the basic algorithms for logic dependencies Cho U = {x1,., xn} là tập hữu hạn các biến Boole in data and knowledge bases. nhận giá trị trong tập B = {0, 1}. Tập các công thức Keywords: Positive Boolean dependencies, Boole (CTB), kí hiệu L(U), bao gồm các biểu thức unification algorithm, membership problem, key đƣợc xây dựng từ các biến trong U, các hằng 0/1 và algorithm, closure algorithm. các phép toán logic , , , . Mỗi vector 0/1, v = (v1,.,vn) trong không gian Bn đƣợc gọi là phép gán trị. I. GIỚI THIỆU Khi đó với mỗi CTB f L(U), f(v) là trị của công Khóa của lƣợc đồ quan hệ là tập tối thiểu các thuộc thức f đối với phép gán trị v. Kí hiệu e là phép gán trị tính nhằm xác định đơn trị một bộ trong cơ sở dữ liệu đơn vị, e = (1,1,.,1). Công thức f L(U) gọi là công quan hệ. Khóa giữ vai trò quan trọng
đang nạp các trang xem trước