database

A formal model for temporal schema versioning in object-oriented databases

Authors: 
Grandi, Fabio; Mandreoli, Federica
Year: 
2003
Venue: 
Data & Knowledge Engineering

In this paper we present a formal model for the support of temporal schema versions in object-oriented databases. Its definition is partially based on a generic (ODMG compatible) object model and partially introduces new concepts. The proposed model supports all the schema changes which are usually considered in the OODB literature, for which an operational semantics and a formal analysis of their correct behaviour is provided.

Syndicate content