【摘 要】
：
多数据库系统是数据库技术与网络技术发展的产物,它在分布环境中为多个自治、异构的参与库提供集中的存取.其设计方法大致可分为松散耦合和紧密耦合两种途径.模式集成是信息
论文部分内容阅读
多数据库系统是数据库技术与网络技术发展的产物,它在分布环境中为多个自治、异构的参与库提供集中的存取.其设计方法大致可分为松散耦合和紧密耦合两种途径.模式集成是信息系统开发和分布式数据库设计的一个重要部分.基于此,研究人员提出了判定概念模式可以被有意义地集成的准则.类层次是面向对象数据模型中的基本结构.研究人员引入类层次中的属性闭包及类层次信息容量相等和相容的概念,通过求属性闭包而得到类层次信息容量是否相等或相容.进而借助逻辑编程和演绎数据库的概念,将结构相当的概念模式用所谓的集成断言来进行描述,并给出了一个从集成断言集开始自动地进行模式集成的算法.该文特别关注模式集成的逻辑基础,同时注意到方法的可操作性、系统性和实用性.由此,基于该文的成果,安全可以建立一个良好的多数据库系统概念模型设计支撑环境,故该文成果具有相当的实用性.
其他文献
插值在众多的实际问题中有着广泛的应用,特别是一般的有理插问题越来越引起学术界的重视.该文主要针对几何造型中插值问题进行了较为系统的研究,主要工作有以下几个方面.(1).
《矿山测量》杂志是由国家煤矿安全监察局主管,煤炭科学研究总院唐山研究院主办的国家级专业科技刊物。本刊多次被评为全国中文核心期刊、矿业工程类核心期刊及部、省级优秀
该文研究用于解初值问题的边值方法,提出基于线性两步的两类边值方法,并研究它们的边值稳定区域,针对线性微分方程的情形,探讨了它的收敛性.这些结果显示了边值方法的一些优
该文针对目前大庆油田己由二次采油阶段进入三次采油阶段,部分采油区己采用聚合物驱油替代水驱油,来提高原油采收率等实际情况,在研究聚合物溶液的非牛顿特性以及国内外非牛
不等式的自动推理一直是自动推理领域的一大难题,该文在多项式完全判别系统、柱形代数分解算法及降维算法等理论的基础上提出了用于不等式自动推理的一般算法,并就一类不等式
本文是关于非线性抛物方程、方程组以及拟线性抛物方程和椭圆方程的一些研究。由四章组成。在第一章中，研究了一类非线性抛物方程组的Cauchy问题，给出了该问题的爆破临界指标的
提出了一种描述高维倒向随机微分方程比较定理的方法，并给出了证明，该文分为三章，第一章为引言，叙述了问题的由来。在该文的第二章中叙述了高维倒向随机微分方程的比较定理并给出
生物体内部温度场的无损测量,是生物医学传热学研究中的一个极其重要而困难的课题.该文从非稳态的Pennes方程出发,采用绝对稳定的三维Douglas及Crank-Nicholson差分格式混合
在计算机辅助几何设计中曲线造型已获得了普遍的应用.一元样条函数及曲线、自由曲线生成等作为基本外形设计方法确实能解决大部分实际问题,然而,在实际应用中研究人员面临的
该文介绍了用BSP方法组织视景数据库和消隐的基本原理和过程,并介绍了四种可见性判别的加速方法:单侧可见BSP绘制,BSP的背面检测方法,BSP面检测以及包围盒的检测方法.该文提