Abstract: This paper defined axiomatic and axiomatic systems of value dependencies formally, and proved that each axi- omatic system has dependency basis for any context strictly. It gave a method of computing dependency basis of arbi- trary axiomatic system for any context and proved that dependency basis of each axiomatic system is not only. And an inducement context was introduced to visually show the process of the prove and the compute dependency basis using the inducement context

Key words: Value dependency, Axiomatic system, Dependency basis, Inducement context