Interactive Specification And Formal Verification Of User's Views In Data Base Design
C. Baldissera, Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi · 1979
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.