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 |