A Data Base Approach to Software Specification

A data base is a simulation of some real-world phenomena that is represented on a computing machine. A long-standing goal of data base technology has been to specify the semantics of the simulation while suppressing all details of its computer representation. To meet this goal, a variety of specification languages called data base models have been developed. These models are oriented towards applications where large quantities of intricately interrelated data are manipulated by multiple users.