• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@TECHREPORT{Bierman00towardsa,
    author = {G.M. Bierman and A. Trigoni},
    title = {Towards a formal type system for ODMG OQL},
    institution = {},
    year = {2000}
}

Bookmarks

         

OpenURL

 

Abstract:

In this paper we consider in detail the type system of the object-oriented database query language, OQL, as defined by the ODMG [6]. 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 original ODMG proposal, and other work. Authors' address: University of Cambridge Computer Laboratory, New Museums Site, Cambridge, CB2 3QG. UK. Email: fgmb; at263g@cl.cam.ac.uk 1 Introduction "OQL is a functional language where operators can freely be composed, as long as the operands respect the type system." ODMG [6, Page 89]. Object database management systems (ODBMS) provide an integration of (objectoriented) programming languages and database systems. By the early 1990s a number of proposals and systems were available, all with different underlying object models and system-specific features. Rather than continuing to work in diffe...

Citations