手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
无冲突满足P_4的无U环数据库模式分解条件的研究
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计.文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且线图中每个三角形都是相容的.最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件是给定的MVD集存在一个严格无冲突的覆盖.
7 32
手机阅读本文
下载APP 手机查看本文
计算机研究与发展
2000年02期

搜 索