Home
Scholarly Works
Large database specifications from small views
Journal article

Large database specifications from small views

Abstract

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.

Authors

Khosla S; Maibaum TSE; Sadler M

Journal

Lecture Notes in Computer Science, Vol. 206, , pp. 246–271

Publisher

Springer Nature

Publication Date

January 1, 1985

DOI

10.1007/3-540-16042-6_14

ISSN

0302-9743

Labels

View published work (Non-McMaster Users)

Contact the Experts team