Characterizing Data Base 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..