首页 | 官方网站   微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
一个演绎工程数据库语言DEL   总被引:1,自引:0,他引:1  
演绎工程数据库是工程数据库和演绎数据库集成的产物,它综合了工程数据库和演绎数据库的特点,集成了演绎数据库的查询能力和工程数据库的工程数据、对象、环境建模能力,对数据库技术的不断进步和完善有重要的理论意义和实用价值.文中分析了国内外目前在相关领域的研究现状以及出现的问题,介绍了现有数据库语言的特点及不足,提出演绎工程数据库的思路,讨论了如何扩充SQL以支持在基于逻辑的工程数据库环境下操纵各种知识,保证了其语言的易用性和与原有工程数据库的结合,对演绎工程数据库语言DEL的语法及DEL SQL实现作了详细介绍,并给出了DEL SQL语言的应用实例,验证了DEL SQL语言的适用性和正确性.  相似文献   

2.
演绎数据库是将推理机制引入传统关系数据库而生成的一种新型数据库形式,它是数据库领域中一个比较新的方向。实现演绎数据库的主要问题是推理规则的表示和推理过程的实现。其中,演绎推理的有效实现是演绎数据库实现的关键。目前,实现演绎数据库的途径有两个:一个是直接用逻辑程序设计语言PROLOG来实现;另一个是在传统关系数据库  相似文献   

3.
一、引言演绎数据库是近几年数据库研究的热点。根据 Grant 和 Minker 的分类,演绎数据库的研究可以分为三个阶段:第一阶段(1957—1968),开始了演绎数据库的研究工作,开始应用 J.A.Robinson 提出的归结原理于演绎数据库中的演绎的实现。第二阶段(1969—1978),逻辑程序设计和 Prolog 在演绎数据库中的应用;演绎数据库语义和否定在定义数据库中的研究。第三阶段(1979  相似文献   

4.
只要注意完整性限制的处理,PROLOG用来实现(关系型)演绎数据库系统是很合适的,因为它为表达数据库、查询、以及完整性限制提供一种统一和简洁的一体化表述体系;查询计值就通过PROLOG定理证明过程来实现,查询值作为机械定理证明过程的副效应之一而生成.PROLOG系统用来实现演绎数据库使得建立系统的代价降至最小.  相似文献   

5.
一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS 结合构造演绎数据库  相似文献   

6.
演绎数据库是人工智能与数据库技术相结合的产物,是目前数据库发展的一个方向。实现演绎数据库有多种方法,本文论述了利用数据库自身的能力实现演绎数据库的设想。其基本思想为利用数据库的数据操纵语言来实现推理机,利用数据库管理数据的功能来管理知识库。并且设计和实现了一个具有PROLOG推理机制的演绎数据库模型。  相似文献   

7.
演绎数据库是人工智能技术与数据库技术相结合的产物,是数据库研究领域中引人瞩目的一个新的研究方向。我国对演绎数据库的研究始于八十年代初,至今在理论上与实现上都取得了不少成果。本文首先讨论一下演绎数据库的理论,然后,对各种实现方法进行分类分析,并作相应的评价。  相似文献   

8.
演绎数据库和逻辑程序中的否定   总被引:1,自引:0,他引:1  
演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.  相似文献   

9.
演绎数据库是人工智能与数据库技术结合的产物,它具有数据处理及逻辑推理功能。本文在分析演绎数据库实现技术的基础上,重点地介绍我们设计并实现的基于Foxbase的演绎数据库系统的系统结构及实现机制。  相似文献   

10.
DOL: 一个演绎对象库语言   总被引:2,自引:0,他引:2  
王修伦  孙永强 《软件学报》1998,9(10):771-776
演绎对象数据库是对象数据模型和演绎数据库集合的产物.它集成演绎数据库的查询能力和对象数据库的强大建模能力.DOL(deductive object base language)是作者设计的一种演绎对象库语言,它支持类、类层次、继承、集合、部分集、方法及重载和否定.文章着重研究继承、重载和复杂结构化值的交互关系.定义了压缩操作子和重载操作子.基于这两个操作子,定义了与经典逻辑程序类似的直接后承操作子,并研究其不定点性质.  相似文献   

11.
演绎数据库是人工智能与数据库技术相结合的产物,具有逻辑推理及数据处理功能。本文首先分析了演绎数据库的实现技术,介绍了我们设计实现的基于PROLOG及DBASE Ⅲ系统,并基于该系统开发了一个决策支持系统。  相似文献   

12.
演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。  相似文献   

13.
本文首先提出了研究新一代数据库技术(面向对象数据库和演绎数据库)的必要性,然后讨论了相关的理论概念及实现方法,最后介绍了我们设计并实现的演绎数据库系统。  相似文献   

14.
一个新的演绎数据库的推理算法   总被引:1,自引:0,他引:1  
演绎数据库扩充了传统关系数据库的处理能力,增加了对规则的处理,使系统具有演绎推理的功能。演绎推理的有效实现是演绎数据库实现的一个关键。本文利用数组、状态、栈等技术,给出了一个利用规则实现演绎推理的算法。这种算法对规则进行有效的处理,很好地消除推理过程中的推理冗余,并对推理过程的停机问题做了处理。本算法已经在INGRES关系数据库上得以实现。  相似文献   

15.
扩充模型论是一种数学理论,在它的基础上我们实现了一种扩充模型论语言——EMTL。这种程序设计语言不仅可用在关系数据库系统中还可用在演绎数据库中。它有很多特点,它为我们研究与实现关系数据库系统与演绎数据库提供了新的思想、方法与工具。在本文中,我们讨论了此语言设计与实现的一些问题,最后并作了分析与评价。  相似文献   

16.
从证明论(Proof Theory)的观点看,演绎数据库构成了一种特殊的一阶理论,并被分为确定(Definite)和不确定(Indefinite)两种形式。很容易用PROLOG表示和处理确定型演绎数据库,因为组成它的事实和推演规则(Deductive Rules)为一组Horn子句。非Horn子句(non-Horn Clauses)的存在使不确定演绎数据库向PROLOG数据库的映射复杂化。实现这种映射面临的主要问题为:1).如何用PROLOG表示和处理non-Horn子句;2).如何克服闭域假设(Closed World Assumption)下的不一致性;3).空值(Null Values处理;4).如何得到不确定解答(Indefinite Answers)。本文分别讨论了这些问题,并提出了解决方法。  相似文献   

17.
面向对象数据库技术及其前景分析   总被引:1,自引:0,他引:1  
面向对象数据库作为第三代数据库具有前两代数据库无法比拟的优点,满足复杂数据结构和海量存储需要,是新型数据库如多媒体数据库、空间数据库、演绎数据库、工程数据库实现的基础。具体分析了面向对象数据库技术的基本特征、优势、存在的问题,并对面向对象数据库技术未来前景做了预测。  相似文献   

18.
演绎查询指的是用逻辑推导来回答用户查询的方法,它是演绎数据库规则管理器的核心部分。WDeDB是建立在关系数据库系统WDDBS上的演绎数据库系统,为充分利用大关系联接的有效技术,我们的推理模式采用了自底向上的编译方法,优化过程和执行过程是其中密不可分的两大部分,本文将讨论它的实现。  相似文献   

19.
数据库服务器的安全一直是大家关注的问题,SQL Server数据库作为广泛使用的后台数据库服务器在数据采集、金融、商务等方面有着广泛应用,如何实施安全策略,提出了一种新思路,用ASP程序实现对数据库服务器的安全性进行监控,并就实现SQL Server数据库安全监控的程序设计方法、原理、实现步骤及应用方法作了介绍。  相似文献   

20.
演绎工程数据库是工程数据库和演绎数据库集成的产物,它综合了工程数据库和演数据库的特点,集成了演绎数据库的查询能力和工程数据库的工程数据,对象,一半建横竖能力。对数据闸技术的不断进步和完善有重要的理论意义和实用价值,文中分析了国内外目前在相关领域的研究现状以及出现的问题,介绍了现有数据库语言的特点及不足,提出了演绎工程加的思想,讨论了如何扩充SQL以在基于逻辑的工程数据库环境下操纵各种知识,保证了其  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号