【摘 要】
：
本文提出了一种新型的带副本的分布式数据库。该类数据库在由处理站点组成的超大型网络上提供了高度分布透明性。这种分布式数据库有别于其它分布式数据库是因为在它的处理站
论文部分内容阅读
本文提出了一种新型的带副本的分布式数据库。该类数据库在由处理站点组成的超大型网络上提供了高度分布透明性。这种分布式数据库有别于其它分布式数据库是因为在它的处理站点中只具有系统中数据对象和站点的有限而不是全部的知识。一种较为复杂的知识模型取代了传统的数据目录。文中还提出了能表征此类 DDB 基本特性的公理框架,从这种框架结构能推出一种拓扑网络模型来作为知识模型的基础。作者认识到了支持自主子域的实际重要性,并在其网络拓扑模型中提供了这种自主子域。给出一种命题演算以简化数据的物理定位的推理。提出的一系列启发式方
其他文献
一、编译程序测试的目标和特点对软件系统进行测试的主要方法是通过设计测试实例,执行程序和分析运行结果来发现软件系统的错误。编译程序测试的方法与上述方法相同,但编译程序测试的依据是语言标准文本,而不是通常的软件规格说明;测试实例是由一组源程序组成,而不是一
在现代自动化生产系统,指挥控制系绕和人工智能系统中,所用的信息是不确定的。已经发展了两类表示不确定信息的方法,即数值的和非数值的方法。本文对数值法中最常用的方法,包
原型化开发方法是一种新型的软件开发手段,但是需要一定的开发环境和工具来支持。本文在分析、比较传统软件开发方法(即软件生存期法)与原型法的特点的基础上,着重阐述了利用
尽管关于机器能否有智能的问题一直存在着争议,但三十年来,人工智能这门学科却仍然获得了很大的发展。那么它是怎样发展起来的,当前的研究动向又如何?显然,这些对今后规划人
<正> 一、引言数据库技术自出现以来一直以惊人的速度发展。它在商业应用中的成功奠定了其重要地位。七十年代后期,人们已不满足于对关系数据库的研究,很多学者试图从逻辑的
项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重
软件测试是提高软件可靠性的重要手段,也是软件工程中最活跃的研究领域之一。鉴于今后若干年内软件测试仍将是软件质量保证的主要手段,因而我们在本文中讨论了软件测试的发展
<正> 1.前言1989年11月,我应以杨振宁教授为主席的“同中国教育交流委员会”的邀请,到美国纽约州立大学石溪分校进行学术访问。在访问期间,除从事科学研究外,我也有意识地了
此文介绍了中国科学院科学数据库 POREL 小组在维也纳技术大学应用信息研究所消耗10人年,在 VAX,UNIX 上重新模拟实现的分布式数据库管理系统 PO-REL;也介绍了中国科学院数学
<正> 一、问题的提出为解决不良结构问题应运而生的决策支持系统(DSS)最初是面向半结构化问题的,它由用户接口、模型部件、数据部件构成。随着 DSS 向非结构化领域的拓展,不