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

A Formal Foundation for Implementing Object Query Language

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

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.