期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
119
篇文章
<
1
2
…
6
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
电网调度管理演绎数据库模型研究与实现
被引量:
3
1
作者
刘青
黄超
+1 位作者
谭振宇
程时杰
《中国电机工程学报》
EI
CSCD
北大核心
1998年第6期405-407,433,共4页
本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型。介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Windows环境和关系型DBMS...
本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型。介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Windows环境和关系型DBMSFoxpro2.5B实现了该演绎数据库模型,实践表明该实际系统在演绎推理的有效性和可靠性方面都大为提高。
展开更多
关键词
电网调度
知识表示
演绎
数据库
关系模型
下载PDF
职称材料
基于SQL Server的演绎数据库系统
被引量:
7
2
作者
陶世群
原锦辉
《计算机工程》
CAS
CSCD
北大核心
2001年第3期33-34,共2页
分析了演绎数据库的理论基础和实现机制,重点介绍设计和实现的基于SQL Server的演绎数据库系统,对系统进行了分析和评价.
关键词
演绎
数据库
系统
SQL
SERVER
人工智能
数学模型
下载PDF
职称材料
演绎数据库系统SD-DDBS的设计与实现
被引量:
6
3
作者
陶世群
陈晓东
《计算机工程与应用》
CSCD
北大核心
2002年第18期207-209,共3页
主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。
关键词
演绎
数据库
系统
SD-DDBS
设计
推理机
递归查询
规则库
人工智能
下载PDF
职称材料
一种演绎数据库系统的设计与实现
被引量:
1
4
作者
常晋义
陶世群
邓超
《北京工业大学学报》
CAS
CSCD
北大核心
2004年第4期505-509,共5页
为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器...
为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.
展开更多
关键词
演绎
数据库
推理机
递归查询
规则集
完整性维护
下载PDF
职称材料
一个演绎对象数据库SD-DOOD的设计与实现
被引量:
2
5
作者
陶世群
原锦辉
《计算机工程与设计》
CSCD
2004年第12期2194-2197,共4页
通过探寻面向对象数据库与知识库技术相结合的途径,研究演绎对象数据库系统实现的关键技术。以基于演绎数据库系统SD-DDBS,设计实现了一个演绎对象数据库系统原型SD-DOOD。系统支持类,类层次、对象、属性、方法、继承和封装等面向对象...
通过探寻面向对象数据库与知识库技术相结合的途径,研究演绎对象数据库系统实现的关键技术。以基于演绎数据库系统SD-DDBS,设计实现了一个演绎对象数据库系统原型SD-DOOD。系统支持类,类层次、对象、属性、方法、继承和封装等面向对象数据库系统的核心概念,支持演绎对象等演绎数据库的概念,提供了图形用户接口(GUI),便于用户进行创建、查询等操作。
展开更多
关键词
演绎
数据库
类层次
面向对象
数据库
系统
GUI
图形用户接口
查询
设计实现
支持
途径
概念
下载PDF
职称材料
演绎对象数据库中基于行为规则的继承方法
被引量:
3
6
作者
李素清
陶世群
《计算机应用》
CSCD
北大核心
2004年第11期91-93,共3页
在演绎对象数据库的研究和发展过程中,仍有两个重要的问题未能很好的解决:非单调的多值结构和行为规则的继承;基于规则的行为的封装。针对前一个问题,文中提出了几种解决的方法。特别是提出了一种新的继承方法———行为继承的回退,以...
在演绎对象数据库的研究和发展过程中,仍有两个重要的问题未能很好的解决:非单调的多值结构和行为规则的继承;基于规则的行为的封装。针对前一个问题,文中提出了几种解决的方法。特别是提出了一种新的继承方法———行为继承的回退,以获得更多的信息。通过一个数据库实例以及对它的查询,进一步说明这些继承的思想。
展开更多
关键词
演绎
对象
数据库
继承
回退
实例
下载PDF
职称材料
演绎数据库中的语义查询优化方法
被引量:
8
7
作者
陶世群
《小型微型计算机系统》
CSCD
北大核心
1996年第5期47-52,共6页
语义查询优化的目的是使用语义知识来进行有效的查询,以提高查询效率。通过语义编译和语义转换,把一个查询转换成一个或多个更为有效的等价查询。本文介绍在演绎数据库中语义查询优化方法。
关键词
演绎
数据库
语义查询优化
查询优化
数据库
下载PDF
职称材料
一个基于规则的CAD演绎数据库逻辑语言
被引量:
1
8
作者
郑卫东
郭玉钗
林宗楷
《计算机工程与应用》
CSCD
北大核心
1992年第5期44-48,共5页
传统的工程数据库系统缺乏说明性语义,使用困难,难以描述设计中大量存在的复杂设计约束,不能表示和处理知识。为了解决这些问题,本文试图将演绎数据库技术引入到工程数据的管理和处理中。本文探讨了工程信息的逻辑表示,描述了一种基于...
传统的工程数据库系统缺乏说明性语义,使用困难,难以描述设计中大量存在的复杂设计约束,不能表示和处理知识。为了解决这些问题,本文试图将演绎数据库技术引入到工程数据的管理和处理中。本文探讨了工程信息的逻辑表示,描述了一种基于规则的逻辑语言,它能方便地表示和处理复杂对象和工程知识,并能有效地表示和验证语义约束条件。基于这种语言的一个CAD演绎数据库管理系统DEDBMS正在实现中。
展开更多
关键词
CAD
演绎
数据库
逻辑语言
下载PDF
职称材料
演绎数据库和逻辑程序中的否定
被引量:
1
9
作者
周傲英
施伯乐
《计算机科学》
CSCD
北大核心
1996年第5期14-17,共4页
演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃...
演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.
展开更多
关键词
演绎
数据库
逻辑程序
数据库
下载PDF
职称材料
演绎数据库中规则维护器的设计与实现
被引量:
1
10
作者
陶世群
陈晓东
《计算机工程与设计》
CSCD
2002年第11期36-38,共3页
完整性维护是演绎数据库管理中的重要组成部分。首先给出演绎数据库系统的总体结构,然后重点介绍规则维护器的设计和实现,并阐述了规则操纵中完整性维护的基本算法。
关键词
演绎
数据库
规则维护器
设计
完整性维护
数据库
系统
下载PDF
职称材料
演绎数据库的研究与实现
被引量:
4
11
作者
怀进鹏
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1991年第1期70-76,共7页
讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(D...
讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(Deductive Qcerg Language),该系统已建立在IBM PC微型机上,实验结果表明:这种实验方法是行之有效的。
展开更多
关键词
数据库
演绎
数据库
人工智能
下载PDF
职称材料
演绎数据库技术在网络管理中的应用
被引量:
1
12
作者
熊莺
梁意文
《计算机工程与应用》
CSCD
北大核心
2000年第2期116-119,共4页
当今计算机网络的规模日趋扩大,网络的结构日趋复杂,致使网络管理系统必须具有较高的智能性。在这样的网管系统中大量的数据处理,以及运用在数据处理上的规则是两个最基本的要素,而演绎数据库为实现这些基本要素的功能提供了技术途...
当今计算机网络的规模日趋扩大,网络的结构日趋复杂,致使网络管理系统必须具有较高的智能性。在这样的网管系统中大量的数据处理,以及运用在数据处理上的规则是两个最基本的要素,而演绎数据库为实现这些基本要素的功能提供了技术途径。 文章论述了网管系统的基本功能,网络协议及网管信息库MIB。探讨了演绎数据库设计的ERC+方法,并给出了应用实例。另外文章还就演绎数据库对网管应用的适应性进行了分析。这对于网络系统的设计与维护都是十分有益的。
展开更多
关键词
演绎
数据库
网络管理
网络管理协议
计算机网络
下载PDF
职称材料
演绎的面向对象数据库
被引量:
1
13
作者
施伯乐
周傲英
《计算机应用》
CSCD
1995年第3期1-5,共5页
本文回顾了演绎数据库(DeDB)和面向对象数据库(OODB)的发展历史,综述了已取得的主要成果,讨论了研究的主要特征、存在的问题以及未来的发展方向。在此基础上,本文着重论述了演绎的面向对象数据库(DOOD)作为集成D...
本文回顾了演绎数据库(DeDB)和面向对象数据库(OODB)的发展历史,综述了已取得的主要成果,讨论了研究的主要特征、存在的问题以及未来的发展方向。在此基础上,本文着重论述了演绎的面向对象数据库(DOOD)作为集成DeDB和OODB理论和技术的新领域所涉及到的值得进一步的问题、目前采用的方法和取得的成果。此外,本文还讨论了DOOD系统开发的技术可能性,分析了实现DOOD系统的各种途径的可行性和技术关键。
展开更多
关键词
演绎
数据库
面向对象
数据库
下载PDF
职称材料
演绎数据库线性递归查询的快速算法
被引量:
2
14
作者
杜小勇
《计算机工程》
CAS
CSCD
北大核心
1989年第1期1-7,共7页
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一...
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一个更加有效的算法,使得算法在重复计算量、选择条件使用、连接运算次数等几个方面都有所改进。提高了这类问题的计算效率。
展开更多
关键词
数据库
递归查寻
演绎
数据库
算法
下载PDF
职称材料
关于在演绎数据库系统研究中引入一种新的关系的一些探讨
被引量:
1
15
作者
徐洁磐
《软件学报》
EI
CSCD
北大核心
1994年第12期17-23,共7页
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系.虚—实关系集成了实关系与虚关系的一些优点,克服了它们的一些缺点,在演绎数据库系统中它具有特别的性质.将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系...
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系.虚—实关系集成了实关系与虚关系的一些优点,克服了它们的一些缺点,在演绎数据库系统中它具有特别的性质.将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能.目前,虚—实关系已在SUN—3工作站上的演绎数据库系统UNIFY中实现并正在用于CAD图形领域中.
展开更多
关键词
演绎
数据库
实关系
虚关系
演绎
推理
下载PDF
职称材料
析取演绎数据库否定信息的推理规则
被引量:
1
16
作者
余金山
《华侨大学学报(自然科学版)》
CAS
1999年第3期303-307,共5页
引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力、支持常识推理和非单调推理的有效的、重要的措施.但是该类问题的处理又是困难的,至今尚无满意的解决办法.其难点之一可表述为“如何从析取演绎数据...
引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力、支持常识推理和非单调推理的有效的、重要的措施.但是该类问题的处理又是困难的,至今尚无满意的解决办法.其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”.首先,给出一种关于否定信息推理规则的评价准则,并用该准则分析比较已有的若干相关规则.然后,再给出一种不同的推理规则,并证明它的一些重要性质.这些性质指出。
展开更多
关键词
演绎
数据库
析取
数据库
逻辑程序
否定信息
下载PDF
职称材料
演绎数据库系统中推理机的设计与实现
17
作者
常晋义
陶世群
郑成增
《计算机工程》
CAS
CSCD
北大核心
2002年第11期134-136,共3页
演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术,并对推理机的运行机制进行了分析。
关键词
演绎
数据库
系统
推理机
设计
递归查询
线性递归逻辑程序
约束模型
下载PDF
职称材料
演绎数据库系统dUNIFY的设计与实现
18
作者
徐洁磐
王银根
柏文阳
《计算机学报》
EI
CSCD
北大核心
1994年第3期183-191,共9页
本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发...
本文探讨与实现一个演绎数据库系统dUNIFY.dUNIFY以小型、实用为其设计目标.文章提出了一些新的见解与实现技术,从而使dUNIFY具有查询速度快、占用空间少的特点,并有一定功能.目前,我们正在用dUNIFY开发CAD的应用.
展开更多
关键词
演绎
数据库
dUNIFY
数据库
设计
下载PDF
职称材料
分布式演绎数据库系统
19
作者
郑振楣
石树刚
+1 位作者
余卫东
朱友祯
《计算机工程与应用》
CSCD
北大核心
1992年第5期39-44,共6页
本文讨论基于分布式数据库的分布式演绎数据库系统,利用逻辑语言具有表示知识和推理的能力,将其与具有分布处理信息的数据库结合在一起,可以大大地提高演绎查询效率,使信息处理具有初步的智能,本文给出该系统的总体结构及分布演绎的目...
本文讨论基于分布式数据库的分布式演绎数据库系统,利用逻辑语言具有表示知识和推理的能力,将其与具有分布处理信息的数据库结合在一起,可以大大地提高演绎查询效率,使信息处理具有初步的智能,本文给出该系统的总体结构及分布演绎的目标以及维护演绎规则完整性等问题,该系统在32位超微机上实施。
展开更多
关键词
演绎
数据库
分布式
下载PDF
职称材料
一个面向CAD/CAM的演绎数据库管理系统
20
作者
郑卫东
林宗楷
郭玉钗
《计算机辅助设计与图形学学报》
EI
CSCD
1994年第4期290-295,共6页
演绎数据库管理系统DEDBMS是工程数据库管理系统EDBMS/2中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。DEDBMS系统的开发,使EDBMS/2不仅具有工程数据据管理功能,而且具有数据演...
演绎数据库管理系统DEDBMS是工程数据库管理系统EDBMS/2中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。DEDBMS系统的开发,使EDBMS/2不仅具有工程数据据管理功能,而且具有数据演绎和知识处理能力,从而成为CAD/CAM系统集成化和智能化的有力支撑工具。
展开更多
关键词
演绎
数据库
管理系统
CAD
CAM
下载PDF
职称材料
题名
电网调度管理演绎数据库模型研究与实现
被引量:
3
1
作者
刘青
黄超
谭振宇
程时杰
机构
华中理工大学电力系
出处
《中国电机工程学报》
EI
CSCD
北大核心
1998年第6期405-407,433,共4页
文摘
本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型。介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Windows环境和关系型DBMSFoxpro2.5B实现了该演绎数据库模型,实践表明该实际系统在演绎推理的有效性和可靠性方面都大为提高。
关键词
电网调度
知识表示
演绎
数据库
关系模型
Keywords
deductive database relational model knowledge representation power system
分类号
TM734 [电气工程—电力系统及自动化]
TM769 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
基于SQL Server的演绎数据库系统
被引量:
7
2
作者
陶世群
原锦辉
机构
山西大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第3期33-34,共2页
基金
山西省自然科学基金项目(971029)
文摘
分析了演绎数据库的理论基础和实现机制,重点介绍设计和实现的基于SQL Server的演绎数据库系统,对系统进行了分析和评价.
关键词
演绎
数据库
系统
SQL
SERVER
人工智能
数学模型
Keywords
Deductive database(DDB)
Implement mechanism
Deductive query language
System structure
Knowledge base
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库系统SD-DDBS的设计与实现
被引量:
6
3
作者
陶世群
陈晓东
机构
山西大学计算机科学系
出处
《计算机工程与应用》
CSCD
北大核心
2002年第18期207-209,共3页
基金
山西省自然科学基金(编号:971029)
文摘
主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。
关键词
演绎
数据库
系统
SD-DDBS
设计
推理机
递归查询
规则库
人工智能
Keywords
Deductive database,reasonal machine,recursive query,rule base
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
一种演绎数据库系统的设计与实现
被引量:
1
4
作者
常晋义
陶世群
邓超
机构
常熟理工学院计算机科学与工程系
山西大学计算机科学系
出处
《北京工业大学学报》
CAS
CSCD
北大核心
2004年第4期505-509,共5页
基金
江苏省教育厅自然科学基金资助项目(00KJD520007).
文摘
为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.
关键词
演绎
数据库
推理机
递归查询
规则集
完整性维护
Keywords
deductive database
reasoning machine
recursive query
rule set
integrality vindication
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个演绎对象数据库SD-DOOD的设计与实现
被引量:
2
5
作者
陶世群
原锦辉
机构
山西大学 计算机科学系
信息工程大学 电子技术学院
出处
《计算机工程与设计》
CSCD
2004年第12期2194-2197,共4页
基金
山西省自然科学基金项目(971029)
文摘
通过探寻面向对象数据库与知识库技术相结合的途径,研究演绎对象数据库系统实现的关键技术。以基于演绎数据库系统SD-DDBS,设计实现了一个演绎对象数据库系统原型SD-DOOD。系统支持类,类层次、对象、属性、方法、继承和封装等面向对象数据库系统的核心概念,支持演绎对象等演绎数据库的概念,提供了图形用户接口(GUI),便于用户进行创建、查询等操作。
关键词
演绎
数据库
类层次
面向对象
数据库
系统
GUI
图形用户接口
查询
设计实现
支持
途径
概念
Keywords
deductive object-oriented database
derived classes
object identity
class hierarchy
design and implementation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
G250 [文化科学—图书馆学]
下载PDF
职称材料
题名
演绎对象数据库中基于行为规则的继承方法
被引量:
3
6
作者
李素清
陶世群
机构
山西大学计算机与信息技术学院
出处
《计算机应用》
CSCD
北大核心
2004年第11期91-93,共3页
文摘
在演绎对象数据库的研究和发展过程中,仍有两个重要的问题未能很好的解决:非单调的多值结构和行为规则的继承;基于规则的行为的封装。针对前一个问题,文中提出了几种解决的方法。特别是提出了一种新的继承方法———行为继承的回退,以获得更多的信息。通过一个数据库实例以及对它的查询,进一步说明这些继承的思想。
关键词
演绎
对象
数据库
继承
回退
实例
Keywords
deductive object-oriented database
inheritance
turn back
instance
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库中的语义查询优化方法
被引量:
8
7
作者
陶世群
机构
山西大学计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第5期47-52,共6页
文摘
语义查询优化的目的是使用语义知识来进行有效的查询,以提高查询效率。通过语义编译和语义转换,把一个查询转换成一个或多个更为有效的等价查询。本文介绍在演绎数据库中语义查询优化方法。
关键词
演绎
数据库
语义查询优化
查询优化
数据库
Keywords
Deductive database
Semantic query optimization
Compilation
Transformation
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个基于规则的CAD演绎数据库逻辑语言
被引量:
1
8
作者
郑卫东
郭玉钗
林宗楷
机构
中国科学院计算技术研究所CAD开放实验室
出处
《计算机工程与应用》
CSCD
北大核心
1992年第5期44-48,共5页
文摘
传统的工程数据库系统缺乏说明性语义,使用困难,难以描述设计中大量存在的复杂设计约束,不能表示和处理知识。为了解决这些问题,本文试图将演绎数据库技术引入到工程数据的管理和处理中。本文探讨了工程信息的逻辑表示,描述了一种基于规则的逻辑语言,它能方便地表示和处理复杂对象和工程知识,并能有效地表示和验证语义约束条件。基于这种语言的一个CAD演绎数据库管理系统DEDBMS正在实现中。
关键词
CAD
演绎
数据库
逻辑语言
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
演绎数据库和逻辑程序中的否定
被引量:
1
9
作者
周傲英
施伯乐
机构
复旦大学计算机科学系
出处
《计算机科学》
CSCD
北大核心
1996年第5期14-17,共4页
文摘
演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.
关键词
演绎
数据库
逻辑程序
数据库
Keywords
Deductive database,Logic Program,Negation.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库中规则维护器的设计与实现
被引量:
1
10
作者
陶世群
陈晓东
机构
山西大学计算机科学系
出处
《计算机工程与设计》
CSCD
2002年第11期36-38,共3页
基金
山西省自然科学基金资助项目(971029)
文摘
完整性维护是演绎数据库管理中的重要组成部分。首先给出演绎数据库系统的总体结构,然后重点介绍规则维护器的设计和实现,并阐述了规则操纵中完整性维护的基本算法。
关键词
演绎
数据库
规则维护器
设计
完整性维护
数据库
系统
Keywords
deductive database
rule
integrity constraint
design
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库的研究与实现
被引量:
4
11
作者
怀进鹏
机构
北京航空航天大学计算机科学与工程系
出处
《北京航空航天大学学报》
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
职称材料
题名
演绎数据库技术在网络管理中的应用
被引量:
1
12
作者
熊莺
梁意文
机构
武汉大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2000年第2期116-119,共4页
文摘
当今计算机网络的规模日趋扩大,网络的结构日趋复杂,致使网络管理系统必须具有较高的智能性。在这样的网管系统中大量的数据处理,以及运用在数据处理上的规则是两个最基本的要素,而演绎数据库为实现这些基本要素的功能提供了技术途径。 文章论述了网管系统的基本功能,网络协议及网管信息库MIB。探讨了演绎数据库设计的ERC+方法,并给出了应用实例。另外文章还就演绎数据库对网管应用的适应性进行了分析。这对于网络系统的设计与维护都是十分有益的。
关键词
演绎
数据库
网络管理
网络管理协议
计算机网络
Keywords
Deductive Database, Network Management System, Network Management Protocol, MIB, ERC+ Method
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎的面向对象数据库
被引量:
1
13
作者
施伯乐
周傲英
机构
复旦大学计算机系
出处
《计算机应用》
CSCD
1995年第3期1-5,共5页
基金
"中法先进科技合作计划"的资助
文摘
本文回顾了演绎数据库(DeDB)和面向对象数据库(OODB)的发展历史,综述了已取得的主要成果,讨论了研究的主要特征、存在的问题以及未来的发展方向。在此基础上,本文着重论述了演绎的面向对象数据库(DOOD)作为集成DeDB和OODB理论和技术的新领域所涉及到的值得进一步的问题、目前采用的方法和取得的成果。此外,本文还讨论了DOOD系统开发的技术可能性,分析了实现DOOD系统的各种途径的可行性和技术关键。
关键词
演绎
数据库
面向对象
数据库
Keywords
Deductive database
Object-oriented database
Deductive object-oriented database
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库线性递归查询的快速算法
被引量:
2
14
作者
杜小勇
机构
中国人民大学
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第1期1-7,共7页
文摘
递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一个更加有效的算法,使得算法在重复计算量、选择条件使用、连接运算次数等几个方面都有所改进。提高了这类问题的计算效率。
关键词
数据库
递归查寻
演绎
数据库
算法
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
关于在演绎数据库系统研究中引入一种新的关系的一些探讨
被引量:
1
15
作者
徐洁磐
机构
南京大学计算机系
出处
《软件学报》
EI
CSCD
北大核心
1994年第12期17-23,共7页
文摘
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系.虚—实关系集成了实关系与虚关系的一些优点,克服了它们的一些缺点,在演绎数据库系统中它具有特别的性质.将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能.目前,虚—实关系已在SUN—3工作站上的演绎数据库系统UNIFY中实现并正在用于CAD图形领域中.
关键词
演绎
数据库
实关系
虚关系
演绎
推理
Keywords
Deductive database, virtual-real relation, dUNIFY.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
析取演绎数据库否定信息的推理规则
被引量:
1
16
作者
余金山
机构
华侨大学计算机科学系
出处
《华侨大学学报(自然科学版)》
CAS
1999年第3期303-307,共5页
基金
福建省自然科学基金
文摘
引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力、支持常识推理和非单调推理的有效的、重要的措施.但是该类问题的处理又是困难的,至今尚无满意的解决办法.其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”.首先,给出一种关于否定信息推理规则的评价准则,并用该准则分析比较已有的若干相关规则.然后,再给出一种不同的推理规则,并证明它的一些重要性质.这些性质指出。
关键词
演绎
数据库
析取
数据库
逻辑程序
否定信息
Keywords
deductive database,disjunctive database,negation,reasoning,logic program
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库系统中推理机的设计与实现
17
作者
常晋义
陶世群
郑成增
机构
常熟高等专科学校计算机系
山西大学计算机科学系
常州工学院计算机系
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第11期134-136,共3页
文摘
演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术,并对推理机的运行机制进行了分析。
关键词
演绎
数据库
系统
推理机
设计
递归查询
线性递归逻辑程序
约束模型
Keywords
Deductive database
Deductive machine
Recursive query
Linear recursive logic program
Constrain model
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
演绎数据库系统dUNIFY的设计与实现
18
作者
徐洁磐
王银根
柏文阳
机构
南京大学计算机科学系
出处
《计算机学报》
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
职称材料
题名
分布式演绎数据库系统
19
作者
郑振楣
石树刚
余卫东
朱友祯
机构
武汉大学
出处
《计算机工程与应用》
CSCD
北大核心
1992年第5期39-44,共6页
文摘
本文讨论基于分布式数据库的分布式演绎数据库系统,利用逻辑语言具有表示知识和推理的能力,将其与具有分布处理信息的数据库结合在一起,可以大大地提高演绎查询效率,使信息处理具有初步的智能,本文给出该系统的总体结构及分布演绎的目标以及维护演绎规则完整性等问题,该系统在32位超微机上实施。
关键词
演绎
数据库
分布式
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个面向CAD/CAM的演绎数据库管理系统
20
作者
郑卫东
林宗楷
郭玉钗
机构
中国科学院计算技术研究所CAD开放实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
1994年第4期290-295,共6页
基金
国家科委863高科技项目
文摘
演绎数据库管理系统DEDBMS是工程数据库管理系统EDBMS/2中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。DEDBMS系统的开发,使EDBMS/2不仅具有工程数据据管理功能,而且具有数据演绎和知识处理能力,从而成为CAD/CAM系统集成化和智能化的有力支撑工具。
关键词
演绎
数据库
管理系统
CAD
CAM
Keywords
engineering database, deductive database,production rule, intelligent CAD/CAM.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
电网调度管理演绎数据库模型研究与实现
刘青
黄超
谭振宇
程时杰
《中国电机工程学报》
EI
CSCD
北大核心
1998
3
下载PDF
职称材料
2
基于SQL Server的演绎数据库系统
陶世群
原锦辉
《计算机工程》
CAS
CSCD
北大核心
2001
7
下载PDF
职称材料
3
演绎数据库系统SD-DDBS的设计与实现
陶世群
陈晓东
《计算机工程与应用》
CSCD
北大核心
2002
6
下载PDF
职称材料
4
一种演绎数据库系统的设计与实现
常晋义
陶世群
邓超
《北京工业大学学报》
CAS
CSCD
北大核心
2004
1
下载PDF
职称材料
5
一个演绎对象数据库SD-DOOD的设计与实现
陶世群
原锦辉
《计算机工程与设计》
CSCD
2004
2
下载PDF
职称材料
6
演绎对象数据库中基于行为规则的继承方法
李素清
陶世群
《计算机应用》
CSCD
北大核心
2004
3
下载PDF
职称材料
7
演绎数据库中的语义查询优化方法
陶世群
《小型微型计算机系统》
CSCD
北大核心
1996
8
下载PDF
职称材料
8
一个基于规则的CAD演绎数据库逻辑语言
郑卫东
郭玉钗
林宗楷
《计算机工程与应用》
CSCD
北大核心
1992
1
下载PDF
职称材料
9
演绎数据库和逻辑程序中的否定
周傲英
施伯乐
《计算机科学》
CSCD
北大核心
1996
1
下载PDF
职称材料
10
演绎数据库中规则维护器的设计与实现
陶世群
陈晓东
《计算机工程与设计》
CSCD
2002
1
下载PDF
职称材料
11
演绎数据库的研究与实现
怀进鹏
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1991
4
下载PDF
职称材料
12
演绎数据库技术在网络管理中的应用
熊莺
梁意文
《计算机工程与应用》
CSCD
北大核心
2000
1
下载PDF
职称材料
13
演绎的面向对象数据库
施伯乐
周傲英
《计算机应用》
CSCD
1995
1
下载PDF
职称材料
14
演绎数据库线性递归查询的快速算法
杜小勇
《计算机工程》
CAS
CSCD
北大核心
1989
2
下载PDF
职称材料
15
关于在演绎数据库系统研究中引入一种新的关系的一些探讨
徐洁磐
《软件学报》
EI
CSCD
北大核心
1994
1
下载PDF
职称材料
16
析取演绎数据库否定信息的推理规则
余金山
《华侨大学学报(自然科学版)》
CAS
1999
1
下载PDF
职称材料
17
演绎数据库系统中推理机的设计与实现
常晋义
陶世群
郑成增
《计算机工程》
CAS
CSCD
北大核心
2002
0
下载PDF
职称材料
18
演绎数据库系统dUNIFY的设计与实现
徐洁磐
王银根
柏文阳
《计算机学报》
EI
CSCD
北大核心
1994
0
下载PDF
职称材料
19
分布式演绎数据库系统
郑振楣
石树刚
余卫东
朱友祯
《计算机工程与应用》
CSCD
北大核心
1992
0
下载PDF
职称材料
20
一个面向CAD/CAM的演绎数据库管理系统
郑卫东
林宗楷
郭玉钗
《计算机辅助设计与图形学学报》
EI
CSCD
1994
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
6
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部