Modularization of the DADAISM Ada Database System Architecture

We describe a new database management system architecture designed for long term evolutionary growth of modular DBMSs. This architecture includes the development of Ada package speci cations for the individual modules. Alternative code bodies can be written corresponding to these package speci cations for variations in desired functionality. These alternative code bodies can also exist side by side, such as a hash structure package along with a B-tree package, or a relational storage module along with an object storage module. Functional speci cations are written in Anna, a formal annotation language for Ada. This e ort does not represent a new data model but rather a new approach to database implementation. This approach can be used to build database systems of any model, including a hybrid relational and object store approach suitable for applications such as Computer Aided Software Engineering (CASE). Our architecture speci cally takes into consideration multi-level security, distributed and parallel computing environments, and evolutionary growth.