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

A Formal Foundation for Implementing Object Query Language

作　　者：石祥滨[1] 张斌[1] 王国仁[1] 于戈[1] 郑怀远[1] 

机构地区：[1]东北大学计算机系

出　　处：《软件学报》1998年第5期360-365,共6页Journal of Software

基　　金：国家863高科技项目基金

摘　　要：在基于ＣＯＲＢＡ（ｃｏｍｍｏｎｏｂｊｅｃｔｒｅｑｕｅｓｔｂｒｏｋｅｒ）的面向对象多数据库系统ＳＣＯＰＥ／ＣＩＭＳ中，作者选择了对象数据库管理组ＯＤＭＧ（ｏｂｊｅｃｔｄａｔａｂａｓｅｍａｎａｇｅｍｅｎｔｇｒｏｕｐ）提出的对象数据库标准ＯＤＭＧ－９３的ＯＱＬ（ｏｂｊｅｃｔｑｕｅｒｙｌａｎｇｕａｇｅ）作为全局查询语言．为此，提出了一种实现ＯＱＬ的形式化基础，包括适合建模ＯＱＬ的一种对象演算和一种对象代数；对象演算的的规范化规则和规范化步骤；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.

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

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]