计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
9期
76-78
,共3页
无内部冲突%分解算法%无α环%简单范式
無內部遲突%分解算法%無α環%簡單範式
무내부충돌%분해산법%무α배%간단범식
通过分析在FD集F的最小归并依赖集存在弱左部或弱右部冲突时所具有的性质和特征,讨论并给出了满足PS(保持FD,无损连接且满足SNF)且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析.
通過分析在FD集F的最小歸併依賴集存在弱左部或弱右部遲突時所具有的性質和特徵,討論併給齣瞭滿足PS(保持FD,無損連接且滿足SNF)且無α環分解的充要條件和算法,對算法的正確性、可終止性進行瞭證明,併對算法的時間複雜度給齣瞭分析.
통과분석재FD집F적최소귀병의뢰집존재약좌부혹약우부충돌시소구유적성질화특정,토론병급출료만족PS(보지FD,무손련접차만족SNF)차무α배분해적충요조건화산법,대산법적정학성、가종지성진행료증명,병대산법적시간복잡도급출료분석.
