文章基本信息

标题：Type-safe Versioned Object Query Language
本地全文：下载
作者：R. Machado ; Á. Freitas Moreira ; R. de Matos Galante 等
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2006
卷号：12
期号：7
页码：938-938
出版社：Graz University of Technology and Know-Center
摘要：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.
关键词：object-oriented database managementsystems, operational semantics, query languages, type systems