文献类型：期刊文章

作　　者：马垣[1] 张学东[2] 迟呈英[1]

机构地区：[1]辽宁科技大学软件学院,辽宁鞍山114051 [2]辽宁科技大学电子信息工程学院,辽宁鞍山114051

出　　处：《软件学报》

基　　金：国家自然科学基金(60775036)

年　　份：2011

卷　　号：22

期　　号：5

起止页码：962-971

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20112714112609)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.

关 键 词：值依赖  Guigues-Duquenne基  紧致依赖  内涵亏值  数据库

分 类 号：TP311]