Towards a formal type system for ODMG

  title={Towards a formal type system for ODMG},
  author={OQLG and . M. Bierman and A.. and TrigoniUniversity},
  • OQLG, . M. Bierman, +1 author TrigoniUniversity
  • Published 2000
In this paper we consider in detail the type system of the object-oriented database query language, OQL, as deened by the ODMG 6]. Our main technical contribution is a formal deenition of the typing relation for OQL|surprisingly we could not nd a complete deenition in the literature. We have also uncovered a number of inaccuracies in the original ODMG proposal, and other work. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 13 references

A Formalization of ODMG Queries

View 3 Excerpts
Highly Influenced

Machine-Checking the Java Specification: Proving Type-Safety

Formal Syntax and Semantics of Java • 1999
View 1 Excerpt

Proving Java Type Soundness

Formal Syntax and Semantics of Java • 1999

Type-Checking OQL Queries In the ODMG Type Systems

ACM Trans. Database Syst. • 1999
View 2 Excerpts

The De nition of Standard ML (Revised)

R. Milner, M. Tofte, R. Harper, D. MacQueen
MIT Press • 1997
View 1 Excerpt

Type Systems

ACM Comput. Surv. • 1996
View 2 Excerpts

Similar Papers

Loading similar papers…