Department of Computer Science and Technology

Technical reports

Towards a formal type system for ODMG OQL

G.M. Bierman, A. Trigoni

September 2000, 20 pages

DOI: 10.48456/tr-497


In this paper we consider in detail the type system of the object-oriented database query language, OQL, as defined by the ODMG. Our main technical contribution is a formal definition of the typing relation for OQL—surprisingly we could not find a complete definition in the literature. We have also uncovered a number of inaccuracies in the ODMG proposal, and other work.

Full text

PDF (1.3 MB)

BibTeX record

  author =	 {Bierman, G.M. and Trigoni, A.},
  title = 	 {{Towards a formal type system for ODMG OQL}},
  year = 	 2000,
  month = 	 sep,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-497},
  number = 	 {UCAM-CL-TR-497}