一个实现对象查询语言的形式化基础

石祥滨; 张　斌; 王国仁; 于　戈; 郑怀远

引用本文:	石祥滨,张　斌,王国仁,于　戈,郑怀远.一个实现对象查询语言的形式化基础.软件学报,1998,9(5):360-365

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 4788次下载 5330次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
一个实现对象查询语言的形式化基础
石祥滨¹, 张　斌¹, 王国仁¹, 于　戈¹, 郑怀远¹
东北大学计算机系,沈阳,110006

摘要:

在基于CORBA(common object request broker)的面向对象多数据库系统SCOPE/CIMS中，作者选择了对象数据库管理组ODMG(object database management group)提出的对象数据库标准ODMG-93的OQL(object query language)作为全局查询语言.为此，提出了一种实现OQL的形式化基础,包括适合建模OQL的一种对象演算和一种对象代数；对象演算的规范化规则和规范化步骤；对象演算与对象代数的等价映射规则及转换策略.

关键词: 数据库，面向对象数据库，查询模型，查询语言.

DOI：

分类号:

基金项目:本文研究得到国家863高科技项目基金资助.

A Formal Foundation for Implementing Object Query Language

SHI Xiang-bin,ZHANG Bin,WANG Guo-ren,YU Ge,ZHENG Huai-yua

Abstract:

In this paper, the authors select OQL(object query language) of the object database standard: ODMG-93 suggested by ODMG(object database management group) as global query language in object-oriented multidatabase SCOPE/CIMS and present a formal foundation for implementing OQL, including an object calculus and an object algebra suitable for modeling OQL, normalization rules and normalization steps of the object calculus; mapping rules and translation methods between the calculus and the algebra.

Key words: Database, object-oriented database, query model, query language.