Validation and verification without normalization

In this paper, we analyze the usefulness of a simplified variant of the Sharp´s methods in the process of validating logical data models without use of normalization. This paper argues that Sharp´s method provides an appealing, precise approach to logical data models evaluation well-suited for validating by expert users. This paper will compare Sharp´s approach with normal forms and contrast their respective suitability in practical model validation. One of the papers contributions is also a clear rejection of practicality of normalization use for either validation or verification of data models during relational database design. The paper concludes by illustrating the continued relevance of the Sharp´s approach by noting similar, developments in the area of developing methods for teaching modeling, as well as validating models.