软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
5期
962-971
,共10页
值依赖%Guigues-Duquenne基%紧致依赖%内涵亏值%数据库
值依賴%Guigues-Duquenne基%緊緻依賴%內涵虧值%數據庫
치의뢰%Guigues-Duquenne기%긴치의뢰%내함우치%수거고
提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.
提齣瞭"內涵虧值"與"緊緻依賴"的概唸,證明瞭由"緊緻依賴"組成的依賴基對于"左部加屬性、右部減屬性"這一規則的公理繫統是無冗餘而完整的.由此髮現瞭除Guigues-Duquenne基以外還有其他無冗餘完整依賴基,改變瞭隻有唯一的一箇無冗餘完整依賴基的傳統觀唸,揭開瞭尋找多種無冗餘完整依賴基以滿足多樣化需求的序幕.
제출료"내함우치"여"긴치의뢰"적개념,증명료유"긴치의뢰"조성적의뢰기대우"좌부가속성、우부감속성"저일규칙적공리계통시무용여이완정적.유차발현료제Guigues-Duquenne기이외환유기타무용여완정의뢰기,개변료지유유일적일개무용여완정의뢰기적전통관념,게개료심조다충무용여완정의뢰기이만족다양화수구적서막.