演绎数据库

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
演绎数据库中语义查询的动态优化算法
《计算机工程》2006年第14期49-50,65,共3页毛翼飞 陶世群 
山西省自然科学基金(971029)
演绎数据库的语义查询优化是利用数据库中的完整性约束,将用户提交的查询转换为与原查询等价且执行效率更高的查询规则。该文提出的动态语义优化算法在查询计算过程中动态约去存在的空展开式,使得查询时间开销的节省可用所除去的空展开...
关键词：空展开式 动态语义查询优化 查询树 
基于SQL Server的演绎规则处理器
《计算机工程》2005年第B07期101-103,共3页霍纬纲 
设计并实现了一种基于SQLServer的演绎规则处理器,其主要功能是把演绎规则转换为含有SQL语句的过程代码,利用该处理器用户可用一阶逻辑谓词定义和查询IDB关系。
关键词：演绎数据库 规则处理器 系统结构 IDB谓词 
演绎数据库系统中推理机的设计与实现
《计算机工程》2002年第11期134-136,共3页常晋义 陶世群 郑成增 
演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。
关键词：演绎数据库系统 推理机 设计 递归查询 线性递归逻辑程序 约束模型 
利用视图技术实现非递归规则的表示与推理被引量：4
《计算机工程》2002年第3期96-98,共3页陈晓东 陶世群 
山西省自然科学基金项目(971029)
介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。
关键词：非递归规则 视图 演绎数据库 规则依赖图 逻辑数据语言 
基于SQL Server的演绎数据库系统被引量：7
《计算机工程》2001年第3期33-34,共2页陶世群 原锦辉 
山西省自然科学基金项目(971029)
分析了演绎数据库的理论基础和实现机制，重点介绍设计和实现的基于ＳＱＬ Ｓｅｒｖｅｒ的演绎数据库系统，对系统进行了分析和评价．
关键词：演绎数据库系统 SQL SERVER 人工智能 数学模型 
确定型演绎数据库的查询求值
《计算机工程》1990年第4期8-18,共11页周傲英 
本文针对确定型演绎数据库的查询求值问题提出了一种系统的、高效的编译方法。决定DDB效率的两个关键因素是冗余和可能相关事实。为能消除冗余和最小化可能相关事实,我们把编译过程分为两个子阶段。第一子阶段是预编译阶段,它负责可能...
关键词：演绎数据库 数据库 查询 
演绎数据库系统EMTL及其应用
《计算机工程》1989年第1期35-41,共7页徐洁磐 魏红 
本文介绍了演绎数据库系统EMTL的功能以及用它设计的两个应用实例,分析了EMTL语言作为DDBS语言的能力,并就用EMTL开发应用系统中的一些问题作了简单的讨论,给出了我们的看法。
关键词：演绎数据库 EMTL 数据库 
演绎数据库线性递归查询的快速算法被引量：2
《计算机工程》1989年第1期1-7,共7页杜小勇 
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一...
关键词：数据库 递归查寻 演绎数据库 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部