基于线图的无﹀环混合依赖分解条件及算法 |
| |
引用本文: | 刘文远,郝忠孝.基于线图的无﹀环混合依赖分解条件及算法[J].软件学报,2000(12). |
| |
作者姓名: | 刘文远 郝忠孝 |
| |
作者单位: | 哈尔滨工业大学计算机科学与工程系!黑龙江哈尔滨150001 哈尔滨工业大学计算机科学与工程系黑龙江哈尔滨150001,哈尔滨工业大学计算机科学与工程系!黑龙江哈尔滨150001 哈尔滨理工大学计算机系 黑龙江哈尔滨150080 |
| |
摘 要: | 无β环数据库模式具有很多优良的特性 ,以往的研究都局限在图论的范畴内 ,而没有考虑数据库的其他规范化特性 .在混合依赖基概念的基础上 ,定义了严格无冲突、扩展严格无冲突等概念 ,并证明了在混合环境下得出的无损联接、保持依赖、无 β环且满足 4 N F的分解的充要条件是 ,混合依赖集是扩展严格无冲突的 .据此 ,给出了判断严格无冲突及混合环境下无β环分解算法 ,并分析了算法时间的复杂度是线性的 .最后 ,给出基于线图的实例验证 .这一结论可直接指导数据库的模式设计
|
关 键 词: | 数据库模式 混合依赖 线图 无β环 无损联接 保持依赖 |
本文献已被 CNKI 等数据库收录! |
|