演绎数据库

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
析取封闭世界假设的一种过程语义(英文)
《软件学报》2001年第9期1265-1270,共6页王克文 周立柱 冯建华 
国家自然科学基金 ;国家重点 973基础研究发展规划~~
析取信息的表示是一个重要的研究问题 .DCWA(析取封闭假设 )为一般演绎数据库提供了一种谨慎语义 ,并且扩充了标准的良基语义 .同时 DCWA支持争论推理 ,为广义封闭世界假设提供了一种逼近 .基于此 ,提出了DCWA的过程语义 ,并证明了它的...
关键词：演绎数据库 封闭世界假设 过程语义 
DOL:一个演绎对象库语言被引量：1
《软件学报》1998年第10期771-776,共6页王修伦 孙永强 
演绎对象数据库是对象数据模型和演绎数据库集合的产物．它集成演绎数据库的查询能力和对象数据库的强大建模能力．ＤＯＬ（ｄｅｄｕｃｔｉｖｅｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）是作者设计的一种演绎对象库语言，它支持类、类层...
关键词：演绎对象库语言 DOL 描述型语义 演绎数据库 
演绎面向对象数据库语言中的方法研究
《软件学报》1998年第3期190-193,共4页王浩 高隽 张奠成 
国家教委博士点专项基金
方法和方法继承是面向对象的核心概念．本文介绍了约束演绎对象语言ＣＤＯＬ（ｃｏｎｓｔｒａｉｎｔｄｅｄｕｃ－ｔｉｖｅｏｂｊｅｃｔｌａｎｇｕａｇｅ）中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实...
关键词：面向对象 DOOD 数据库 演绎数据库 
分层否定的拓广
《软件学报》1997年第A00期365-371,共7页陈栋 
现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的...
关键词：分层否定 数据模型 演绎数据库系统 数据库 
演绎数据库的并发控制模型
《软件学报》1997年第A00期266-273,共8页王培强 姜跃平 
演绎数据库系统是利用数据库事实与规则进行推理，求解相关事实的系统。当推量规则繁多，数据库内容庞大时，利用事实推理的事务将长期占用大量数据库，降低事务并发度。本文提出的模型充分利用规划中的语义来减小推理事务占用数据的单位。
关键词：演绎数据库 并发控制 演绎推理 数据库 
PROLOG—DBMS系统实现中的子句间优化技术被引量：7
《软件学报》1995年第3期136-141,共6页李磊 左万历 李希春 
霍英东教育基金
实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从...
关键词：PROLOG语言 数据库 演绎数据库 子句间优化 
关于在演绎数据库系统研究中引入一种新的关系的一些探讨被引量：1
《软件学报》1994年第12期17-23,共7页徐洁磐 
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系．虚—实关系集成了实关系与虚关系的一些优点，克服了它们的一些缺点，在演绎数据库系统中它具有特别的性质．将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系...
关键词：演绎数据库 实关系 虚关系 演绎推理 
递归查询算法的研究被引量：3
《软件学报》1994年第7期44-50,共7页怀进鹏 
国家自然科学基金;航空科学基金
本文介绍了ＤｅＤＢ的递归查询算法，提出为减少冗余及回溯计算的基本原理．根据该原理，提出了一种高效的递归查询算法ＧＣＱＡ，它包括２部分，一是预编译算法；另一个是递归编译算法．实验结果表明这种算法是高效的．
关键词：数据库 演绎数据库 递归查询算法 
拓广的左线性递仅变换算法及其正确性被引量：2
《软件学报》1994年第1期56-61,共6页范明 
河南省优秀中青年教师奖励基金
本文给出拓广的左线性递归变换算法并证明其正确性．拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化．和左线性递归计算算法一样，本文提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法...
关键词：演绎数据库 线性递归 左线性递归 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部