| 本文已被：浏览 3867次 下载 5893次 |
码上扫一扫！ |
|
|
| 相应于无冲突依赖的规范化对象模式森林 |
|
吴永辉1,2,3, 周傲英1,2
|
|
1.复旦大学,计算机科学与工程系,上海,200433;2.复旦大学,智能信息处理开放实验室,上海,200433;3.中国科学院,软件研究所,计算机科学重点实验室,北京,100080
|
|
| 摘要: |
| 首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质:P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M<=>OD(F)<=>P(F);P(F)是无(环的.这对于面向对象信息系统的开发有一定的意义. |
| 关键词: 对象模式 对象依赖 无冲突 森林 路径 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(60003008);中国科学院软件研究所计算机科学重点实验室资助项目(SYSKF0202) |
|
| The Normal Object Scheme Forest with Respect to Conflict-Free Dependencies |
|
WU Yong-hui,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;M<=>OD(F)<=>P(F);and P(F) is α-cyclic.There is a siginficion in the development for the object-oriented information systems. |
| Key words: object scheme object dependency conflict-free forest path |
