CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 被引量：2

1

作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页

近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多

关键词 OODB语言 约束演绎 多类型逻辑

在线阅读 下载PDF 职称材料

基于逻辑规则的语义缓存查询处理优化技术 被引量：7

2

作者 郝小卫 章陶 李磊 《计算机学报》 EI CSCD 北大核心 2005年第7期1096-1103,共8页

语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首... 语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首先给出并证明了用于优化查询裁剪的逻辑规则;基于这些规则,给出了剩余查询的裁剪算法;最终给出了只需进行剩余查询裁剪的优化查询处理算法.算法分析从理论上证明了该优化机制的有效性,同时,仿真实验的性能比较也表明该优化方法在提高查询裁剪时空效率和降低剩余查询复杂度等方面都要明显优于没有优化的方法. 展开更多

关键词 语义缓存 查询处理 查询裁减 逻辑规则 优化

在线阅读 下载PDF 职称材料

一个基于逻辑程序设计范例的专家数据库开发工具 被引量：5

3

作者 邓铁清 吴泉源 《计算机研究与发展》 EI CSCD 北大核心 1999年第4期395-400,共6页

ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具．它以逻辑语言为基础，向下扩充了主存关系数据库管理功能，向上发展了模块化结构、面向对象方法和智能体通信技术．在逻辑推理层次上，还实现了逻辑程序设计与主存关系数据库语言... ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具．它以逻辑语言为基础，向下扩充了主存关系数据库管理功能，向上发展了模块化结构、面向对象方法和智能体通信技术．在逻辑推理层次上，还实现了逻辑程序设计与主存关系数据库语言级和物理级的有效集成．本文着重介绍该工具的设计思想与实现方法． 展开更多

关键词 逻辑程序设计 智能体 专家数据库 GKD-EDST

在线阅读 下载PDF 职称材料

基于VR技术的船舶航行仿真系统设计 被引量：3

4

作者 张国华 赵凤芝 +1 位作者 包锋 白晟 《舰船科学技术》 北大核心 2018年第11X期49-51,共3页

传统船舶仿真系统不能在短时间内完成航行数据的识别及转发处理。为解决上述问题,设计基于VR技术的新型船舶航行仿真系统。通过层次逻辑结构设计、仿真拓扑结构设计2个步骤,完成新型系统的硬件运行环境搭建。在此基础上,通过VR交互程序... 传统船舶仿真系统不能在短时间内完成航行数据的识别及转发处理。为解决上述问题,设计基于VR技术的新型船舶航行仿真系统。通过层次逻辑结构设计、仿真拓扑结构设计2个步骤,完成新型系统的硬件运行环境搭建。在此基础上,通过VR交互程序设计、航行传输协议设计、仿真数据库设计3个步骤,完成新型系统的软件运行环境搭建,实现基于VR技术船舶航行仿真系统的顺利应用。模拟对比试验结果表明,与传统系统相比,应用基于VR技术船舶航行仿真系统后,航行数据识别及转发处理时间均得到一定程度降低。 展开更多

关键词 VR技术 航行系统 层次逻辑 仿真拓扑 交互程序 传输协议 数据库

在线阅读 下载PDF 职称材料

PROLOG与DBMS系统连接的实现方法 被引量：4

5

作者 李磊 《计算机学报》 EI CSCD 北大核心 1992年第2期104-110,共7页

本文介绍了实现PROLOG-DBMS系统的几种方法,如:解释,编译,半解释和半编译方法.并介绍了各种方法的优点和不足,尤其是半解释方法和半编译方法的优缺点的比较.

关键词 PROLOG 数据库 知识库

在线阅读 下载PDF 职称材料

演绎数据库和逻辑程序中的否定 被引量：1

6

作者 周傲英 施伯乐 《计算机科学》 CSCD 北大核心 1996年第5期14-17,共4页

演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃... 演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的. 展开更多

关键词 演绎数据库 逻辑程序 数据库

在线阅读 下载PDF 职称材料

朴素贝叶斯分类器一阶扩展的注记 被引量：1

7

作者 徐光美 杨炳儒 钱榕 《计算机工程》 CAS CSCD 北大核心 2008年第13期49-50,53,共3页

众多研究者致力于将朴素贝叶斯方法与原有的ILP系统结合,形成各种各样的多关系朴素贝叶斯分类器(MRNBC)。该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法。现实中关系数据库广泛存在,可以直接作用于数据库表,而无须转换表示形式的MR... 众多研究者致力于将朴素贝叶斯方法与原有的ILP系统结合,形成各种各样的多关系朴素贝叶斯分类器(MRNBC)。该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法。现实中关系数据库广泛存在,可以直接作用于数据库表,而无须转换表示形式的MRNBC则是研究的重点,该方法主要基于关系数据库理论,分析了进行一阶扩展的关键问题。 展开更多

关键词 多关系数据挖掘 朴素贝叶斯 分类 归纳逻辑程序设计 关系数据库

在线阅读 下载PDF 职称材料

KBASE－P知识库系统的设计与实现

8

作者 朱扬勇 郭德培 施伯乐 《计算机学报》 EI CSCD 北大核心 1996年第3期208-214,共7页

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿... 当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现． 展开更多

关键词 数据库 知识库 逻辑程序设计 人工智能

在线阅读 下载PDF 职称材料

复合条件查询在 FoxPro for Windows 中的实现 被引量：1

9

作者 张素智 范承亚 《郑州轻工业学院学报》 1997年第2期36-40,共5页

根据ＦｏｘＰｒｏｆｏｒＷｉｎｄｏｗｓ所提供的编程工具，提出了一种用逻辑表达式来实现复合条件查询的方法。

关键词 数据库 查询 逻辑表达式 应用程序 复合条件

在线阅读 下载PDF 职称材料

DBLP科研合作网络的建模与拓扑特征分析

10

作者 贾思媛 许勇 +1 位作者 赵海 艾均 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第10期1396-1399,共4页

使用DBLP(database systems and logic programming)提供的文献索引作为原始数据,对计算机及其相关领域合作发表论文形成的科研合作网络进行了研究.通过解析xml元数据,构建DBL,P科研合作网络拓扑并计算其网络拓扑常规参数,分析了若干参... 使用DBLP(database systems and logic programming)提供的文献索引作为原始数据,对计算机及其相关领域合作发表论文形成的科研合作网络进行了研究.通过解析xml元数据,构建DBL,P科研合作网络拓扑并计算其网络拓扑常规参数,分析了若干参数的统计特征,发现DBLP科研合作网络是小世界网络,但无标度特性不明显;该科研合作网络的中心与边缘拓扑反映不同的科研合作模式;DBLP复杂网络的k核与科学家的h-指数并无强相关性.最后使用观察结果讨论了复杂网络的研究发展及本实验室在计算机相关领域的学术定位情况. 展开更多

关键词 DBLP 科研合作网络 复杂网络 核数 简约 社团

在线阅读 下载PDF 职称材料

演绎数据库系统中推理机的设计与实现

11

作者 常晋义 陶世群 郑成增 《计算机工程》 CAS CSCD 北大核心 2002年第11期134-136,共3页

演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。

关键词 演绎数据库系统 推理机 设计 递归查询 线性递归逻辑程序 约束模型

在线阅读 下载PDF 职称材料

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

12

作者 邓铁清 王志英 吴泉源 《国防科技大学学报》 EI CAS CSCD 北大核心 1991年第4期8-14,共7页

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中... 本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。 展开更多

关键词 逻辑程序设计 关系数据库 解释

在线阅读 下载PDF 职称材料

知识库系统和语言的演变

13

作者 朱扬勇 施伯乐 《计算机科学》 CSCD 北大核心 1994年第5期42-44,共3页

引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用于数据密集型应用(如:CAx、CIMS、专家系统、……)。另一方面,数... 引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用于数据密集型应用(如:CAx、CIMS、专家系统、……)。另一方面,数据库管理系统(DBMs)能够有效安全地管理大容量数据.但不能处理递归,而递归是上述基于知识系统的基本能力。因此,研制同时具有Prolog和DBMS能力的新型数据系统就成为必要。 展开更多

关键词 知识库系统 知识库语言 PROLOG语言

在线阅读 下载PDF 职称材料

基于时序逻辑的时序数据库中知识发现方法

14

作者 王清毅 范焱 蔡庆生 《计算机科学》 CSCD 北大核心 1999年第8期68-70,89,共4页

知识发现是一个众多学科诸如人工智能、机器学习、模式识别、统计学、数据库和知识库、数据可视化等相互交叉、融合所形成的一个新兴的且具有广阔应用前景的领域。目前国际上对知识发现的研究与开发进展很快。众多现实世界(如天气预报... 知识发现是一个众多学科诸如人工智能、机器学习、模式识别、统计学、数据库和知识库、数据可视化等相互交叉、融合所形成的一个新兴的且具有广阔应用前景的领域。目前国际上对知识发现的研究与开发进展很快。众多现实世界(如天气预报、电信、金融)的数据库中数据都是随时间变化的,即数据具有时序性。目前,时序数据库中的知识发现问题正逐渐引起KDD研究者的兴趣。 展开更多

关键词 时序数据库 知识发现 时序逻辑

在线阅读 下载PDF 职称材料

面向对象数据库中的频繁模式发现

15

作者 李琳娜 张志平 《高技术通讯》 CAS CSCD 北大核心 2011年第1期15-21,共7页

提出了基于高阶归纳逻辑编程发现面向对象数据库中的频繁模式的算法。此算法使用高阶逻辑编程语言Escher作为数据及模式表示语言。由于高阶逻辑编程语言不仅能描述复杂结构的数据而且还能描述复杂的模式，以及Escher语言的强类型语法能... 提出了基于高阶归纳逻辑编程发现面向对象数据库中的频繁模式的算法。此算法使用高阶逻辑编程语言Escher作为数据及模式表示语言。由于高阶逻辑编程语言不仅能描述复杂结构的数据而且还能描述复杂的模式，以及Escher语言的强类型语法能有效缩小由于高阶逻辑编程语言较强表达能力所带来的较大的模式搜索空间，故此算法能充分利用面向对象数据库中丰富的语义信息引导频繁模式搜索过程且能发现复杂频繁模式。实验证明，此算法在效率和发现的频繁模式质量上都优于经典的WARMAR算法。 展开更多

关键词 面向对象数据库 数据挖掘 频繁模式发现 高阶归纳逻辑编程

在线阅读 下载PDF 职称材料

逻辑程序语言中的集合

16

作者 袁军 陈栋 王能斌 《计算机研究与发展》 EI CSCD 北大核心 1995年第4期27-32,共6页

本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配... 本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。 展开更多

关键词 逻辑程序语言 演绎数据库 集合

在线阅读 下载PDF 职称材料

数据库更新研究现状综述

17

作者 杨戈 李磊 《计算机科学》 CSCD 北大核心 2000年第12期7-10,共4页

一、引言一个数据库通常包括两个部分:数据资源和推导规则。数据资源是指存储在数据库中的事实。例如在一个家庭关系数据库中,Jonsson是Pater的父亲father(Jonsson,Peter),Mary是Peter的母亲mother(Mary,Peter)是数据资源。在计算机理... 一、引言一个数据库通常包括两个部分:数据资源和推导规则。数据资源是指存储在数据库中的事实。例如在一个家庭关系数据库中,Jonsson是Pater的父亲father(Jonsson,Peter),Mary是Peter的母亲mother(Mary,Peter)是数据资源。在计算机理论科学中又把数据库的这一部分称为外延数据库(EDB)。推导规则则是用户为数据演算定义的一种规则,或者也可以理解为数据之间的一种关系。例如祖父规则grandfather(X,Y)←father(X,Z),father(Z,Y)。 展开更多

关键词 数据库 数据资源 有限模型 更新原则

在线阅读 下载PDF 职称材料

关系数据库的自动生成与维护

18

作者 姜涛 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1992年第3期130-139,共10页

随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关... 随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关系数据库之中,并使其成为关系数据库应用系统自动生成与自动维护的核心技术。利用这一技术,可以把自动设计出的逻辑程序通过程序变换途径转换为数据库查询语句。目前,我们已利用这一技术建立了一个实验系统,利用它已可以自动构造和维护一些小规模的数据系统。 展开更多

关键词 关系数据库 逻辑程序 程序变换

在线阅读 下载PDF 职称材料

一个紧耦合的CPD系统的实现

19

作者 周宗毅 李磊 《计算机应用》 CSCD 1999年第4期19-23,共5页

本文介绍一个在微机上实现的紧耦合ＣＰＤ（ＣｏｕｐｌｉｎｇＰＲＯＬＯＧｔｏｒｅｌａｔｉｏｎａｌＤａｔａｂａｓｅ）系统ＰＲＯＬＥＢ及其实现技术。ＰＲＯＬＥＢ使用ｅＢＡＳＥ作为内嵌式的数据库引擎，解决了紧耦合ＣＰＤ系统实现... 本文介绍一个在微机上实现的紧耦合ＣＰＤ（ＣｏｕｐｌｉｎｇＰＲＯＬＯＧｔｏｒｅｌａｔｉｏｎａｌＤａｔａｂａｓｅ）系统ＰＲＯＬＥＢ及其实现技术。ＰＲＯＬＥＢ使用ｅＢＡＳＥ作为内嵌式的数据库引擎，解决了紧耦合ＣＰＤ系统实现的一大难点。它提供给用户一个完整的ＰＲＯＬＯＧ语言，而且由于部分合一功能的实现，拓展了数据库提问的描述能力。它采用子句间优化技术，既保证了系统的正确性，又提高了效率。此外，它还有良好的空间效率。 展开更多

关键词 关系数据库 CPD系统 紧耦合 数据库

在线阅读 下载PDF 职称材料

数据库逻辑询问语言

20

作者 黄孝慈 《广西大学学报（自然科学版）》 CAS CSCD 1994年第2期181-186,共6页

介绍数据库逻辑询问语言的基本概念和询问求值的方法，并扼要介绍逻辑询问语言的研究现状和研究方向。

关键词 关系数据库 逻辑询问语言 数据库

在线阅读 下载PDF 职称材料