Computer Science ›› 2013, Vol. 40 ›› Issue (2): 200-205.
Previous Articles Next Articles
Online:
Published:
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
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2013/V40/I2/200
Cited