The Theory of Data Dependencies - An Overview

Dependencies are certain sentences of first-order logic that are of special interest for database theory and practice. There has been quite a bit of research in the last decade in investigating dependencies. A selective overview of this research is presented. In particular, the focus is on the implication problem for dependencies, and on issues related to the universal relation model.

[1]  Jorma Rissanen.  On equivalences of database schemes , 1982, PODS '82.

[2]  B. Dreben,et al.  The decision problem: Solvable classes of quantificational formulas , 1979 .

[3]  Paul De Bra,et al.  Conditional Dependencies for Horizontal Decompositions , 1983, ICALP.

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

[5]  Ronald Fagin,et al.  Degrees of acyclicity for hypergraphs and relational database schemes , 1983, JACM.

[6]  Mihalis Yannakakis,et al.  Independent database schemas , 1982, PODS '82.

[7]  John C. Mitchell.  Inference rules for functional and inclusion dependencies , 1983, PODS '83.

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

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

[10]  Catriel Beeri,et al.  On the menbership problem for functional and multivalued dependencies in relational databases , 1980, TODS.

[11]  Mihalis Yannakakis,et al.  Algorithms for Acyclic Database Schemes , 1981, VLDB.

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

[13]  Marc H. Graham.  Path expressions in databases , 1983, PODS '83.

[14]  Alberto O. Mendelzon,et al.  Independent and separable database schemes , 1983, PODS '83.

[15]  Edward Sciore.  Inclusion dependencies and the universal instance , 1983, PODS '83.

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

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

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

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

[20]  Robert E. Tarjan,et al.  Variations on the Common Subexpression Problem , 1980, J. ACM.

[21]  Carlo Zaniolo,et al.  Analysis and design of relational schemata for database systems. , 1976 .

[22]  Tadao Kasami,et al.  Decision Problems for Multivalued Dependencies in Relational Databases , 1979, SIAM J. Comput..

[23]  Yehoshua Sagiv,et al.  A characterization of globally consistent databases and their correct access paths , 1983, TODS.

[24]  Lishing Liu,et al.  An Algorithm for Testing Lossless Join Property in Relational Databases , 1980, Inf. Process. Lett..

[25]  Paul G. Sorenson,et al.  The Effects of Denormalisation on Database Performance , 1982, Aust. Comput. J..

[26]  I. J. Heath.  Unacceptable file operations in a relational data base , 1971, SIGFIDET '71.

[27]  David Maier,et al.  The revenge of the JD , 1983, PODS '83.

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

[29]  Zvi Galil,et al.  An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database , 1982, JACM.

[30]  Marc H. Graham.  Functions in databases , 1983, TODS.

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

[32]  Yehoshua Sagiv,et al.  Can we use the universal instance assumption without using nulls? , 1981, SIGMOD '81.

[33]  Catriel Beeri,et al.  On the Desirability of Acyclic Database Schemes , 1983, JACM.

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

[35]  David S. Johnson,et al.  Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies , 1984, J. Comput. Syst. Sci..

[36]  David Maier,et al.  Windows on the world , 1983, SIGMOD '83.

[37]  Alfred V. Aho,et al.  Equivalences Among Relational Expressions , 1979, SIAM J. Comput..

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

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

[40]  Catriel Beeri,et al.  A Sophisticate's Introduction to Database Normalization Theory , 1978, VLDB.

[41]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

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

[43]  Moshe Y. Vardi.  On decomposition of relational databases , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[44]  Philip A. Bernstein,et al.  Synthesizing third normal form relations from functional dependencies , 1976, TODS.

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

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

[47]  Moshe Y. Vardi,et al.  Notions of dependency satisfaction , 1986 .

[48]  Patrick C. Fischer,et al.  Whether a Set of Multivalued Dependencies Implies a Join Dependency is NP-Hard , 1983, SIAM J. Comput..

[49]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[50]  Peter Honeyman,et al.  Testing satisfaction of functional dependencies , 1982, JACM.

[51]  Moshe Y. Vardi.  The implication and finite implication problems for typed template dependencies , 1982, J. Comput. Syst. Sci..

[52]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

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

[54]  Alberto O. Mendelzon,et al.  Notions of dependency satisfaction , 1982, PODS '82.

[55]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[56]  Mihalis Yannakakis,et al.  On the Complexity of Testing Implications of Functional and Join Dependencies , 1981, JACM.

[57]  Mihalis Yannakakis,et al.  Testing the Universal Instance Assumption , 1980, Inf. Process. Lett..

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

[59]  Ronald Fagin,et al.  Inclusion Dependencies and Their Interaction with Functional Dependencies , 1984, J. Comput. Syst. Sci..

[60]  Edward Sciore,et al.  A Complete Axiomatization of Full Join Dependencies , 1982, JACM.

[61]  Moshe Y. Vardi.  A Note on Lossless Database Decompositions , 1984, Inf. Process. Lett..

[62]  Catriel Beeri,et al.  Formal Systems for Join Dependencies , 1985, Theor. Comput. Sci..

[63]  David Maier,et al.  Adequacy of Decompositions of Relational Databases , 1980, J. Comput. Syst. Sci..

[64]  David Maier,et al.  The Theory of Relational Databases , 1983 .

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

[66]  Catriel Beeri,et al.  Equivalence of Relational Database Schemes , 1981, SIAM J. Comput..

[67]  Yehoshua Sagiv.  An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic , 1980, JACM.

[68]  Alberto O. Mendelzon,et al.  Functional dependencies on cyclic database schemes , 1983, SIGMOD '83.

[69]  Jorma Rissanen,et al.  Independent components of relations , 1977, TODS.

[70]  Moshe Y. Vardi,et al.  Unary inclusion dependencies have polynomial time inference problems , 1983, STOC '83.

[71]  Catriel Beeri,et al.  Preserving Functional Dependencies , 1981, SIAM J. Comput..

[72]  Harry R. Lewis,et al.  Complexity Results for Classes of Quantificational Formulas , 1980, J. Comput. Syst. Sci..

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

[74]  Ronald Fagin,et al.  A simplied universal relation assumption and its properties , 1982, TODS.

[75]  E. F. Codd,et al.  Relational database: a practical foundation for productivity , 1982, CACM.

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

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

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

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

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

[81]  Richard Hull.  Finitely Specifiable Implicational Dependency Families , 1984, JACM.

[82]  Yuri Gurevich,et al.  The inference problem for template dependencies , 1982, Inf. Control..