Meno:Jakub
Priezvisko:Šmahovský
Názov:Výpočet rekurzívnych dotazov v relačných databázových systémoch
Vedúci:doc. Dr. Tomáš Plachetka
Rok:2019
Kľúčové slová:Datalog, relačná algebra, dotazy, relačné databázy
Abstrakt:Súčasné SQL systémy buď neimplementujú rekurzívne dotazy vôbec, alebo s neprirodzenými obmedzeniami. Navyše, neponúkajú možnosť optimalizácie výpočtov dotazov na úrovni procedurálneho jazyka a spoliehajú sa výlučne na automaticky generované plány výpočtov. Táto práca adresuje oba tieto problémy. Navrhujeme a implementujeme prototyp relačného databázového systému, ktorý umožňuje výpočet rekurzívnych datalogových dotazov s negáciou podľa well-founded sémantiky. Náš systém zároveň umožňuje dotazy vyjadrovať tiež v procedurálnom jazyku—relačnej algebre. Na konkrétnych príkladoch demonštrujeme výhody manuálnej optimalizácie kánonického plánu výpočtu datalogových programov na úrovni relačnej algebry.

Súbory bakalárskej práce:
Autor nedal súhlas so zverejnením svojej bakalárskej práce.

Súbory prezentácie na obhajobe:

smahovsky.pdf

Upraviť