Прилог пројектовању, консолидацији и трансформацијама ограничења торке шеме базе података, заснован на платформски независним моделима

Abstract

Употреба платформски независног моделовања и генерисања прототипова у развоју информационих система скраћује време њиховог развоја и побољшава квалитет тог процеса. При томе, циљ је обезбеђење могућности да развој свих аспеката информационих система буде подржан оваквим приступом. Ова дисертација треба да пружи одговарајући допринос у остварењу наведеног циља. У дисертацији представљени су алгоритми за трансформацију модела ограничења вредности у извршив кôд и консолидацију подшема са јединственом шемом базе података, са аспекта ограничења вредности.

Upotreba platformski nezavisnog modelovanja i generisanja prototipova u razvoju informacionih sistema skraćuje vreme njihovog razvoja i poboljšava kvalitet tog procesa. Pri tome, cilj je obezbeđenje mogućnosti da razvoj svih aspekata informacionih sistema bude podržan ovakvim pristupom. Ova disertacija treba da pruži odgovarajući doprinos u ostvarenju navedenog cilja. U disertaciji predstavljeni su algoritmi za transformaciju modela ograničenja vrednosti u izvršiv kôd i konsolidaciju podšema sa jedinstvenom šemom baze podataka, sa aspekta ograničenja vrednosti.

The usage of platform-independent modelling and generation of prototypes in information systems development reduces the development time and improves the process quality. By that, the goal is to have all elements of an information system supported by this approach. This dissertation should provide a contribution towards fulfilling the given goal. In the dissertation, author presents algorithms for check constraint model into executable code transformations and algorithms for testing subschema consolidation with respect to check constraints.