切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于形式化方法的持久对象层框架
基于形式化方法的持久对象层框架
来源 :计算机工程 | 被引量 : 0次 | 上传用户:shoretxm
【摘 要】
:
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层.文中涉及了类图的形式化定义、类图的操作规则和两种模型之间的转换规则.
【作 者】
:
单伟
党齐民
【机 构】
:
华东理工大学计算机科学与技术系
【出 处】
:
计算机工程
【发表日期】
:
2005年19期
【关键词】
:
持久对象层
形式化
UML
类图
转换规则
Persistent object layer Formalize UML Class diagram Transp
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层.文中涉及了类图的形式化定义、类图的操作规则和两种模型之间的转换规则.
其他文献
急性重症胰腺炎误诊原因分析
期刊
胰腺炎
急性重症
误诊
分析
妊娠高血压综合征合并心力衰竭25例治疗及护理
目的:探讨妊娠高血压综合征合并心力衰竭患者的临床治疗及护理方法。方法:回顾性分析25例妊娠高血压综合征合并心力衰竭患者的临床治疗及护理资料。结果:本组除2例严重妊娠高血
期刊
妊娠高血压综合征
心力衰竭
治疗
护理
早期综合功能锻炼在全膝关节置换术中的应用
2003年1月~2007年2月,我们对30例行全膝关节置换术患者进行早期综合功能锻炼,取得满意效果。现报告如下。
期刊
全膝关节置换术
功能锻炼
早期
移动计算环境中并发控制协议的研究
提出了多版本乐观并发控制协议(MVOCC),缩短了只读事务的响应时间,减少了通信开销,避免了不必要的事务重启动.实验结果表明该协议优于OCC协议和TO协议.
期刊
移动计算环境
多版本乐观并发控制
动态调整串行次序
移动事务
Mobile computing environment Multiple version opt
兔舍潮湿的危害及保持干燥的措施
兔舍潮湿的危害及保持干燥的措施浙江省泰顺县家畜良种推广站325500杨明爽家兔具有喜清洁干燥的生活习性,要求的适宜相对湿度为60%一65%,无论是在高温的夏季、低温的冬季,还是其它季节,兔舍里
期刊
兔
兔舍
潮湿
危害
干燥
综合措施
胰腺癌与胰腺良性疾病超声诊断鉴别要点
我院2000年4月~2003年12月经手术证实的胰腺癌共54例,术前均进行超声检查,其中4例超声诊断错误,超声误诊率7.4%.现分析误诊原因如下.
期刊
胰腺癌
良性疾病
超声诊断
鉴别
超声误诊
误诊原因
术前
错误
要点
月经
一种基于FastICA的运动目标检测新方法
独立分量分析是一种新颖的盲源分离技术,目前已经在语音识别、图像处理、通信系统和医学信号处理等领域得到了广泛的关注。简单介绍了独立分量分析的基本理论和算法,用快速独立分量分析(FastICA)方法进行运动目标检测的试验,试验结果表明这是一种鲁棒性较强的运动目标检测方法。
期刊
独立分量分析
运动目标检测
FASTICA
Independent component analysisDetection of moving targetFa
艾滋病四例报告
艾滋病即获得性免疫缺陷综合征,是由人类免疫缺陷病毒引起的一种严重传染病.本病已遍及世界范围,感染者中90%以上生活在发展中国家[1],此应引起临床重视.我院收治以神经系统
期刊
艾滋病
肌无力
麻痹
尿潴留
JTone应用服务器容器持久性管理的优化加载策略
以现有的JTone应用服务器容器持久性管理(XJTU-CMP)为背景,在研究了O-R映射(JAWS)的基础上,对其进行了改进(现为AppservCMP),提出了一套实体bean优化加载策略和加载过程,以提
期刊
J2EE规范
CMP
O-R映射
优化加载
J2EE specification CMP O-R Mapping Optimized loading
三种固定方法治疗髌骨骨折102例效果比较
目的:探讨三种固定方法治疗髌骨骨折的效果及护理方法。方法:对102例髌骨骨折患者分别行克氏针张力带钢丝内固定、丝线环扎内固定+石膏外固定及经皮穿刺克氏针张力带钢丝内固定
期刊
髌骨骨折
固定
护理
与本文相关的学术论文