Naslov
Validation and Verification without Normalization

Autori
Ratkliff, Derek ; Pavlić, Mile ; Jovanović, Vladan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 34th international convention on information and communication technology, electronics and microelectronics, Proceedings Vol. IV, CE / Čičin-Šain, Marina ; Uroda, Ivan ; Turčić Prstačić, Ivana ; Sluganović, Ivanka - Zagreb : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2011, 255-258

ISBN
978-953-233-063-2

Skup
34th international convention on information and communication technology, electronics and microelectronics (MIPRO 2011)

Mjesto i datum
Opatija, Hrvatska, 23.05.2011. - 27.05.2011

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Design; human factors; data model validation; normalization

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA