Abstract: in this paper, the contrasts between VDM and Z are presented by means of a relative database specification. The main features of these specification languages are discussed in detail.