任意公理系统的依赖基

形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基，给出了对任意一个公理系统求任意背景依赖基的方法，并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景，通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。

Dependency Basis of Arbitrary Axiomatic System

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 aninducement context was introduced to visually show the process of the prove and the compute dependency basis usingthe inducement context