Abstract

Abstract. 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.

Citations

539	A Mathematical Introduction to Logic - Enderton - 1972
396	Model Theory - Chang - 1973
143	Relational Completeness of Data Base Sublanguages - Codd - 1972
112	Logic for improving integrity checking in relational data bases - Nicolas - 1982
92	Computational Problems Related to the Design of Normal Form Relational Schemas - Beeri, Bernstein - 1979
86	A Proof Procedure for Data Dependencies - Beeri, Vardi - 1984
85	Testing Implications of Data Dependencies - Maier, Mendelzon, et al. - 1979
74	Inclusion dependencies and their interaction with functional dependencies - Casanova, Fagin, et al. - 1982
66	On sentences which are true of direct unions of algebras - Horn - 1951
53	The theory of joins in relational databases - AHO, BEERI, et al. - 1979
36	On the Structure of Armstrong Relations for Functional Dependencies - Beeri, Dowd, et al. - 1984
28	The Implication Problem for Data Dependencies - Beeri, Vardi - 1981
27	Correction to ”An equivalence between relational database dependencies and a fragment of propositional logic - Sagiv, Delobel, et al. - 1987
19	Armstrong Databases - Fagin - 1982
14	Template dependencies: a large class of dependencies in relational databases and its complete axiomatization - Sadri, Ullman - 1982
12	The Inference Problem for Template Dependencies - Gurevich, Lewis - 1982
11	A Method for Helping Discover the Dependencies of a Relation - Silva, Melkanoff - 1979
9	The decision problem for database dependencies - Vardi - 1981
8	Armstrong Databases for Functional and Inclusion Dependencies - Fagin, Vardi - 1983
6	Decompositions and functional dependencies in relations - Armstrong, Delobel - 1980
5	Order Logic Formalization for Functional, Multivalued and Mutual Dependencies - Nicolas, First - 1978
2	Generalized mutual dependencies and the decomposmon of database relations - MENDELZON, MAmR - 1979
2	Decomposition of relations: A comprehensive approach - PARADAENS, JANNSENS - 1978
2	Finding resolution proofs using duplicate goals m AND/OR trees - SLAGLe, KONIVR - 1971
1	Dependency structures of database relationships - ARMSXRONG - 1974
1	A complete ax~omatization for functional and multivalued dependencies in database relaUons - BEERI, FAOIN, et al. - 1977
1	Determining correctness by testing - BROOKS
1	Further normahzation of the database relational model - CODD - 1971
1	On the expressive power of query languages - COOPER - 1980
1	A syntactical characterization of a subset of definite and safe formulas - DeMoLOe - 1981
1	On the characterization of "valid" formulas for database querying - DEMOLOMBE, NICOLAS - 1981
1	The recursive unsolvabllity of the decision problem for the class of definite formulas - PAOLi - 1969
1	FuncUonal dependencies in a relational database and propositional logic. IBM - FAOIN - 1977
1	Tools for template dependencles - FAGIN, MAIER, et al.
1	Properties of functional-dependency families - GINSaURO, ZIDDAN - 1982
1	On the family of generalized dependency constraints - GRAWr, JACOes - 1982
1	Implicauonal dependency and finite specdication - HULL - 1981
1	Some applications of infinitely long formulas - KEtslmR - 1965
1	Answering questions by computer: A logical study - KUHS - 1967
1	Transitive dependencies in a database scheme - PAtADAENS - 1979
1	Inference involving embedded multtvalued dependencies and transitive dependencies - unknown authors - 1980
1	Theory of relations for databases---A tutorial survey - Risst, J
1	Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies - SolV, WALECr - 1982
1	Mathematical Logic - SHOENVlELD - 1967
1	Private commumcation - STATMAN
1	Contributions to the theory of Models I. Neded. Akad. Wetensch - TARSKI - 1980
1	Private commumcaUon 57 VARDI, M.Y. The tmplication and t'mite unplicatlon problems for typed template dependencies - VAOI - 1982
1	Private communication - YANNAKArdS
1	Algebraic dependencies. Proe. 21st - XrOS, PAeADIMITRXOU - 1980
1	pp 431--438 - Proc - 1975