期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
118
篇文章
<
1
2
…
6
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
演绎数据库中的语义查询优化方法
被引量:
8
1
作者
陶世群
《小型微型计算机系统》
CSCD
北大核心
1996年第5期47-52,共6页
语义查询优化的目的是使用语义知识来进行有效的查询,以提高查询效率。通过语义编译和语义转换,把一个查询转换成一个或多个更为有效的等价查询。本文介绍在演绎数据库中语义查询优化方法。
关键词
演绎
数据库
语义查询优化
查询优化
数据库
下载PDF
职称材料
PROLOG—DBMS系统实现中的子句间优化技术
被引量:
7
2
作者
李磊
左万历
李希春
《软件学报》
EI
CSCD
北大核心
1995年第3期136-141,共6页
实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从...
实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取.
展开更多
关键词
PROLOG语言
数据库
演绎
数据库
子句间优化
下载PDF
职称材料
电网调度管理演绎数据库模型研究与实现
被引量:
3
3
作者
刘青
黄超
+1 位作者
谭振宇
程时杰
《中国电机工程学报》
EI
CSCD
北大核心
1998年第6期405-407,433,共4页
本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型。介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Windows环境和关系型DBMS...
本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型。介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Windows环境和关系型DBMSFoxpro2.5B实现了该演绎数据库模型,实践表明该实际系统在演绎推理的有效性和可靠性方面都大为提高。
展开更多
关键词
电网调度
知识表示
演绎
数据库
关系模型
下载PDF
职称材料
递归查询算法的研究
被引量:
3
4
作者
怀进鹏
《软件学报》
EI
CSCD
北大核心
1994年第7期44-50,共7页
本文介绍了DeDB的递归查询算法,提出为减少冗余及回溯计算的基本原理.根据该原理,提出了一种高效的递归查询算法GCQA,它包括2部分,一是预编译算法;另一个是递归编译算法.实验结果表明这种算法是高效的.
关键词
数据库
演绎
数据库
递归查询算法
下载PDF
职称材料
一个适于并行处理的N链递归查询算法
被引量:
3
5
作者
陶世群
陈晓东
《小型微型计算机系统》
CSCD
北大核心
2002年第12期1496-1499,共4页
目前 ,存在两个制约演绎数据库发展的关键问题 ,其一是效率低下 ;其二是现有的查询算法适用范围窄 .针对这两个问题 ,本文介绍了一种应用于
关键词
并行处理
N链递归查询算法
演绎
数据库
数据库
图
分布式
数据库
下载PDF
职称材料
演绎查询语言DQL的设计与实现
被引量:
4
6
作者
怀进鹏
《小型微型计算机系统》
CSCD
北大核心
1992年第3期17-22,52,共7页
本文首先介绍了现有的DDB模型,提出了一种扩充关系的DDB模型,并基于该模型设计并实现了一个演绎数据库系统DQL/DDBS,其中演绎查询语言DQL是一种数据结构独立,非过程化,交互式的自主型语言,并从功能上对DQL进行了分析设计.实验结果表明:...
本文首先介绍了现有的DDB模型,提出了一种扩充关系的DDB模型,并基于该模型设计并实现了一个演绎数据库系统DQL/DDBS,其中演绎查询语言DQL是一种数据结构独立,非过程化,交互式的自主型语言,并从功能上对DQL进行了分析设计.实验结果表明:这种语言是非常有效的,它为用户提供了一个较好的专家系统DDB开发工具.
展开更多
关键词
演绎
数据库
查询语言
DQL语言
下载PDF
职称材料
利用视图技术实现非递归规则的表示与推理
被引量:
4
7
作者
陈晓东
陶世群
《计算机工程》
CAS
CSCD
北大核心
2002年第3期96-98,共3页
介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。
关键词
非递归规则
视图
演绎
数据库
规则依赖图
逻辑
数据
语言
下载PDF
职称材料
演绎数据库的研究与实现
被引量:
4
8
作者
怀进鹏
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1991年第1期70-76,共7页
讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(D...
讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(Deductive Qcerg Language),该系统已建立在IBM PC微型机上,实验结果表明:这种实验方法是行之有效的。
展开更多
关键词
数据库
演绎
数据库
人工智能
下载PDF
职称材料
DSS中模型库的组织
被引量:
1
9
作者
王丽珍
《云南大学学报(自然科学版)》
CAS
CSCD
1994年第4期407-410,共4页
本文通过对决策支持系统中模型库的组织进行形式化的探讨,得出一个模型库可视为一个演绎数据库的结论.并用此结论具体解决了决策支持系统中存在的几个问题.
关键词
决策支持系统
模型
模型库
演绎
数据库
原文传递
一阶逻辑在关系数据库中的应用
被引量:
3
10
作者
伍丽华
钟宏音
《现代计算机》
2002年第3期36-39,共4页
一阶逻辑能唯一地作为关系数据库的统一语言,对关系数据库的可用性很多,本文主要讨论一些利用Prolog语言实现的应用。
关键词
一阶逻辑
关系
数据库
演绎
数据库
PROLOG语言
下载PDF
职称材料
一种新的演绎机制的设计与实现
被引量:
1
11
作者
怀进鹏
郑广顺
+1 位作者
柏晖
赵沁平
《小型微型计算机系统》
CSCD
北大核心
1992年第10期41-48,共8页
本文全面地分析了演绎数据库的实现机制,提出了一种基于关系代数及重写操作的演绎数据库模型,设计并实现了基于该模型的一种新的演绎机制—逻辑与数据库操作相结合的机制。
关键词
演绎
数据库
演绎
机制
下载PDF
职称材料
基于逻辑规则的递归查询之自底向上处理
被引量:
3
12
作者
徐洁磐
范明
《计算机科学》
CSCD
北大核心
1992年第3期48-52,共5页
八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本...
八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本文简略考察逻辑查询自顶向下和自底向上求值的基本思想,比较其相对优缺点,阐述开发自底向上算法的动机,并着重介绍和评述过去五、六年中开发的以魔集为代表的逻辑查询的自底向上算法。
展开更多
关键词
递归查询
自底向上
演绎
数据库
数据库
技术
逻辑规则
查询处理
魔集
求值
无限循环
关系代数
下载PDF
职称材料
搞好数据库教学的探讨
13
作者
鲁振德
汪楠
李淑华
《广西师范大学学报(哲学社会科学版)》
1997年第S1期277-279,共3页
随着计算机技术的不断更新、发展,数据库的教学应注意数据库技术的不断发展,抓住数据模型这条主线,讲清DBMS的三级模式体系结构及所支持的功能,侧重关系数据库理论和实践应用环节.
关键词
数据库
教学
数据库
技术
演绎
数据库
数据
模型
关系
数据库
面向对象
数据库
数据库
应用系统
数据库
系统
网状模型
分布式
数据库
下载PDF
职称材料
数据库进展
14
作者
刘希安
《工矿自动化》
1991年第2期39-42,共4页
本文综述了目前数据库技术研究和发展状况,介绍了目前研究十分活跃的数据库系统的概念、特点及应用领域,最后概述了数据库设计和应用的现状。
关键词
数据库
技术
数据库
系统
数据库
设计
演绎
数据库
面向对象
数据库
RDBMS
工程
数据库
数据库
应用系统
知识库管理系统
应用开发环境
下载PDF
职称材料
拓广的左线性递仅变换算法及其正确性
被引量:
2
15
作者
范明
《软件学报》
EI
CSCD
北大核心
1994年第1期56-61,共6页
本文给出拓广的左线性递归变换算法并证明其正确性.拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化.和左线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法...
本文给出拓广的左线性递归变换算法并证明其正确性.拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化.和左线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性也在本文作简略讨论.
展开更多
关键词
演绎
数据库
线性递归
左线性递归
下载PDF
职称材料
可演绎系统的研究
被引量:
2
16
作者
李磊
J.Kouloumdjian
《计算机科学》
CSCD
北大核心
1993年第3期23-25,共3页
本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。
关键词
可
演绎
系统
演绎
数据库
下载PDF
职称材料
一个演绎数据库原型系统的底层实现
被引量:
1
17
作者
陈栋
袁军
王能斌
《东南大学学报(自然科学版)》
EI
CAS
CSCD
1995年第3期102-106,共5页
演绎数据库查询具有不同于关系数据库查询的特点,因而对底层数据库的实现也提出了更高的要求,本文结合一个演绎数据库原型系统DDS,分析了演绎数据库系统的一些底层实现技术,所介绍的实现技术能很好地支持演绎数据库查询,从而有...
演绎数据库查询具有不同于关系数据库查询的特点,因而对底层数据库的实现也提出了更高的要求,本文结合一个演绎数据库原型系统DDS,分析了演绎数据库系统的一些底层实现技术,所介绍的实现技术能很好地支持演绎数据库查询,从而有利于提高整个系统的效率。
展开更多
关键词
逻辑系统
演绎
数据库
底层
数据库
查询
下载PDF
职称材料
演绎数据库线性递归查询的快速算法
被引量:
2
18
作者
杜小勇
《计算机工程》
CAS
CSCD
北大核心
1989年第1期1-7,共7页
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一...
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一个更加有效的算法,使得算法在重复计算量、选择条件使用、连接运算次数等几个方面都有所改进。提高了这类问题的计算效率。
展开更多
关键词
数据库
递归查寻
演绎
数据库
算法
下载PDF
职称材料
演绎数据库系统dUNIFY的设计与实现
19
作者
徐洁磐
王银根
柏文阳
《计算机学报》
EI
CSCD
北大核心
1994年第3期183-191,共9页
本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发...
本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发CAD的应用.
展开更多
关键词
演绎
数据库
dUNIFY
数据库
设计
下载PDF
职称材料
综述人工智能与数据库技术的结合
被引量:
1
20
作者
顾永跟
《湖州师专学报》
1996年第5期54-59,共6页
人工智能与数据库技术是计算机科学的两大重要领域,越来越多的研究成果表明,这两种技术的相互渗透将会给计算机应用带来更广阔的前景.本文综合论述了人工智能(AI)和数据库(DB)技术结合的重要性和必要性及其目前的研究概况,主要介绍了目...
人工智能与数据库技术是计算机科学的两大重要领域,越来越多的研究成果表明,这两种技术的相互渗透将会给计算机应用带来更广阔的前景.本文综合论述了人工智能(AI)和数据库(DB)技术结合的重要性和必要性及其目前的研究概况,主要介绍了目前AI和DB结合的几个主要研究领域.
展开更多
关键词
人工智能
数据库
演绎
数据库
知识库系统
下载PDF
职称材料
题名
演绎数据库中的语义查询优化方法
被引量:
8
1
作者
陶世群
机构
山西大学计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第5期47-52,共6页
文摘
语义查询优化的目的是使用语义知识来进行有效的查询,以提高查询效率。通过语义编译和语义转换,把一个查询转换成一个或多个更为有效的等价查询。本文介绍在演绎数据库中语义查询优化方法。
关键词
演绎
数据库
语义查询优化
查询优化
数据库
Keywords
Deductive database
Semantic query optimization
Compilation
Transformation
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
PROLOG—DBMS系统实现中的子句间优化技术
被引量:
7
2
作者
李磊
左万历
李希春
机构
中山大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1995年第3期136-141,共6页
基金
霍英东教育基金
文摘
实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取.
关键词
PROLOG语言
数据库
演绎
数据库
子句间优化
Keywords
PROLOG,DBMS,deductive database
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
电网调度管理演绎数据库模型研究与实现
被引量:
3
3
作者
刘青
黄超
谭振宇
程时杰
机构
华中理工大学电力系
出处
《中国电机工程学报》
EI
CSCD
北大核心
1998年第6期405-407,433,共4页
文摘
本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型。介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Windows环境和关系型DBMSFoxpro2.5B实现了该演绎数据库模型,实践表明该实际系统在演绎推理的有效性和可靠性方面都大为提高。
关键词
电网调度
知识表示
演绎
数据库
关系模型
Keywords
deductive database relational model knowledge representation power system
分类号
TM734 [电气工程—电力系统及自动化]
TM769
下载PDF
职称材料
题名
递归查询算法的研究
被引量:
3
4
作者
怀进鹏
机构
北京航空航天大学计算机系
出处
《软件学报》
EI
CSCD
北大核心
1994年第7期44-50,共7页
基金
国家自然科学基金
航空科学基金
文摘
本文介绍了DeDB的递归查询算法,提出为减少冗余及回溯计算的基本原理.根据该原理,提出了一种高效的递归查询算法GCQA,它包括2部分,一是预编译算法;另一个是递归编译算法.实验结果表明这种算法是高效的.
关键词
数据库
演绎
数据库
递归查询算法
Keywords
Artificial intelligence
data base
recursive query
deductive data base.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个适于并行处理的N链递归查询算法
被引量:
3
5
作者
陶世群
陈晓东
机构
山西大学计算机科学系
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第12期1496-1499,共4页
基金
山西省自然科学基金 ( 9710 2 9)资助
文摘
目前 ,存在两个制约演绎数据库发展的关键问题 ,其一是效率低下 ;其二是现有的查询算法适用范围窄 .针对这两个问题 ,本文介绍了一种应用于
关键词
并行处理
N链递归查询算法
演绎
数据库
数据库
图
分布式
数据库
Keywords
database digraph
N-chain recursion
recursive expansion
query-graph.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎查询语言DQL的设计与实现
被引量:
4
6
作者
怀进鹏
机构
北京航空航天大学计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
1992年第3期17-22,52,共7页
基金
航空科学基金
文摘
本文首先介绍了现有的DDB模型,提出了一种扩充关系的DDB模型,并基于该模型设计并实现了一个演绎数据库系统DQL/DDBS,其中演绎查询语言DQL是一种数据结构独立,非过程化,交互式的自主型语言,并从功能上对DQL进行了分析设计.实验结果表明:这种语言是非常有效的,它为用户提供了一个较好的专家系统DDB开发工具.
关键词
演绎
数据库
查询语言
DQL语言
Keywords
Deductive data base, query language, knowledge base, inference artificial intelligence, data base.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
利用视图技术实现非递归规则的表示与推理
被引量:
4
7
作者
陈晓东
陶世群
机构
山西大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第3期96-98,共3页
基金
山西省自然科学基金项目(971029)
文摘
介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。
关键词
非递归规则
视图
演绎
数据库
规则依赖图
逻辑
数据
语言
Keywords
Datalog data modelRule modulePermanent virtual relation and temporary virtual relationRule reliant graph
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
演绎数据库的研究与实现
被引量:
4
8
作者
怀进鹏
机构
北京航空航天大学计算机科学与工程系
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1991年第1期70-76,共7页
文摘
讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(Deductive Qcerg Language),该系统已建立在IBM PC微型机上,实验结果表明:这种实验方法是行之有效的。
关键词
数据库
演绎
数据库
人工智能
Keywords
deductive date base,artificial intelligence,date base,knowledge base,inference machine.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
DSS中模型库的组织
被引量:
1
9
作者
王丽珍
机构
云南大学计算机科学系
出处
《云南大学学报(自然科学版)》
CAS
CSCD
1994年第4期407-410,共4页
文摘
本文通过对决策支持系统中模型库的组织进行形式化的探讨,得出一个模型库可视为一个演绎数据库的结论.并用此结论具体解决了决策支持系统中存在的几个问题.
关键词
决策支持系统
模型
模型库
演绎
数据库
Keywords
decision support system,model,model base,deductive database
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
TP391 [自动化与计算机技术—计算机科学与技术]
原文传递
题名
一阶逻辑在关系数据库中的应用
被引量:
3
10
作者
伍丽华
钟宏音
机构
中山大学数学与计算科学学院
广州新华通风设备厂
出处
《现代计算机》
2002年第3期36-39,共4页
文摘
一阶逻辑能唯一地作为关系数据库的统一语言,对关系数据库的可用性很多,本文主要讨论一些利用Prolog语言实现的应用。
关键词
一阶逻辑
关系
数据库
演绎
数据库
PROLOG语言
Keywords
First-order Logic
Deductive Database
Prolog
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种新的演绎机制的设计与实现
被引量:
1
11
作者
怀进鹏
郑广顺
柏晖
赵沁平
机构
北京航空航天大学计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
1992年第10期41-48,共8页
基金
本文得到国家自然科学基金
文摘
本文全面地分析了演绎数据库的实现机制,提出了一种基于关系代数及重写操作的演绎数据库模型,设计并实现了基于该模型的一种新的演绎机制—逻辑与数据库操作相结合的机制。
关键词
演绎
数据库
演绎
机制
Keywords
Relational data base, relational algebra, deductive data base, artificial
intelligence, knowledge base, deductive mechanism
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于逻辑规则的递归查询之自底向上处理
被引量:
3
12
作者
徐洁磐
范明
机构
南京大学计算机系
郑州大学计算机系
出处
《计算机科学》
CSCD
北大核心
1992年第3期48-52,共5页
文摘
八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本文简略考察逻辑查询自顶向下和自底向上求值的基本思想,比较其相对优缺点,阐述开发自底向上算法的动机,并着重介绍和评述过去五、六年中开发的以魔集为代表的逻辑查询的自底向上算法。
关键词
递归查询
自底向上
演绎
数据库
数据库
技术
逻辑规则
查询处理
魔集
求值
无限循环
关系代数
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
搞好数据库教学的探讨
13
作者
鲁振德
汪楠
李淑华
机构
东北大学计算机系
出处
《广西师范大学学报(哲学社会科学版)》
1997年第S1期277-279,共3页
文摘
随着计算机技术的不断更新、发展,数据库的教学应注意数据库技术的不断发展,抓住数据模型这条主线,讲清DBMS的三级模式体系结构及所支持的功能,侧重关系数据库理论和实践应用环节.
关键词
数据库
教学
数据库
技术
演绎
数据库
数据
模型
关系
数据库
面向对象
数据库
数据库
应用系统
数据库
系统
网状模型
分布式
数据库
分类号
TP311-4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
数据库进展
14
作者
刘希安
机构
徐州矿务局通讯计算机处
出处
《工矿自动化》
1991年第2期39-42,共4页
文摘
本文综述了目前数据库技术研究和发展状况,介绍了目前研究十分活跃的数据库系统的概念、特点及应用领域,最后概述了数据库设计和应用的现状。
关键词
数据库
技术
数据库
系统
数据库
设计
演绎
数据库
面向对象
数据库
RDBMS
工程
数据库
数据库
应用系统
知识库管理系统
应用开发环境
分类号
TP1 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
拓广的左线性递仅变换算法及其正确性
被引量:
2
15
作者
范明
机构
郑州大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1994年第1期56-61,共6页
基金
河南省优秀中青年教师奖励基金
文摘
本文给出拓广的左线性递归变换算法并证明其正确性.拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化.和左线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性也在本文作简略讨论.
关键词
演绎
数据库
线性递归
左线性递归
Keywords
Deductive database
query processing
linear recursion
left - linear recursion.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
可演绎系统的研究
被引量:
2
16
作者
李磊
J.Kouloumdjian
机构
中山大学岭南学院计算机系
INSA 信息科学实验室
出处
《计算机科学》
CSCD
北大核心
1993年第3期23-25,共3页
文摘
本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。
关键词
可
演绎
系统
演绎
数据库
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个演绎数据库原型系统的底层实现
被引量:
1
17
作者
陈栋
袁军
王能斌
机构
东南大学计算机科学与工程系
出处
《东南大学学报(自然科学版)》
EI
CAS
CSCD
1995年第3期102-106,共5页
基金
国防科工委八五项目资助。
文摘
演绎数据库查询具有不同于关系数据库查询的特点,因而对底层数据库的实现也提出了更高的要求,本文结合一个演绎数据库原型系统DDS,分析了演绎数据库系统的一些底层实现技术,所介绍的实现技术能很好地支持演绎数据库查询,从而有利于提高整个系统的效率。
关键词
逻辑系统
演绎
数据库
底层
数据库
查询
Keywords
optimization
relational database
logic systems /deductive database
large join
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库线性递归查询的快速算法
被引量:
2
18
作者
杜小勇
机构
中国人民大学
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第1期1-7,共7页
文摘
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一个更加有效的算法,使得算法在重复计算量、选择条件使用、连接运算次数等几个方面都有所改进。提高了这类问题的计算效率。
关键词
数据库
递归查寻
演绎
数据库
算法
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
演绎数据库系统dUNIFY的设计与实现
19
作者
徐洁磐
王银根
柏文阳
机构
南京大学计算机科学系
出处
《计算机学报》
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
20
作者
顾永跟
机构
上海交大计算机系
出处
《湖州师专学报》
1996年第5期54-59,共6页
文摘
人工智能与数据库技术是计算机科学的两大重要领域,越来越多的研究成果表明,这两种技术的相互渗透将会给计算机应用带来更广阔的前景.本文综合论述了人工智能(AI)和数据库(DB)技术结合的重要性和必要性及其目前的研究概况,主要介绍了目前AI和DB结合的几个主要研究领域.
关键词
人工智能
数据库
演绎
数据库
知识库系统
Keywords
artificial intelligence, data base, expert database system, deduce data base, knowl-edge base system, active database
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
TP311.13 [自动化与计算机技术—控制科学与工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
演绎数据库中的语义查询优化方法
陶世群
《小型微型计算机系统》
CSCD
北大核心
1996
8
下载PDF
职称材料
2
PROLOG—DBMS系统实现中的子句间优化技术
李磊
左万历
李希春
《软件学报》
EI
CSCD
北大核心
1995
7
下载PDF
职称材料
3
电网调度管理演绎数据库模型研究与实现
刘青
黄超
谭振宇
程时杰
《中国电机工程学报》
EI
CSCD
北大核心
1998
3
下载PDF
职称材料
4
递归查询算法的研究
怀进鹏
《软件学报》
EI
CSCD
北大核心
1994
3
下载PDF
职称材料
5
一个适于并行处理的N链递归查询算法
陶世群
陈晓东
《小型微型计算机系统》
CSCD
北大核心
2002
3
下载PDF
职称材料
6
演绎查询语言DQL的设计与实现
怀进鹏
《小型微型计算机系统》
CSCD
北大核心
1992
4
下载PDF
职称材料
7
利用视图技术实现非递归规则的表示与推理
陈晓东
陶世群
《计算机工程》
CAS
CSCD
北大核心
2002
4
下载PDF
职称材料
8
演绎数据库的研究与实现
怀进鹏
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1991
4
下载PDF
职称材料
9
DSS中模型库的组织
王丽珍
《云南大学学报(自然科学版)》
CAS
CSCD
1994
1
原文传递
10
一阶逻辑在关系数据库中的应用
伍丽华
钟宏音
《现代计算机》
2002
3
下载PDF
职称材料
11
一种新的演绎机制的设计与实现
怀进鹏
郑广顺
柏晖
赵沁平
《小型微型计算机系统》
CSCD
北大核心
1992
1
下载PDF
职称材料
12
基于逻辑规则的递归查询之自底向上处理
徐洁磐
范明
《计算机科学》
CSCD
北大核心
1992
3
下载PDF
职称材料
13
搞好数据库教学的探讨
鲁振德
汪楠
李淑华
《广西师范大学学报(哲学社会科学版)》
1997
0
下载PDF
职称材料
14
数据库进展
刘希安
《工矿自动化》
1991
0
下载PDF
职称材料
15
拓广的左线性递仅变换算法及其正确性
范明
《软件学报》
EI
CSCD
北大核心
1994
2
下载PDF
职称材料
16
可演绎系统的研究
李磊
J.Kouloumdjian
《计算机科学》
CSCD
北大核心
1993
2
下载PDF
职称材料
17
一个演绎数据库原型系统的底层实现
陈栋
袁军
王能斌
《东南大学学报(自然科学版)》
EI
CAS
CSCD
1995
1
下载PDF
职称材料
18
演绎数据库线性递归查询的快速算法
杜小勇
《计算机工程》
CAS
CSCD
北大核心
1989
2
下载PDF
职称材料
19
演绎数据库系统dUNIFY的设计与实现
徐洁磐
王银根
柏文阳
《计算机学报》
EI
CSCD
北大核心
1994
0
下载PDF
职称材料
20
综述人工智能与数据库技术的结合
顾永跟
《湖州师专学报》
1996
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
6
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部