Original scientific paper
Soundness and completeness of Saxena and Tripathi's formal system
Mirko Maleković
; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Abstract
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.
Keywords
completeness; formal system; soundness; theory of functional dependencies
Hrčak ID:
79436
URI
Publication date:
14.12.1993.
Visits: 768 *