Towards constructive axiomatic specifications

  • Authors:
  • C. S. dos Santos;A. L. Furtado;J. M.V. de Castilho;S. E.R. de Carvalho

  • Affiliations:
  • Universidade Federal do Rio Grande do Sul;Pontifícla Universidade Católica do Rio de Janeiro, Brasil;Universidade Federal do Rio Grande do Sul;Pontifícla Universidade Católica do Rio de Janeiro, Brasil

  • Venue:
  • Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

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.