Interactive Specification And Formal Verification Of User´s Views In Data Base Design

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.