Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 12 / Issue 7

available in:   PDF (756 kB) PS (576 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-012-07-0938


Type-safe Versioned Object Query Language

Rodrigo Machado (Universidade Federal do Rio Grande do Sul, Brazil)

Álvaro Freitas Moreira (Universidade Federal do Rio Grande do Sul, Brazil)

Renata de Matos Galante (Universidade Federal do Rio Grande do Sul, Brazil)

Mirella Moura Moro (University of California Riverside (UCR), USA)

Abstract: The concept of versioning was initially proposed for controlling design evolution on computer aided design and software engineering. On the context of database systems, versioning is applied for managing the evolution of different elements of the data. Modern database systems provide not only powerful data models but also complex query languages that have evolved to include several features from complex programming languages. While most related work focuses on different aspects of the concepts, designing models, and processing of versions efficiently, there is yet to be a formal definition of a query language for database systems with versions control. In this work we propose a query language, named Versioned Object Query Language (VOQL), that extends ODMG Object Query Language (OQL) with new features to recover object versions. We provide a precise definition of VOQL through a type system and we prove it safe in relation to a small-step operational semantics. Finally, we validate the proposed definition by implementing an interpreter for VOQL.

Keywords: object-oriented database managementsystems, operational semantics, query languages, type systems

Categories: F.3.2, H.2.3