RO  EN
IMI/Publicaţii/CSJM/Ediţii/CSJM v.3, n.3 (9), 1995/

On the Family of Conditional Embedded Implicational Dependencies

Authors: Victor Felea

Abstract

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

Victor Felea,
Faculty of Computer Science "Al.I.Cuza"
University of Iasi
Berthelot 16,
6600 Iasi, Romania



Fulltext

Adobe PDF document0.17 Mb