| 基于复杂对象的知识库语言 |
| |
| 引用本文： | 周傲英,郭德培,叶道兵.基于复杂对象的知识库语言[J].软件学报,1995,6(4):193-200. |
| |
| 作者姓名： | 周傲英 郭德培 叶道兵 |
| |
| 作者单位： | 复旦大学计算机科学系,上海,200433;复旦大学计算机科学系,上海,200433;复旦大学计算机科学系,上海,200433 |
| |
| 基金项目： | 本课题得到国家863高技术计划和国家自然科学基金的资助. |
| |
| 摘 要： | 近年来，复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面，定义了空间、基、解释、满足、模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理、最小模型存在定理以及最小模型的不动点性质，从而重构了其语义理论框架．
|
| 关 键 词： | 复杂对象，逻辑数据语言，模型论语义 |
| 收稿时间： | 1993/5/21 0:00:00 |
| 修稿时间： | 9/6/1993 12:00:00 AM |
COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE |
| |
| Zhou Aoying,Guo Depei and Ye Daobing.COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE[J].Journal of Software,1995,6(4):193-200. |
| |
| Authors: | Zhou Aoying Guo Depei and Ye Daobing |
| |
| 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. |
| |
| Keywords: | Complex object logic data language model-theoretical semantics |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
