有内部冲突的F的广义左、右部冲突判定算法  

A Generalized Left-Hand Side and Right-Hand Side Conflicts Decision Algorithm of F with Inside Conflicts

作　　者：郝忠孝[1] 赵龄强[1] 高岩[2] 

机构地区：[1]哈尔滨理工大学计算机与控制学院 [2]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机研究与发展》2004年第11期1924-1929,共6页Journal of Computer Research and Development

基　　金：黑龙江省自然科学基金项目 (F0 0 0 6)

摘　　要：数据库数据组织的无环性是数据库理论和应用中一个重要特性 如何把数据库模式分解成无环性是一个比较复杂的问题 ,特别是在FD集F有内部冲突时无α环的分解问题 为了解决这一问题 ,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系 ,以及对称左部属性集存在的条件和性质 ;给出了相关概念、定理及证明 在此基础上 ,给出了关于存在广义左部、右部冲突的判定算法 。The acyclic property of database data structure is an important property of the database theory and application. How to make an acyclic decomposition of the database schema is a relatively complex problem, and more complex is the α-acyclic decomposition problem when there exist inside conflicts in FD set F. Discussed in this paper is that when there exist generalized left-hand side conflicts or generalized right-hand side conflicts in FD set F which has inside conflicts, the relationship between the generalized left-hand side or generalized right-hand side conflicts and the symmetrical left-hand side attribute set, and the existing condition and property of the symmetrical left-hand side attribute set. The corresponding concepts, theorems and proof are also given. On this basis, a decision algorithm of the existence of generalized left-hand side or generalized right-hand side conflicts is presented. The correctness verification and algorithm analysis of the above mentioned algorithm are presented too.

关 键 词：无Α环 广义左部冲突 广义右部冲突 判定算法 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]