作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

KBASE-P知识库系统的设计与实现  CNKI文献

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中.KBASE-P是一个通用的知识库程序设计语言.KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩...

朱扬勇 郭德培... 《计算机学报》 1996年03期 期刊

关键词: 数据库 / 知识库 / 逻辑程序设计

下载(91)| 被引(2)

Techniques of Integrating Datalogwith PROLOG  CNKI文献

Since extending DATALOG to a general-purpose programming language seems very difficult, many projects have embedded a DATALOG-based query language into a procedural host language, such as CORAL, Glue...

朱扬勇 郭德培... 《Journal of Computer Science and Technology》 1997年06期 期刊

关键词: Knowledge-base / deductive / database / logic

下载(37)| 被引(0)

知识库中的知识分类  CNKI文献

一个知识库语言应是说明性部分用于查询(实现大量的查询优化技术)和过程性部分用于用户控制(实现I/O和DB更新运算)。知识库系统求值模式应是Top-down与Bottom-up方式、"每次一个集合"与"每次一个元组&...

郭德培 叶道兵... 第十二届全国数据库学术会议论文集 1994-10-01 中国会议

关键词: 数据库 / 知识库 / 逻辑程序设计 / 知识分类

下载(109)| 被引(0)

一种复杂对象数据模型及逻辑查询语言  CNKI文献

近十年来,复杂对象数据模型及其逻辑数据语言的研究引起了广泛的重视.本文提出了一种基于扩充关系模型的复杂对象模型COM,描述了该模型上的说明性查询语言CO-DATALOG的语法结构.在语义方面,定义了空间、基、解释、满足...

郭德培 叶道兵... 第十一届全国数据库学术会议论文集 1993-09-01 中国会议

关键词: 查询语言 / 复杂对象 / 不动点性质 / 关系模型

下载(11)| 被引(1)

数据库中序列模式的增量数据采矿技术  CNKI文献

序列模式的发现是数据采矿(Data Mining)研究的一个重要问题。当研究对象是大规模序列数据时,增量式的数据采矿能够动态维护支持数和可信度而不需重新计算。本文提出的基于数据压缩算法ZIP的序列结构能够有效地支持大...

朱扬勇 郭德培... 数据库研究进展97——第十四届全国数据库学术会议论文集(上... 1997-07-01 中国会议

关键词: 数据库 / 数据采矿 / 序列 / 压缩

下载(14)| 被引(0)

KBASE-P知识库程序设计环境  CNKI文献

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中(如:CORAL系统,Glue-Nail系统)。KBASE是我们开发的说明性知识库查询语言。它与NAIL!类似,是DATALOG扩充了否定、函数等。KBASE-P是KBASE和FD-PROLOG...

施伯乐 胡运发... 第十二届全国数据库学术会议论文集 1994-10-01 中国会议

关键词: 数据库 / 知识库 / 逻辑程序设计 / 编程环境

下载(13)| 被引(0)

Z关系代数  CNKI文献

Z是我们给本文述及的一种复杂对象关系数据模型的代号。本文定义了基于Z模型的关系代数,并简略地探讨了基于Z模型的查询语言向Z关系代数的转换.

叶道兵 郭德培... 第十一届全国数据库学术会议论文集 1993-09-01 中国会议

关键词: 关系代数 / 关系模式 / 属性集 / 多值属性

下载(9)| 被引(0)

含一般递归定义的代数查询语言  CNKI文献

关于演绎和代数查询语言关系的研究由来已久,如非递归的代数,具有不动点操作的代数,与其相关的演绎程序为分层的,二者表达能力相当;本文试图对代数查询语言加以扩充,引入一般递归定义,它可表达通用含否定谓词的逻辑程...

叶道兵 郭德培... 第十二届全国数据库学术会议论文集 1994-10-01 中国会议

关键词: 不动点代数 / 递归代数 / 分层程序 / 一般程序

下载(4)| 被引(0)

关于SIPS可基化性之判定  CNKI文献

对于一条逻辑规则,其SIPS(Sideways Information Passing Strategy)反映求解该规则时体中子目标之间各种信息传递的情况.对于一个存在条件约束的逻辑程序相对一个查询进行魔准线转换之后该程序是非域限制的,因而要进行...

叶道兵 郭德培... 第十一届全国数据库学术会议论文集 1993-09-01 中国会议

关键词: 条件约束 / 变量集合 / 子目标 / 朴素算法

下载(5)| 被引(0)

基于复杂对象的知识库语言  CNKI文献

近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视.本文提出了一种复杂对象模型COM,描述了该模型上的说明性查询语言CO-DATALOG的语法结构.在语义方面,定义了空间、基、解释、...

施伯乐 周傲英... 《软件学报》 1995年04期 期刊

关键词: 复杂对象 / 逻辑数据语言 / 模型论语义

下载(58)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状