On ODMG data types

The ODMG (Object Data Management Group) standard for object data management systems consists of an object model for modeling applications, an object definition language (ODL) for defining database schemas, and an object query language (OQL) for writing queries. We present a formal system to specify the data types that can be defined in an ODL database schema and analyze the data types required by OQL queries. We indicate that OQL queries require data types beyond what can be defined in the ODL. With the current specification of the ODMG standard, no compiler or interpreter could perform type checking for all the valid OQL queries