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

基于复杂对象的知识库语言
施伯乐;周傲英
【期刊名称】《软件学报》
【年(卷),期】1995(006)004
【摘要】近掉来，复杂对象数据模型及其逻辑数据语言的研究引起了们们的广泛的重视。

本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性检询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构。

在语义方面，定义了空间，基，解释，满足，模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理，最小模型丰在定理以及最小模型的不动点性质，从而重构了基语言理论框架。

【总页数】8页(P193-200)
【作者】施伯乐;周傲英
【作者单位】不详;不详
【正文语种】中文
【中图分类】TP312
【相关文献】
1.基于面向对象知识库和产生式规则知识库的电网调度操作票专家系统 [J], 申太群;彭云建;张静秋
2.用知识库、人工智能和面向对象语言设计与实现四码拼词汉字输入系统 [J], 李先国
3.多模态面向对象知识库查询语言及技术 [J], 王彬;胡振;张志政
4.多模态面向对象知识库查询语言及技术 [J], 王彬;胡振;张志政
5.面向对象语言和C++讲座——第四讲基于C++语言的面向对象的分析和设计[J], 高峻;蒋维杜
因版权原因，仅展示原文概要，查看原文内容请购买。