Inferences for numerical dependencies (Q1079963)

Numerical dependencies - a generalization of functional dependencies, which naturally occur in databases as integrity constraints - are studied in the paper. It is proved 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. It is also proved that non- trivial numerical dependencies which are not functional dependencies cannot be expressed by Horn formulae in first-order logic.