Large database specifications from small views

In this paper we explore the role of specification as an aid to database construction. A modal system of logic is introduced to model databases together with a structuring technique to create larger database specifications from smaller ones. The basic theory as well as the additional modelling structure is illustrated initially by characterizing a stack data structure as a "view" of an array data structure. Later we give a more realistic example describing an airline network system. We conclude with items for further research.