Horn clauses and database dependencies

Certain first-order sentences, called "dependencies," about relations in a database are defined and studied. These dependencies seem to include all prewously defined dependencies as special cases A new concept is mtroduced, called "faithfulness (with respect to direct product)," which enables powerful results to be proved about the existence of "Armstrong relations" in the presence of these new dependencies. (An Armstrong relaUon is a relation that obeys precisely those dependencies that are the logical consequences of a given set of dependencies.) Results are also obtained about characterizing the class of projections of those relations that obey a given set of dependencies.

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

[2]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[3]  Gio Wiederhold,et al.  Databases , 1984, Computer.

[4]  Catriel Beeri,et al.  A complete axiomatization for functional and multivalued dependencies in database relations , 1977, SIGMOD '77.

[5]  Moshe Y. Vardi.  The implication and finite implication problems for typed template dependencies , 1982, PODS '82.

[6]  R. Lyndon.  Review: Alfred Horn, On Sentences Which are True of Direct Unions of Algebras , 1951 .

[7]  Robert A. Di Paola.  The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas , 1969, JACM.

[8]  Claude Delobel,et al.  Decompositions and functional dependencies in relations , 1980, TODS.

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

[10]  Michel A. Melkanoff,et al.  A Method for Helping Discover the Dependencies of a Relation , 1979, Advances in Data Base Theory.

[11]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[12]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

[13]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[14]  Ronald Fagin,et al.  Inclusion dependencies and their interaction with functional dependencies , 1982, PODS.

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

[16]  N. S. Barnett,et al.  Private communication , 1969 .

[17]  John Grant,et al.  On the family of generalized dependency constraints , 1982, JACM.

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

[19]  Philip A. Bernstein,et al.  Computational problems related to the design of normal form relational schemas , 1979, TODS.

[20]  James R. Slagle,et al.  Finding resolution proofs and using duplicate goals in and/or trees , 1971, Inf. Sci..

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

[22]  Ronald Fagin,et al.  Armstrong Databases for Functional and Inclusion Dependencies , 1983, Inf. Process. Lett..

[23]  A. Tarski.  MATHEMATICSContributions to the Theory of Models. I , 1954 .

[24]  Moshe Y. Vardi.  The Decision Problem for Database Dependencies , 1981, Inf. Process. Lett..

[25]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[26]  J. D. Uiiman.  Principles of database systems , 1982 .

[27]  Dirk Janssens,et al.  Decompositions of Relations: A Comprehensive Approach , 1979, Advances in Data Base Theory.

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

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

[30]  Ronald Fagin,et al.  A normal form for relational databases that is based on domains and keys , 1981, TODS.

[31]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[32]  FaginRonald.  Horn clauses and database dependencies , 1982 .

[33]  Moshé M. Zloof.  Query by example , 1975, AFIPS '75.

[34]  Yehoshua Sagiv,et al.  Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies , 1982, JACM.

[35]  Catriel Beeri,et al.  The Implication Problem for Data Dependencies , 1981, ICALP.

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

[37]  A. Tarski.  Contributions to the theory of models. III , 1954 .

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

[39]  Martin Fraser Brooks.  Determining correctness by testing , 1980 .

[40]  Ronald Fagin,et al.  An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic , 1981, JACM.

[41]  Catriel Beeri,et al.  A Proof Procedure for Data Dependencies , 1984, JACM.

[42]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[43]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[44]  BeeriCatriel,et al.  On the Structure of Armstrong Relations for Functional Dependencies , 1984 .

[45]  Seymour Ginsburg,et al.  Properties of functional-dependency families , 1982, JACM.

[46]  David Maier,et al.  Generalized Mutual Dependencies And The Decomposition Of Database Relations , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[47]  Richard Statman,et al.  On the Structure of Armstrong Relations for Functional Dependencies , 1984, JACM.

[48]  Jeffrey D. Ullman,et al.  Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization , 1982, JACM.

[49]  Catriel Beeri,et al.  Formal Systems for Tuple and Equality Generating Dependencies , 1984, SIAM J. Comput..

[50]  FaginRonald.  Multivalued dependencies and a new normal form for relational databases , 1977 .

[51]  Yuri Gurevich,et al.  The inference problem for template dependencies , 1982, PODS '82.

[52]  Ronald Fagin,et al.  Functional Dependencies in a Relational Data Base and Propositional Logic , 1977, IBM J. Res. Dev..