| Meno: | Matúš |
|---|---|
| Priezvisko: | Duchyňa |
| Názov: | Kompilátor Datalogu s funkčnými symbolmi do relačnej algebry |
| Vedúci: | doc. Mgr. Tomáš Plachetka, Dr. |
| Rok: | 2026 |
| Kľúčové slová: | Datalog, relačná algebra, kompilátor, funkčné symboly, ANTLR, databázový systém |
| Abstrakt: | Táto práca sa zaoberá návrhom a implementáciou kompilátora z jazyka Datalog rozšíreného o funkčné symboly a vstavané predikáty do relačnej algebry. Motiváciou je integrácia Datalogu ako vyššieho dotazovacieho jazyka do experimentálneho databázového systému. V teoretickej časti práce definujeme syntax a sémantiku Datalogu s funkčnými symbolmi a vstavanými predikátmi. Následne špecifikujeme cieľovú relačnú algebru so štyrmi operátormi: UNION, JOIN, ANTIJOIN a REC. V implementačnej časti popisujeme gramatiku Datalogu zapísanú v syntaxi nástroja ANTLR, konštruovanie abstraktného syntaktického stromu a viacstupňový algoritmus prekladu. Kompilátor vykonáva syntaktickú aj sémantickú analýzu vstupného programu a generuje ekvivalentný výraz relačnej algebry. Kompilátor je použiteľný aj samostatne, nezávisle od konkrétneho databázového systému. |
Súbory bakalárskej práce:
| main.pdf |
| compiler.zip |
Súbory prezentácie na obhajobe: