Armstrong relations and strong dependencies

Vũ Đức Thi


In this paper, the concept of strong scheme is introduced. We prove that the membership problem for strong dependencies is solved by an algorithm in polynomial time.

We give a necessary and sufficient condition for a relation to be Armstrong relation of a given strong scheme.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology