Technical reports
Towards a formal type system for ODMG OQL
G.M. Bierman, A. Trigoni
September 2000, 20 pages
DOI: 10.48456/tr-497
Abstract
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
@TechReport{UCAM-CL-TR-497, author = {Bierman, G.M. and Trigoni, A.}, title = {{Towards a formal type system for ODMG OQL}}, year = 2000, month = sep, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-497.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-497}, number = {UCAM-CL-TR-497} }