Resumen de Towards the automatic validation of conceptual specifications for database systems: a formal approach
Alfio Ricardo Martini, José Mauro Castilho (1946-1998)
This paper describes a software tool for the rapid prototyping of database systems, based on their formal conceptual specifications in logic. The prototypes are generated as PROLOG programs. This approach enables one to get user's hands on experience with the software system before its implementation. Throughout this paper, we discuss basic reasons for such formal approach, the structure of the specification language, as wel as an overview of the software tool architecture. At the end, we present some conclusions about the contribution of this work to enhance end-users satisfaction with the final product of the data base design procedure.
