首页> 中文期刊> 《软件学报》 >基于复杂对象的知识库语言

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

         

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号