On ODMG data types

Author

Li, Liwu

Author_Institution

Sch. of Comput. Sci., Windsor Univ., Ont., Canada

fYear

2001

fDate

2001

Firstpage

219

Lastpage

228

Abstract

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

Keywords

abstract data types; data integrity; database languages; object-oriented databases; object-oriented languages; software standards; ODMG data types; application modelling; compiler; database schema definition; formal specification system; interpreter; object data management systems; object definition language; object model; object query language; type checking; valid queries; Application software; Computer science; Data analysis; Database languages; Dictionaries; Electronic mail; Production; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on

Conference_Location

Santa Barbara, CA

ISSN

1530-2067

Print_ISBN

0-7695-1251-8

Type

conf

DOI

10.1109/TOOLS.2001.941675

Filename

941675