期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
具有多值约束的线性递归查询的有效计算
被引量:
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
职称材料
题名
具有多值约束的线性递归查询的有效计算
被引量:
2
1
作者
范明
机构
郑州大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1992年第12期913-919,共7页
基金
河南省自然科学基金
文摘
本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论.
关键词
线性递归
查询
变换算法
数据库
Keywords
deductive database
,
optimization
of
queries
, linear recursion.
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
演绎表格查询语言DFQL的设计与实现
被引量:
1
2
作者
怀进鹏
机构
北京航空航天大学计算机系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1993年第2期27-34,共8页
基金
国家自然科学基金
文摘
本文首先介绍了演绎数据库DeDB 模型,提出了一种扩充关系模型REDM,并基于REDM 设计并实现了一个演绎数据库系统DFQL/DEDBS,然后讨论了演绎表格查询语言DFQL 的设计与实现。目前,该系统已用于开发了一个实用的决策支持系统。
关键词
表格查询语言
演绎数据库
DFQL
Keywords
deductive database
query language
recursive
query algorithm
relation
database
canonic language.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
演绎数据库系统dUNIFY的设计与实现
3
作者
徐洁磐
王银根
柏文阳
机构
南京大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1994年第3期183-191,共9页
文摘
本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发CAD的应用.
关键词
演绎数据库
dUNIFY
数据库
设计
Keywords
deductive database
virtual-real relation
dSQL language
query
optimization
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
线性递归规则的并行计算方法
被引量:
1
4
作者
袁军
陈栋
王能斌
机构
东南大学计算机系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第8期608-613,共6页
文摘
本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论,提出了一种新颖的递归规则并行计算的基本策略,并给出了一种基于线性递归规则的并行计算方法。
关键词
演绎数据库
递归规则
并行计算
数据库
Keywords
deductive database
, parallel processing,
recursive
rules, query
optimization
.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
演绎数据库优化技术新进展
被引量:
1
5
作者
袁军
王能斌
机构
东南大学计算机系
出处
《计算机科学》
CSCD
北大核心
1996年第4期16-19,共4页
文摘
在现实应用中有一类应用不仅要求数据库系统能够存取大量的数据,而且要求数据库系统能够对所存贮数据进行知识推理,我们称这类应用是基于知识的数据密集型应用。很多迹象表明,关系数据库由于缺乏足砂的语义表达能力,不适用于这类应用系统的开发,因此人们试图寻找一种新型数据库系统,它既能存贮数据,又能存贮知识推理规则。
关键词
演绎数据库
最佳化
数据库
Keywords
deductive database
,Logic data language, Query
optimization
,
recursive
query
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
关系闭包的计算
6
作者
刘化明
机构
厦门大学计算机与系统科学系
出处
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
1989年第1期25-29,共5页
基金
福建省自然科学基金
文摘
本文涉及演绎数据库递归查询的优化问题,提出算若干计算关系闭包的算法。算法的主要思想是及时地从关系中删去不产生新结果的元组,避免元组间多次重复的连接,提高查询效率。
关键词
演绎数据库
逆归查询
闭包计算
Keywords
deductive database
,
recursive queries
,
optimization
,
relational closure
分类号
TP392 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
具有多值约束的线性递归查询的有效计算
范明
《计算机学报》
EI
CSCD
北大核心
1992
2
在线阅读
下载PDF
职称材料
2
演绎表格查询语言DFQL的设计与实现
怀进鹏
《计算机研究与发展》
EI
CSCD
北大核心
1993
1
在线阅读
下载PDF
职称材料
3
演绎数据库系统dUNIFY的设计与实现
徐洁磐
王银根
柏文阳
《计算机学报》
EI
CSCD
北大核心
1994
0
在线阅读
下载PDF
职称材料
4
线性递归规则的并行计算方法
袁军
陈栋
王能斌
《计算机研究与发展》
EI
CSCD
北大核心
1996
1
在线阅读
下载PDF
职称材料
5
演绎数据库优化技术新进展
袁军
王能斌
《计算机科学》
CSCD
北大核心
1996
1
在线阅读
下载PDF
职称材料
6
关系闭包的计算
刘化明
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
1989
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部