基于复杂对象的知识库语言
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本课题得到国家863高技术计划和国家自然科学基金的资助.


COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视.本文提出了一种复杂对象模型COM,描述了该模型上的说明性查询语言CO-DATALOG的语法结构.在语义方面,定义了空间、基、解释、满足、模型等概念;利用COM实例的格性质证明了CO-DATALOG的模型相交定理、最小模型存在定理以及最小模型的不动点性质,从而重构了其语义理论框架.

    Abstract:

    The study on complex object data model and its logic data language has received a lot of attention in recent years. In this paper, a complex object data model COMis proposed, and the syntax of its declarative query language, called CO-DATAI.OG, ispresented. In the respect of semantics, the concepts such as universe, base, interpretation, satisfaction, and model are defined, then based on the lattice property of COM Instances the model intersection theorem, the theorem on existence of the least model, andthe fixpoint characteristic of the least model are proved. Therefore the semantic theoreticalframework is reconstructed.

    参考文献
    相似文献
    引证文献
引用本文

周傲英,郭德培,叶道兵.基于复杂对象的知识库语言.软件学报,1995,6(4):193-200

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1993-05-21
  • 最后修改日期:1993-09-06
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号