Towards constructive axiomatic specifications

Abstract

The main goal of our efforts is the specification of data bases whose structure and behaviour are restricted by semantic integrity constraints. Research proceeds along the following stages: 1. Choose a data model; 2. Establish a taxonomy of integrity constraints; 3. Specify the data model formally; 4. Develop a methodology for specifying conceptual schemas for different applications, based on the data model; 5. Provide a conceptual characterization of query and update operations.