求关系模式全部候选关键字理论和算法

The Theorem and Algorithm for Solving All Candidate Keys of Relation Schema

本文研究了候选关键字之间的关联,定义了它们之间的等价关系,开发了直接导出和间接导出候选关键字的几个定理和从一个候选关键字导出所有候选关键字算法,并证明了它的正确性和完备性。

In this paper, we researched the relationship between candidate keys of relation schema; defined equivalent relation in theirs. Some theorem directly and indirectly derived candidate keys of relation schema are proposed, The algorithm derived all candidate keys from a cadidate key of relation schema are developed. The correct and complete of these theories are Proved.