An application of Gamma formalism in database design

Many approaches to parallel programming languages have emerged; one of them is the Gamma specification programming language. It can be applied to a wide range of applications. In this paper we report in the application of Gamma on database design via normalization. We give the specification that separates the concerns of architecture and implementation issues from the task of developing a correct solution. We highlight an implementation of our specification and report in the results of our experimental testing.