This paper shows how ideas from a combination of formal techniques can be used to enable
the automatic generation of databases from precise object models. It explores how the
specification of an object database design can be formalized in terms of method
preconditions, method postconditions, and invariant properties-many of which will
correspond to integrity constraints for the data representation. Individual method
specifications can be completed to reflect constraints expressed elsewhere in the model�…

Department of Computer Science, University of Oxford: Publication - On the Generation of
Object Databases using Booster … On the Generation of Object Databases using Booster …
On the Generation of Object Databases using Booster …