On Armstrong relations for strong dependencies

  • Vu Duc Thi
  • Hoang Son Nguyen

Abstract

The strong dependency has been introduced and axiomatized in [2], [3], [4], [5]. The aim of this paper is to investigate on Armstrong relations for strong dependencies. We give a necessary and sufficient condition for an abitrary relation to be Armstrong relation of a given strong scheme. We also give an effective algorithm finding a relation r such that r is Armstrong relation of a given strong scheme G = (U,S) (i.e. Sr = S+, where Sr is a full family of strong dependencies of r, and S+ is a set of all strong dependencies that can be derived from S by the system of axioms). We estimate this algorithm. We show that the time complexity of this algorithm is polynomial in |U| and |S|.

Downloads

Download data is not yet available.
Published
2006-01-01
How to Cite
Thi, V. D., & Nguyen, H. S. (2006). On Armstrong relations for strong dependencies. Acta Cybernetica, 17(3), 521-531. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3681
Section
Regular articles