Abstract | ||
---|---|---|
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 |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ICECCS.2006.65 | Stanford, CA |
Keywords | Field | DocType |
object database design,formal technique,automatic generation,invariant properties-many,integrity constraint,precise object model,data representation,method precondition,method postconditions,data structures,executable code,object model,integrity constraints,formal specification | Data structure,External Data Representation,Programming language,Method,Computer science,Formal specification,Database design,Data integrity,Invariant (mathematics),Database,Executable | Conference |
ISBN | Citations | PageRank |
0-7695-2530-X | 9 | 0.55 |
References | Authors | |
7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Davies | 1 | 673 | 80.95 |
James Welch | 2 | 46 | 5.54 |
Alessandra Cavarra | 3 | 193 | 17.77 |
Edward Crichton | 4 | 27 | 2.04 |