【摘 要】
：
为解决传统数据库遇到的许多问题,诸如:长数据表达、长事务协同管理、历史数据和瞬时数据管理等,人们利用OO方法或扩充的关系模型研制、发展新一代数据库,以满足当前和未来数
论文部分内容阅读
为解决传统数据库遇到的许多问题,诸如:长数据表达、长事务协同管理、历史数据和瞬时数据管理等,人们利用OO方法或扩充的关系模型研制、发展新一代数据库,以满足当前和未来数据库应用的需要,其中最基本的问题就是数据模型问题,该文借助OO方法系统地对数据模型进行了理论探讨,着重讨论了模型的两个主要方面:1.形式化问题并证明了对象和对象类的格结构;2.对模型的进一步抽象化,提出了统一的对象和对象类的符号模型以及基于这个模型的有关对象和对象类的操作.
其他文献
设K是域,n∈Z,SL(K),GL(K)与M(K)分别表示K上的n阶特殊线性群,一般线性群与线性半群.以F表示仅含两个元素的域,该文使用矩阵计算,群的定义关系等方法,确定了SL(F)(即GL(F))到
该文讨论了紧度量空间上Borel测度集合的某些拓扑性质.文中证明了正Borel测度的w-紧集生成的带形是w-Borel集;任意Borel测度的有界w-Souslin集生成的带形是w-Souslin集;另外,
该文提出了一种利用地震多参数的二次函数判别法进行油气储层横向预测的方法,取得了明显效果.该文提出了使用一般的二次函数模型来构造判别函数.它克服了线性多元统计分析方
无网格法是近十年来发展起来的一种新的数值方法，这种方法建立在节点基础之上，不依赖于网格信息，能够部分或彻底的消除网格划分所带来的困难。由于该方法具有无网格特性，故在处理
该硕士学位论文由两篇论文组成.在第一篇 论文中,讨论一类两点异宿环在临界情况下稳定性的判据,给出在所设条件下异宿环稳定或不稳定的条件.在第二篇论文中,讨论平面C系统两
在回顾总结有限维变分不等式数值解法发展现状的基础上,利用熵函数逼近,提出了求解有限维变分不等式和非线性互补问题的熵函数算法,分析了算法的性质,证明了算法的全局收敛性
该学位论文利用先验估计、Galerkin方法、有限差分法、谱方法和拟谱方法,对于耦合Ginzburg-Landau-BBM方程组,做了一系列的工作,研究了一维与二维耦合方程组的无界区域和有界
差分方程是研究处理离散领域数量关系的重要数学工具。随着计算机科学与技术在科学研究与生产实践中的广泛应用，差分方程理论在现代物理学，工程控制，经济学，社会科学等诸多领域得
该文引入了条件(P)和相对平坦的概念,并和之分别对幺半群和S-系进行了刻画.第一节给出了与该文有关的一些概论和事实.在第二节中引入了条件(P),讨论了条件(P)与条件(P)、条件
该文系统研究了证券投资组合理论,并在Markowitzs模型的基础上,构造了证券投资组织模型,将投资收益的风险加以限制,使模型更符合于投资市场的实际需求和竞争规范.该文设计了