Inferences for Numerical Dependencies

Abstract We introduce and motivate the study of numerical dependencies which are a generalization of functional dependencies. We prove that there does not exist a finite set of sound and complete inference rules for numerical dependencies in contrast to the case of functional dependencies. We also prove that nontrivial numerical dependencies which are not functional dependencies cannot be expressed by Horn formulas in first-order logic, and show some applications of numerical dependencies.

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

[2]  Jack Minker,et al.  Semantic Query Optimization in Expert Systems and Database Systems , 1984, Expert Database Workshop.

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

[4]  J. D. Uiiman,et al.  Principles of Database Systems , 2004, PODS 2004.

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

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

[7]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[8]  John Grant,et al.  Numerical Dependencies , 1981, XP2 Workshop on Relational Database Theory.

[9]  Paris C. Kanellakis.  On the Computational Complexity of Cardinality Constraints in Relational Databases , 1980, Inf. Process. Lett..

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

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

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

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

[14]  Richard Hull,et al.  Sort sets in the relational model , 1983, PODS '83.

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

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

[17]  Jack Minker,et al.  On recursive axioms in deductive databases , 1983, Inf. Syst..

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

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

[20]  Jack Minker,et al.  The Use of a Semantic Network in a Deductive Question-Answering System , 1977, IJCAI.