On the Algebraic Specification of Databases

Abstract

For the conceptual level of database schemes a structured algebraic specification is presented. Within a uniform framework it comprises database manticl data models which often is only partially described can be completely specif ied. But above all algebraic types can be used to spec i fy database schemes directly. abstractions, static and dynamic constraints, and a functional programing language for queries and updates. The specification is analysed w.r.t. syntactic and semantic aspects. Then the behaviour and the implementation of database specifications are discussed. Furthermore, algebraic conditions are presented that guarantee a sound specification