计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2004年
9期
1540-1544
,共5页
内部冲突%归并依赖集%二元组闭包%判定算法%FD集合
內部遲突%歸併依賴集%二元組閉包%判定算法%FD集閤
내부충돌%귀병의뢰집%이원조폐포%판정산법%FD집합
在讨论数据库模式R〈W,F〉的无α环分解时,需要判定FD集F是否有内部冲突;在讨论无β,γ环的分解时也需要判定是否有内部冲突.为此,应当首先给出归并依赖集的二元组集合、闭包等概念;分别给出求解二元组集合及其闭包的多项式算法.在此基础上,讨论FD集F有内部冲突时的特征和相关条件,给出相应的有内部冲突的判定定理和算法,对算法进行了证明和分析.
在討論數據庫模式R〈W,F〉的無α環分解時,需要判定FD集F是否有內部遲突;在討論無β,γ環的分解時也需要判定是否有內部遲突.為此,應噹首先給齣歸併依賴集的二元組集閤、閉包等概唸;分彆給齣求解二元組集閤及其閉包的多項式算法.在此基礎上,討論FD集F有內部遲突時的特徵和相關條件,給齣相應的有內部遲突的判定定理和算法,對算法進行瞭證明和分析.
재토론수거고모식R〈W,F〉적무α배분해시,수요판정FD집F시부유내부충돌;재토론무β,γ배적분해시야수요판정시부유내부충돌.위차,응당수선급출귀병의뢰집적이원조집합、폐포등개념;분별급출구해이원조집합급기폐포적다항식산법.재차기출상,토론FD집F유내부충돌시적특정화상관조건,급출상응적유내부충돌적판정정리화산법,대산법진행료증명화분석.
