Inferences for numerical dependencies
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.
generalization of functional dependencies
scientific article; zbMATH DE number 3965468
scientific article