【摘 要】
：
一、引言演绎数据库是近几年数据库研究的热点。根据 Grant 和 Minker 的分类,演绎数据库的研究可以分为三个阶段:第一阶段(1957—1968),开始了演绎数据库的研究工作,开始应
【机 构】
：
吉林大学计算机科学系,哈尔滨焊接研究所
【基金项目】
：
863基金,自然科学基金资助课题
论文部分内容阅读
一、引言演绎数据库是近几年数据库研究的热点。根据 Grant 和 Minker 的分类,演绎数据库的研究可以分为三个阶段:第一阶段(1957—1968),开始了演绎数据库的研究工作,开始应用 J.A.Robinson 提出的归结原理于演绎数据库中的演绎的实现。第二阶段(1969—1978),逻辑程序设计和 Prolog 在演绎数据库中的应用;演绎数据库语义和否定在定义数据库中的研究。第三阶段(1979
其他文献
<正> 1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,
<正>1.引言当前的数据库系统按其体系结构可分为两大类:一是单一式体系结构,如FOXBASE、FOXpRO、CLIPPER、PARAI洲〕X等。这一类系统大多实现在PC机上,其特点是整个数据系统
本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。
如何实现数据库互操作性，目前正在从两个方面进行努力：一是发展标准，即建立一个统一的数据库规范；二是承认数据库之间存在差异这一现实，构造可互操作数据库平台。本文将从构造可互
本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究
<正>递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。
<正> 1 引言众所周知,软件工程首先涉及坎件开发风范,风范勾画了各项软件活动的“样式”。然后是每种活动的方法,方法提供了“如何做”的技术,通常还涉及表示法(语言的、图形
<正>一、研究背景多年软件开发的实践,人们积累了丰富的经验,也熟悉了软件开发过程的一些实质性的关键环节。软件开发人员知道如何去协调各个阶段的开发任务,如何强调某些步
当前,用户们正面临着一个多厂商异种数据库环境,对数据库间的互操作造成了极大障碍。笔者认为,就关系型数据库而言,信关乃不失为实现互操作性的可取方法;与 IBM 的 DRDA 相比
<正> 一、前言所谓“程序设计风格”,通常是指由编译器对程序的源代码进行静态分析时所能确认的特性。目前,关于 OOP 风格有两种理解:1.采用非面向对象程序设计语言(OOPL)进