Use this resource - and many more! - in your textbook!
AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.
On the generation of object databases using booster
By: Cavarra, A.; Welch, J.; Davies, J.; Crichton, E.;
2006 / IEEE / 0-7695-2530-X
This item was taken from the IEEE Conference ' On the generation of object databases using booster ' 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, composed to specify transactions, and then translated into executable code, to produce a reliable data store with a programming interface. The process of completion, composition, and translation may be automated to produce a model-driven approach to the development of object databases.
Object Oriented Modeling
Unified Modeling Language
Object Oriented Databases