| 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.
|
|---|