Title :
Structuring database specifications
Author :
Wirsing, Martin ; Leszczylowski, Jacek
Author_Institution :
Bayer. Forschungszentrum fur Wissensbasierte Syst., Passau Univ., Germany
Abstract :
The construction of specifications, their decomposition into separate modules and the reusability of such modules are key problems for the development of high-quality software. A discussion is presented of these issues for a small but realistic case study: the development of a database specification within the framework of an (algebraic) specification language (an extension of ASL) which allows parameterization and polymorphism. The relational database NDB (Norman´s Database) is to be specified. Two database specifications are developed which have a different module structure. The development process of the two specifications is described and analyzed
Keywords :
database theory; formal specification; relational databases; software reusability; ASL; NDB; Norman´s Database; binary database; database specification; flat specification; high-quality software; module structure; parameterization; polymorphic typed specification; polymorphism; relational database; reusability; specification language; Computer industry; Data structures; Formal specifications; Modular construction; Object oriented programming; Relational databases; Software quality; Software reusability; Software testing; Specification languages;
Conference_Titel :
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location :
Bologna
Print_ISBN :
0-8186-2141-9
DOI :
10.1109/CMPEUR.1991.257419
