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.