Interactive specification and formal verification of user's views in data bases design

  • Authors:
  • C. Baldissera;Stefano Ceri;Giuseppe Pelagatti;Giampio Bracchi

  • Affiliations:
  • -;-;-;-

  • Venue:
  • VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
  • Year:
  • 1979

Quantified Score

Hi-index 0.00

Visualization

Abstract

Among the different phases of the data base design process, the phase of modelling user's views has a particular relevance. This paper describes an interactive methodology for designing the views starting from the elementary sentences that specify the requirements of the application. The methodology generates a canonical representation, and provides verification algorithms for detecting inconsistencies, redundancies and ambiguities, and for restructuring and optimizing the model.