主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
周傲英,郭德培,叶道兵.基于复杂对象的知识库语言.软件学报,1995,6(4):193-200
基于复杂对象的知识库语言
COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE
投稿时间:1993-05-21  修订日期:1993-09-06
DOI:
中文关键词:  复杂对象,逻辑数据语言,模型论语义
英文关键词:Complex object, logic data language, model-theoretical semantics.
基金项目:本课题得到国家863高技术计划和国家自然科学基金的资助.
作者单位
周傲英 复旦大学计算机科学系,上海,200433 
郭德培 复旦大学计算机科学系,上海,200433 
叶道兵 复旦大学计算机科学系,上海,200433 
摘要点击次数: 2774
全文下载次数: 2498
中文摘要:
      近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视.本文提出了一种复杂对象模型COM,描述了该模型上的说明性查询语言CO-DATALOG的语法结构.在语义方面,定义了空间、基、解释、满足、模型等概念;利用COM实例的格性质证明了CO-DATALOG的模型相交定理、最小模型存在定理以及最小模型的不动点性质,从而重构了其语义理论框架.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利