Một vài kết quả liên quan đến bài toán thành viên trong lớp phụ thuộc hàm

Title: Một vài kết quả liên quan đến bài toán thành viên trong lớp phụ thuộc hàm
Authors: Lê, Đức Minh
Keywords: Toán học;Lớp phụ thuộc hàm
Issue Date: 1996
Publisher: Đại học Quốc gia Hà Nội
URI: http://repository.vnu.edu.vn/handle/11126/4441

The main purpose of the paper is to study some problems related to the membership problem in the class of functional dependencies. In the paper a way of proving the equivalence of consequences by Armstrong axiomas and by logical values on the basic of the algorithm for finding the closure of a set of attributes. Such as, for a set F of functional dependencies and a functional dependencies and a functional dependency f then the three followings are equivalent: 1) F implies f by Armstrong axiomas, 2) F implies f by logical values, and 3) F implies f by relations. The paper give a necessary and sufficient condition for testing that whether a relation R satiesfies the set F of functional dependencies or not. The paper also mentions some idea for implementing the algorithm to test deduction of a functional dependency from the given set of functional dependences.

Nhận xét

Bài đăng phổ biến từ blog này

Tích hợp kiến thức Di truyền học trong dạy học Tiến hóa (Sinh học 12)

Biểu hiện β-Galactosidase trong vi khuẩn Bacillus subtilis

Y Xuyên Dịch truyện 伊川易傳