期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
具有多值约束的线性递归查询的有效计算 被引量:2
1
作者 范明 《计算机学报》 EI CSCD 北大核心 1992年第12期913-919,共7页
本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用... 本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论. 展开更多
关键词 线性递归 查询 变换算法 数据库
在线阅读 下载PDF
演绎表格查询语言DFQL的设计与实现 被引量:1
2
作者 怀进鹏 《计算机研究与发展》 EI CSCD 北大核心 1993年第2期27-34,共8页
本文首先介绍了演绎数据库DeDB 模型,提出了一种扩充关系模型REDM,并基于REDM 设计并实现了一个演绎数据库系统DFQL/DEDBS,然后讨论了演绎表格查询语言DFQL 的设计与实现。目前,该系统已用于开发了一个实用的决策支持系统。
关键词 表格查询语言 演绎数据库 DFQL
在线阅读 下载PDF
演绎数据库系统dUNIFY的设计与实现
3
作者 徐洁磐 王银根 柏文阳 《计算机学报》 EI CSCD 北大核心 1994年第3期183-191,共9页
本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发... 本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发CAD的应用. 展开更多
关键词 演绎数据库 dUNIFY 数据库 设计
在线阅读 下载PDF
线性递归规则的并行计算方法 被引量:1
4
作者 袁军 陈栋 王能斌 《计算机研究与发展》 EI CSCD 北大核心 1996年第8期608-613,共6页
本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论,提出了一种新颖的递归规则并行计算的基本策略,并给出了一种基于线性递归规则的并行计算方法。
关键词 演绎数据库 递归规则 并行计算 数据库
在线阅读 下载PDF
演绎数据库优化技术新进展 被引量:1
5
作者 袁军 王能斌 《计算机科学》 CSCD 北大核心 1996年第4期16-19,共4页
在现实应用中有一类应用不仅要求数据库系统能够存取大量的数据,而且要求数据库系统能够对所存贮数据进行知识推理,我们称这类应用是基于知识的数据密集型应用。很多迹象表明,关系数据库由于缺乏足砂的语义表达能力,不适用于这类应用系... 在现实应用中有一类应用不仅要求数据库系统能够存取大量的数据,而且要求数据库系统能够对所存贮数据进行知识推理,我们称这类应用是基于知识的数据密集型应用。很多迹象表明,关系数据库由于缺乏足砂的语义表达能力,不适用于这类应用系统的开发,因此人们试图寻找一种新型数据库系统,它既能存贮数据,又能存贮知识推理规则。 展开更多
关键词 演绎数据库 最佳化 数据库
在线阅读 下载PDF
关系闭包的计算
6
作者 刘化明 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 1989年第1期25-29,共5页
本文涉及演绎数据库递归查询的优化问题,提出算若干计算关系闭包的算法。算法的主要思想是及时地从关系中删去不产生新结果的元组,避免元组间多次重复的连接,提高查询效率。
关键词 演绎数据库 逆归查询 闭包计算
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部