摘要
提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.
In this paper, Intent Waned Values and Compact Dependency are proposed as new concepts. It has strictly been proven that a dependent foundation that consisted of compact dependencies is an irredundant and complete dependency basis on an axiom system that includes only one rule: attributes are increased at the left side and reduced at the right side. In this way, another irredundant and complete dependency basis is found, which is distinguished from the Guigues-Duquenne basis. This basis changes the traditional idea that there exists a sole irredundant and complete dependency basis and discloses the prospect of finding multiple kinds of irredundant and complete dependency basis for a variety of requirements.
出处
《软件学报》
EI
CSCD
北大核心
2011年第5期962-971,共10页
Journal of Software
基金
国家自然科学基金(60775036)