| 摘要: |
| 本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义，通过对查询路径的分析，给出了个体对象查询条件匹配的语义，特别是在个体对象上施用递归查询的语义．最后，给出了OODB中选择操作的语义． |
| 关键词: 代数规范，复杂对象数据库，递归查诲，形式语义． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到广东省科学基金项目资助. |
|
| FORMAL SEMANTICS OF RECURSIVE QUERIES IN COMPLEX OBJECT DATABASES |
|
chen Rui
|
| Abstract: |
| This paper has defined the formal semantics of object identities，values，query predicates and database states for complex object databases with a hierarchy of alge-braic specifications．Semantics of queries，especially recursive queries on individual objectsis presented based on insights into query paths．Finally，the semantics of selection opera tions on OODBs is given． |
| Key words: Algebraic specification,complex object database,recursive query,formal semanties |
