DEDUKTÍVNE DATABÁZOVÉ SYSTÉMY
DEDUKTÍVNE DATABÁZOVÉ SYSTÉMY
Deduktívne databázové systémy (DeDBS) sú novým trendom vo vývoji DBS. Ide o DBS, ktoré sú založené na boolovskej logike. Sú vyvrcholením snahy o prepojenie DBS a expertných systémov (ES). Na rozdiel od klasických DBS, ktoré podporujú modelovo-teoretický pohľad na databázu (DB), DeDBS podporujú dôkazovo-teoretický pohľad. Tento pohľad je založený na dedukcii, pomocou ktorej sa z daných faktov (údajov v DB) získavajú fakty nové (samozrejme pridávané aj do DB), a to za použitia všetkých možných kombinácií deduktívnych pravidiel (axióm).
Dôkazovo-teoretický pohľad má nasledujúce črty, ktoré je možné považovať za jej výhody oproti klasickým DB :
• jednota reprezentácie – všetky zložky DeDBS (dáta, axiómy, dotazy, integritné obmedzenia) je možné definovať jedným (rovnakým) spôsobom
• operačná jednota – zhodný spôsob definovania a vykonávania všetkých operácií
• sémantické modelovanie – DeDBS poskytuje dobrý základ pre definovanie rôznych sémantických modelov (napr. udalosti, hierarchie typov, určité typy agregácie entít a pod.)
• rozšírenie aplikácie – poskytujú určité uľahčenie práce pri aplikáciách, pri ktorých majú tradičné DBS veľké problémy ( disjunktívne informácie – dodávateľ S1 poskytuje tovar P1 alebo P2, ale nevieme ktorý konkrétne)
