| 相应于无冲突依赖的规范化对象模式森林 |
| |
| 引用本文： | 吴永辉,周傲英.相应于无冲突依赖的规范化对象模式森林[J].软件学报,2002,13(8):1488-1493. |
| |
| 作者姓名： | 吴永辉 周傲英 |
| |
| 作者单位： | 1. 复旦大学,计算机科学与工程系,上海,200433;复旦大学,智能信息处理开放实验室,上海,200433;中国科学院,软件研究所,计算机科学重点实验室,北京,100080
2. 复旦大学,计算机科学与工程系,上海,200433;复旦大学,智能信息处理开放实验室,上海,200433 |
| |
| 基金项目： | 国家自然科学基金资助项目(60003008);中国科学院软件研究所计算机科学重点实验室资助项目(SYSKF0202) |
| |
| 摘 要： | 首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质:P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M<=>OD(F)<=>P(F);P(F)是无(环的.这对于面向对象信息系统的开发有一定的意义.
|
| 关 键 词： | 对象模式 对象依赖 无冲突 森林 路径 |
| 文章编号： | 1000-9825/2002/13(08)1488-06 |
| 收稿时间： | 2001/6/22 0:00:00 |
| 修稿时间： | 1/8/2002 12:00:00 AM |
The Normal Object Scheme Forest with Respect to Conflict-Free Dependencies |
| |
| WU Yong-hui and ZHOU Ao-ying.The Normal Object Scheme Forest with Respect to Conflict-Free Dependencies[J].Journal of Software,2002,13(8):1488-1493. |
| |
| Authors: | WU Yong-hui and ZHOU Ao-ying |
| |
| Abstract: | The properties for a normal object scheme forest with respect to a conflict-free set of ODs are shown in this paper. Firstly basic concepts and properties about object dependency, a conflict-free set of object dependencies, normal object scheme forest and the algorithm of normalization design for complex object schemes are summarized. Then the properties for a normal object scheme forest with respect to a conflict-free set of ODs are presented and proved: P(F) is a unique split-free path set for a normal object scheme forest; MOD(F) P(F); and P(F) is a-cyclic. There is a signification in the development for the object-oriented information systems. |
| |
| Keywords: | object scheme object dependency conflict-free forest path |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
