演绎数据库

作品数:120被引量:70H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:陶世群石树刚郑振楣怀进鹏王能斌更多>>
相关机构:山西大学武汉大学东南大学南京大学更多>>
相关期刊:更多>>
相关基金:山西省自然科学基金国家自然科学基金中国航空科学基金福建省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 主题=递归查询x
条 记 录,以下是1-10
视图:
排序:
一个线性递归查询算法的设计与实现
《计算机工程与设计》2004年第12期2301-2304,共4页陶世群 
旨在解决在演绎数据库中,如何利用递归规则进行递归查询的问题。介绍了一个线性递归查询算法的基本思想,阐述了该算法的设计与具体实现,包括算法采用的数据结构、程序中各功能模块的功能,对算法进行了分析。
关键词:递归查询 算法 演绎数据库 数据结构 功能模块 设计 线性 基本思想 具体 
演绎数据库中处理递归查询的一种改进算法
《山西大学学报(自然科学版)》2004年第2期139-142,共4页霍纬纲 陶世群 
如何提高演绎数据库的递归查询效率是演绎数据库领域所面临的一个重要问题 .介绍了一种结合传统的逻辑查询处理自顶向下和自底向上两种处理方式的递归查询算法 .该算法基于侧向信息传递策略 ,把查询计算始终限制在与查询的初始约束相关...
关键词:演绎数据库 递归查询 自顶向下 自底向上 魔集算法 侧向信息传递策略 
一种演绎数据库系统的设计与实现被引量:1
《北京工业大学学报》2004年第4期505-509,共5页常晋义 陶世群 邓超 
江苏省教育厅自然科学基金资助项目(00KJD520007).
为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器...
关键词:演绎数据库 推理机 递归查询 规则集 完整性维护 
演绎数据库系统中推理机的设计与实现
《计算机工程》2002年第11期134-136,共3页常晋义 陶世群 郑成增 
演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术,并对推理机的运行机制进行了分析。
关键词:演绎数据库系统 推理机 设计 递归查询 线性递归逻辑程序 约束模型 
演绎数据库系统SD-DDBS的设计与实现被引量:6
《计算机工程与应用》2002年第18期207-209,共3页陶世群 陈晓东 
山西省自然科学基金(编号:971029)
主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。
关键词:演绎数据库系统 SD-DDBS 设计 推理机 递归查询 规则库 人工智能 
线性递归表达式的分类
《空军预警学院学报》1999年第1期31-35,共5页何云 鲁汉榕 
提出了一种强有力的困模式分析工具VPC-扩展图;基于VPC-扩展图,给出了线性递归表达式的一种完备分类方法,并导出了其相应的编译表达式。
关键词:演绎数据库 递归查询 查询编译 图模式 
树形知识表示与递归查询优化
《空军预警学院学报》1999年第1期41-44,共4页何云 鲁汉榕 
提出了一种树形知识表示方法,使递归查询可参考事实库状态,从而获得更高效的算法。
关键词:演绎数据库 递归查询 查询优化 树形知识表示 
具有多值约束的广义左线性递归查询的有效计算被引量:1
《科学通报》1992年第14期1336-1339,共4页范明 
河南省自然科学基金
Ullman及Naughton等提出的左线性变换是一种类似于魔集变换的规则改写算法。由于左线性递归是实践中最常见的递归类型之一,并且变换后的规则的自底向上处理相当有效,因此左线性变换已被斯坦福大学的NAIL!系统。
关键词:演绎数据库 递归查询优化 线性递归 
知识库和演绎数据库的最新进展
《计算机科学》1992年第3期44-47,共4页施伯乐 周傲英 
一、引言知识库和演绎数据库是近几年数据库界研究的热门课题,其研究正方兴未艾。八十年代中期,LDL 语言和 DATALOG 语言的推出标志着一个研究热潮的到来。从1990年召开的几个国际会议可以看出,这股潮流还在持续高涨。VLDB’90(笫十六...
关键词:演绎数据库 数据库系统原理 知识库系统 递归查询 合取查询 查询优化 面向对象数据库 逻辑程序 递归程序 关系数据库 
基于逻辑规则的递归查询之自底向上处理被引量:3
《计算机科学》1992年第3期48-52,共5页徐洁磐 范明 
八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本...
关键词:递归查询 自底向上 演绎数据库 数据库技术 逻辑规则 查询处理 魔集 求值 无限循环 关系代数 
检索报告 对象比较 聚类工具 使用帮助 返回顶部