ON THE FAMILY OF CONDITIONAL IMPLICATIONAL DEPENDENCIES

Article type: Research Article

Authors: Felea, Victor

Affiliations: Faculty of Computer Science “Al.I. Cuza” University of laşi, Berthelot 16, 6600 laşi, Romania

Abstract: Certain second-order sentences, called conditional implicational dependencies, about relations in a relational database, are denned and studied. These dependencies include some of previously defined dependencies as special cases. Thus, the family of implicational dependencies introduced and studied by R. Fagip can be included in the family of conditional implicational dependencies. The conditional-functional dependencies defined by P. De Bra and J. Paredaens are special cases of new dependencies. A characterization of a conditional implicational dependency implied by a given class in this family, is given. The existence of Armstrong models for the class of conditional implicational dependencies with a single relational constant symbol is shown.

Keywords: Armstrong relations, functional dependency, conditional dependency, generalized dependency, conditional implicational dependency, implicational dependency, relational database, logical consequence, mathematical logic

DOI: 10.3233/FI-1995-2435

Journal: Fundamenta Informaticae, vol. 24, no. 3, pp. 303-312, 1995