Characterizing Data Base Dependencies

We characterize the class of Full Implicational Dependencies introduced by Fagin as the maximal class of dependencies which are safe, admit finite models in a strong sense and admit Armstrong Relations. We also give other more modeltheoretic characterizations of Full and Embedded Implicational Dependencies.

[1]  Leslie H. Tharp Continuity and elementary logic , 1974, Journal of Symbolic Logic.

[2]  Johann A. Makowsky,et al.  Embedded implicational dependencies and their inference problem , 1981, STOC '81.

[3]  Jeffrey D. Ullman,et al.  A complete axiomatization for a large class of dependencies in relational datatbases , 1980, STOC '80.

[4]  Catriel Beeri,et al.  On the Properties of Join Dependencies , 1979, Advances in Data Base Theory.

[5]  Claude Delobel,et al.  Normalization and hierarchical dependencies in the relational data model , 1978, TODS.

[6]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[7]  Kamran Parsaye-Ghomi,et al.  Inferences involving embedded multivalued dependencies and transitive dependencies , 1980, SIGMOD '80.

[8]  J. Makowsky,et al.  Securable Quantifiers, κ-Unions and Admissible Sets , 1975 .

[9]  Alfred V. Aho,et al.  The Theory of Joins in Relational Data Bases (Extended Abstract) , 1977, FOCS.

[10]  Jean-Marie Nicolas First order logic formalization for functional, multivalued and mutual dependencies , 1978, SIGMOD '78.

[11]  Eric C. Cooper On the expressive power of query languages for relational databases , 1982, POPL '82.

[12]  Mihalis Yannakakis,et al.  Algebraic dependencies , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[13]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[14]  Jorma Rissanen Theory of Relations for Databases - A Tutorial Survey , 1978, MFCS.

[15]  Ronald Fagin,et al.  Horn clauses and database dependencies , 1982, JACM.

[16]  David Harel,et al.  On folk theorems , 1980, SIGA.

[17]  H. Jerome Keisler Some Applications of Infinitely Long Formulas , 1965, J. Symb. Log..