相应无冲突依赖的规范化对象模式森林

来源 :软件学报 | 被引量 : 0次 | 上传用户:majian_hunu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质;P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M←→OD(F)←→|×|P(F);P(F)是无α环的,这对于面向对象信息系统的开发有一定的意义。
其他文献
建立用原子力显微镜(AFM)检测难溶性药用纳米微粒的方法。将纳米微粒配成一定浓度的悬浮液,以新鲜裂解的云母表面作为样品载体,在室温下用AFM的接触模式成像,用粒度分析软件进行
目的提高对哮喘和与之类似疾病的认识,减少临床误诊。方法总结初诊为哮喘或在其他医疗机构诊断为哮喘并进行治疗,而后确诊为其他疾病的病人特点。结果共132例此类患者,确诊临床
基于空间数据库技术提出了一种多比例尺下细节层次可视化的实现机制.通过建立V-Reactive树索引结构,可以表示不同的细节层次,同时集成了实现多比例尺综合技术.通过采用透视查询算法,简化了该机制实现的复杂度.根据三维可视化的特点,对V-Reactive树进行优化,增强了图像质量.实验结果表明,该机制适用于具有海量数据的三维GIS中.
目的探讨肺结核患者与痰真菌培养阳性之间的相关性。方法对我院收治的126例患者抗结核治疗过程中痰真菌培养阳性出现时间、相关因素及预后进行分析。结果抗结核药物联合应用
环状介导等温DNA扩增(LAMP)技术是一种新的核酸扩增方法,它能够高特异性、高效、快速地进行核酸的扩增.利用LAMP法检测乙型肝炎病毒(HBV),能够在等温条件下于1 h内将少量的基
目的:追踪检测SARS冠状病毒(SARS-CoV)抗体在严重急性呼吸综合征(SARS)患者血清中的产生及其转归规律,为SARS诊断及防治提供依据。方法:对41例临床诊断SARS患者的血清进行了连续3年
组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模型描述层次过低 ,很难支持两个多媒体节目之间的时序描述 .通过引入单位流的概念和扩展两种时序关系 ,研究一种多媒体节目时序描述的结构化技术 ,使复杂的多媒体节目易于理解
目的分析老年重症肺炎的临床特征及治疗的对策。方法采取回顾性的方法对我院2007年1月到2011年12月之间收录治疗的98例老年重症肺炎患者的临床资料,总结其临床症状和体征以及
目的探讨磺达肝癸钠在急性肺栓塞治疗中的有效性及安全性。方法将磺达肝癸钠用于治疗我院5例经肺CTPA确诊的肺栓塞患者,其中包括2例血小板减少患者,1例眼底出血患者,1例对低
实际的动态网络环境迫切要求在QoS路由算法设计中充分考虑网络节点所获网络状态的不精确性.建立了基于非精确状态的网络模型,并提出了一种基于概率的QoS路由算法.该算法通过