engleski

Soundness and completenes of Saxena and Tripathi's formal system

In this paper a theory of functional dependencies is introduced (a logical approach). The theory consists of two axioms for predicate E(X, t1, t2), where E(X, t1, t2) means that tuples t1 and t2 are equal on a set of attributes X, and axioms for the theory of finite sets (implicitly). In that theory, we have proved that Saxena and Tripathi's formal system is sound and complete for functional dependencies.

completeness; formal system; soundness; theory of functional dependencies

nije evidentirano