Horn clauses and database dependencies
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
Principles of Database Systems
Principles of Database Systems
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
| Hi-index | 0.00 |
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.