###
DOI:
Journal of Software:1995.6(4):193-200

基于复杂对象的知识库语言
周傲英,郭德培,叶道兵
(复旦大学计算机科学系,上海,200433)
COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE
Zhou Aoying,Guo Depei,Ye Daobing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2648   Download 2425
Received:May 21, 1993    Revised:September 06, 1993
> 中文摘要: 近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视.本文提出了一种复杂对象模型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.
文章编号:     中图分类号:    文献标志码:
基金项目:本课题得到国家863高技术计划和国家自然科学基金的资助. 本课题得到国家863高技术计划和国家自然科学基金的资助.
Foundation items:
Reference text:

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

Zhou Aoying,Guo Depei,Ye Daobing.COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE.Journal of Software,1995,6(4):193-200