基于形式化方法的持久对象层框架研究

来源 :华东理工大学 | 被引量 : 0次 | 上传用户:gwq939
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于面向对象数据库(OODB)仍然不很成熟,关系数据库(RDB)还是存储数据必不可少的一种方法.因为这两种模型是基于不同的范式,所以使得匹配对象模型到关系模型数据库过程还是一个很需要研究的领域.持久对象层的研究是基于面向对象数据库的若干问题而延伸的一个研究分支.持久对象层就是在把关系型数据库转换成面向对象数据库的过程中的一个中间层.在这篇论文里,我使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层.在本文中涉及了类图和关系型数据库的形式化定义,类图的操作规则和两种模型之间的转换规则.本文介绍了构建持久对象层的框架和过程.利用形式化的方法来构架持久对象层,并取得了较好的效果.
其他文献
本文针对现实的网络图的非封闭性特点,对计算网络可靠性的不交化算法进行了改进,其主要思想就是根据网络图的最小路集把网络图分解成若干子图,求出这些子图各自的最小路集,再
本文首先介绍了软件过程技术出现的背景和软件过程工程技术领域若干研究热点问题。在分析当前以过程为中心的软件过程支撑环境PSEE技术的基础之上,提出了一个基于UML活动图的
空间数据挖掘在遥感(RS)、地理信息系统(GIS)、图像数据库探测、环境研究等许多空间数据的领域中有着广泛的应用。把空间数据挖掘的聚类技术应用于遥感数据的水体提取与污染
数据聚类分析在数据挖掘,统计学,机器学习等领域有着广泛的应用.现有的数据聚类方法种类繁多,但仍存在着各种不足,聚类速度和结果的质量不能完全满足大型、高维数据库上的聚
在现代网络中,高速数据业务和多媒体业务已逐渐成为宽带网络中的主导业务,同时,网络中还不断出现各种新的应用,不同应用表现出来的业务流特性也大不相同.因而,研究和掌握网络
本文广泛地参考了国内外关于MPEG-1和H.264压缩技术的研发现状,从压缩算法的关键技术方面,如运动估算、离散余弦变换、量化过程、熵编码决策以及其在网络中的传输情况等,详细地
本文主要是对独立分量分析(Independent Component Analysis)理论和算法的研究,以解决人工嗅觉系统中气味特征提取问题.在对ICA的相关理论和算法做了深入的分析研究的基础上,
Web Services技术为异构、自治和松散耦合的分布式应用提供了一个交互机制,已成为一种新的应用模式和分布式计算模型。为满足功能更复杂、更强大的实际应用的需要,动态的按需
现代信息科技的进步特别是网络技术的飞速发展,已经使得人们的日常工作与网络密不可分,大量的数据文件需要存储和共享,使用传统的服务器式存储和共享技术会给服务器造成巨大
  本文研究了人体运动分析系统的一个子系统:人体运动检测与跟踪,它是人体运动分析与识别的基础。本文的主要工作可以归纳如下:  在第二章中本文基于背景差分的基本原理,针对