检索结果-维普期刊中文期刊服务平台

CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑被引量：2: 1; 作者张奠成李修华《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页; 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 展开更多; 关键词 OODB语言约束演绎多类型逻辑; 在线阅读下载PDF 职称材料

演绎数据库和逻辑程序中的否定被引量：1: 2; 作者周傲英施伯乐《计算机科学》 CSCD 北大核心 1996年第5期14-17,共4页; 演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃... 展开更多; 关键词演绎数据库逻辑程序数据库; 在线阅读下载PDF 职称材料

演绎数据库系统中推理机的设计与实现: 3; 作者常晋义陶世群郑成增《计算机工程》 CAS CSCD 北大核心 2002年第11期134-136,共3页; 演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。; 关键词演绎数据库系统推理机设计递归查询线性递归逻辑程序约束模型; 在线阅读下载PDF 职称材料

逻辑程序语言中的集合: 4; 作者袁军陈栋王能斌《计算机研究与发展》 EI CSCD 北大核心 1995年第4期27-32,共6页; 本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配... 展开更多; 关键词逻辑程序语言演绎数据库集合; 在线阅读下载PDF 职称材料

数据库逻辑询问语言: 5; 作者黄孝慈《广西大学学报（自然科学版）》 CAS CSCD 1994年第2期181-186,共6页; 介绍数据库逻辑询问语言的基本概念和询问求值的方法，并扼要介绍逻辑询问语言的研究现状和研究方向。; 关键词关系数据库逻辑询问语言数据库; 在线阅读下载PDF 职称材料

题名CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑被引量：2: 1; 作者张奠成李修华; 机构合肥工业大学人工智能应用研究室; 出处《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页; 基金国家教委博士点专项科研基金; 文摘近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。; 关键词 OODB语言约束演绎多类型逻辑; Keywords deductive database Object-oriented database Constraint logic programming Knowledge base system.; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名演绎数据库和逻辑程序中的否定被引量：1: 2; 作者周傲英施伯乐; 机构复旦大学计算机科学系; 出处《计算机科学》 CSCD 北大核心 1996年第5期14-17,共4页; 文摘演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.; 关键词演绎数据库逻辑程序数据库; Keywords deductive database,logic program,negation.; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名演绎数据库系统中推理机的设计与实现: 3; 作者常晋义陶世群郑成增; 机构常熟高等专科学校计算机系山西大学计算机科学系常州工学院计算机系; 出处《计算机工程》 CAS CSCD 北大核心 2002年第11期134-136,共3页; 文摘演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。; 关键词演绎数据库系统推理机设计递归查询线性递归逻辑程序约束模型; Keywords deductive database deductive machine Recursive query Linear recursive logic program Constrain model; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名逻辑程序语言中的集合: 4; 作者袁军陈栋王能斌; 机构东南大学计算机系; 出处《计算机研究与发展》 EI CSCD 北大核心 1995年第4期27-32,共6页; 文摘本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。; 关键词逻辑程序语言演绎数据库集合; Keywords logic programming language, set terms, matching, deductive database, reduction calculus.; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名数据库逻辑询问语言: 5; 作者黄孝慈; 机构广西大学计算中心; 出处《广西大学学报（自然科学版）》 CAS CSCD 1994年第2期181-186,共6页; 文摘介绍数据库逻辑询问语言的基本概念和询问求值的方法，并扼要介绍逻辑询问语言的研究现状和研究方向。; 关键词关系数据库逻辑询问语言数据库; Keywords relational databases/ deductive databases, query languages for databases logic programming logical query languages.; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑	张奠成李修华	《计算机科学》 CSCD 北大核心	1996	2	在线阅读下载PDF 职称材料
2	演绎数据库和逻辑程序中的否定	周傲英施伯乐	《计算机科学》 CSCD 北大核心	1996	1	在线阅读下载PDF 职称材料
3	演绎数据库系统中推理机的设计与实现	常晋义陶世群郑成增	《计算机工程》 CAS CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料
4	逻辑程序语言中的集合	袁军陈栋王能斌	《计算机研究与发展》 EI CSCD 北大核心	1995	0	在线阅读下载PDF 职称材料
5	数据库逻辑询问语言	黄孝慈	《广西大学学报（自然科学版）》 CAS CSCD	1994	0	在线阅读下载PDF 职称材料