Decomposition Condition and Algorithm of β-Acyclic in Mixed Dependency Environments Based on Line Graph
基于线图的无β环混合依赖分解条件及算法

无β环数据库模式具有很多优良的特性,以往的研究都局限在图论的范畴内,而没有考虑数据库的其他规范化特性.在混合依赖基概念的基础上,定义了严格无冲突、扩展严格无冲突等概念,并证明了在混合环境下得出的无损联接、保持依赖、无β环且满足4NF的分解的充要条件是，混合依赖集是扩展严格无冲突的.据此,给出了判断严格无冲突及混合环境下无β环分解算法,并分析了算法时间的复杂度是线性的.最后,给出基于线图的实例验证.这一结论可直接指导数据库的模式设计.