演绎数据库

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无线移动网络分布式最小生成树的声明实现被引量：2
《小型微型计算机系统》2011年第1期117-120,共4页曲文武 
声明网络是一种应用演绎数据库技术描述并解决网络问题的方法.节点将网络封装为数据库的一部分,通过对数据库的操作解决网络问题.最小生成树问题是无线Ad Hoc网络上NP完全问题,声明网络为无线Ad Hoc网络的最小生成树问题提供了一种新的...
关键词：声明网络 演绎数据库 最小生成树 无线移动网络 
带有规则优先级的主动规则终止性分析
《黑龙江工程学院学报》2010年第1期57-59,76,共4页杨泽雪 周屹 胡心怡 赵庆双 
黑龙江省教育厅资助项目(11541291)
主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译...
关键词：主动数据库 终止性 演绎数据库 
演绎面向对象数据库及其查询语言
《电脑开发与应用》2008年第4期77-77,79,共2页张倩 
关键词：面向对象数据库 演绎数据库 查询语言 OODB 抽象概念 对象标识 抽象能力 复杂对象 
FOXPRO的演绎数据库系统
《信息技术》2008年第4期111-112,共2页陈要武 
演绎数据库是人工智能与数据库技术结合的产物,它具有数据处理及逻辑推理功能。在分析演绎数据库实现技术的基础上,重点介绍设计并实现的基于FOXPRO的演绎数据库系统的系统结构及实现机制。
关键词：关系数据库 查询语言 推理机 
主动规则的汇流性分析
《哈尔滨师范大学自然科学学报》2008年第1期65-68,共4页杨泽雪 
规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序.针对主动规则汇流性分析方法的局限性,介绍一种主动数据库规则汇流性分析的新方法,此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知汇...
关键词：主动数据库 汇流性 演绎数据库 
主动规则的终止性分析被引量：1
《哈尔滨理工大学学报》2006年第6期13-15,共3页杨泽雪 郝忠孝 
终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程.
关键词：主动数据库 终止性 演绎数据库 
演绎数据库中语义查询的动态优化算法
《计算机工程》2006年第14期49-50,65,共3页毛翼飞 陶世群 
山西省自然科学基金(971029)
演绎数据库的语义查询优化是利用数据库中的完整性约束,将用户提交的查询转换为与原查询等价且执行效率更高的查询规则。该文提出的动态语义优化算法在查询计算过程中动态约去存在的空展开式,使得查询时间开销的节省可用所除去的空展开...
关键词：空展开式 动态语义查询优化 查询树 
基于SQL Server的演绎规则处理器
《计算机工程》2005年第B07期101-103,共3页霍纬纲 
设计并实现了一种基于SQLServer的演绎规则处理器,其主要功能是把演绎规则转换为含有SQL语句的过程代码,利用该处理器用户可用一阶逻辑谓词定义和查询IDB关系。
关键词：演绎数据库 规则处理器 系统结构 IDB谓词 
DOOL程序语义等价转换为Datalog程序的转换规则
《计算机工程与应用》2005年第8期176-179,共4页原锦辉 陶世群 
演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的...
关键词：演绎对象数据库 DOOL程序 语义等价转换 DATALOG程序 程序转换规则 演绎数据库 面向对象数据库 
一种求解递归规则的有效算法
《中国民航学院学报》2005年第2期22-26,共5页霍纬纲 肖元枝 
研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分解后的子程序进行魔转换。并提出了对该算法的进一步优化方案。最后对算法中引入的ID号做了开销分析。
关键词：演绎数据库 魔集转换 DATALOG 查询优化 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部