Translating object query language

This paper investigates implementation means for object query language OQL. Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL´s intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators. Based on monoid comprehension, we presented an extendable object query translation algorithm which can deal with nested subquery, query with existential and universal quantifier query with aggregate function, query with sort/group