论文部分内容阅读
首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质；然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质；P（F）是惟一的、不可分解的规范化对象模式森林的路径集合；M←→OD（F）←→|×|P（F）；P（F）是无α环的，这对于面向对象信息系统的开发有一定的意义。