| 摘要: |
| 近年来，复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面，定义了空间、基、解释、满足、模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理、最小模型存在定理以及最小模型的不动点性质，从而重构了其语义理论框架． |
| 关键词: 复杂对象，逻辑数据语言，模型论语义 |
| DOI： |
| 分类号: |
| 基金项目:本课题得到国家863高技术计划和国家自然科学基金的资助. |
|
| COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE |
|
Zhou Aoying,Guo Depei,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. |
| Key words: Complex object, logic data language, model-theoretical semantics. |
