𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalizing requirements with object models and temporal constraints

✍ Scribed by Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta

Publisher
Springer-Verlag
Year
2009
Tongue
English
Weight
549 KB
Volume
10
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formal model for temporal schema versi
A formal model for temporal schema versioning in object-oriented databases
✍ Fabio Grandi; Federica Mandreoli πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 425 KB

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