Relációs adatbázisok funkcionális függőségi rendszereinek grafikus axiomatizációja

Demetrovics, János and Molnár, András and Bernhard, Thalheim (2007) Relációs adatbázisok funkcionális függőségi rendszereinek grafikus axiomatizációja. ALKALMAZOTT MATEMATIKAI LAPOK, 24. pp. 223-264. ISSN 0133-3399

Preview

Text 11ALKMAT_24.pdf - Published Version Download (5MB) | Preview

Abstract

Relációs adatbázisok tervezésekor az adattáblák sémái mellett fontos azt is megadni, hogy az adatbázisnak milyen invariáns tulajdonságokat kell teljesítenie. E feltételeket integritási megszorítások formájában adhatjuk meg, melyek közül a funkcionális függőségek a legalapvetőbbek. A tervezési gyakorlatban azonban a formalizmus használata nehézkes, így gyakran csak közvetve alkalmazzák. Egyes esetekben viszont az egyértelmű és teljes specifikáció csak függőségi rendszer megadásával lehetséges. Ehhez egy olyan diagramos reprezentációt készítettünk, amely lehetővé teszi a függőségi rendszerek hagyományos jelölésnél egyszerűbb, áttekinthetőbb kezelését. A grafikus reprezentáció a hozzá kifejlesztett axiomatizációval az implikált függőségek levezetését természetes módon támogatja, kisebb sémákra pedig kézzel is könnyen elvégezhetővé teszi. Ezen kívül kis sémákra (legfeljebb 5 attribútum esetén) a lehetséges függőségi rendszerek, ill. típusok számát is meghatároztuk.

Actions (login required)

Edit Item