Caixa Postal 853

Logical, algebraic, programming language, grammatical and denotational formalisms are investigated with res pect to their applicability to formal data base specz fication. On applying each formalism for the purpose that originally motivated its proposal, it is shown that they all have a fundamental and well integrated role to play in different parts of the specification process. An example is included to illustrate the methodoldgical aspects. 1