计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2004年
11期
1924-1929
,共6页
无α环%广义左部冲突%广义右部冲突%判定算法
無α環%廣義左部遲突%廣義右部遲突%判定算法
무α배%엄의좌부충돌%엄의우부충돌%판정산법
数据库数据组织的无环性是数据库理论和应用中一个重要特性.如何把数据库模式分解成无环性是一个比较复杂的问题,特别是在FD集F有内部冲突时无α环的分解问题.为了解决这一问题,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系,以及对称左部属性集存在的条件和性质;给出了相关概念、定理及证明.在此基础上,给出了关于存在广义左部、右部冲突的判定算法,对该算法进行了正确性证明和算法分析.
數據庫數據組織的無環性是數據庫理論和應用中一箇重要特性.如何把數據庫模式分解成無環性是一箇比較複雜的問題,特彆是在FD集F有內部遲突時無α環的分解問題.為瞭解決這一問題,討論瞭有內部遲突的FD集F有廣義左部遲突或廣義右部遲突時和對稱左部屬性集之間的關繫,以及對稱左部屬性集存在的條件和性質;給齣瞭相關概唸、定理及證明.在此基礎上,給齣瞭關于存在廣義左部、右部遲突的判定算法,對該算法進行瞭正確性證明和算法分析.
수거고수거조직적무배성시수거고이론화응용중일개중요특성.여하파수거고모식분해성무배성시일개비교복잡적문제,특별시재FD집F유내부충돌시무α배적분해문제.위료해결저일문제,토론료유내부충돌적FD집F유엄의좌부충돌혹엄의우부충돌시화대칭좌부속성집지간적관계,이급대칭좌부속성집존재적조건화성질;급출료상관개념、정리급증명.재차기출상,급출료관우존재엄의좌부、우부충돌적판정산법,대해산법진행료정학성증명화산법분석.
