Překlad logického programu do uložených objektů SŘBD PostgreSQL

Abstract

Tato diplomová práce se zabývá překladem logického programu do uložených objektů SŘBD PostgreSQL. V první části jsou objasněné základní pojmy týkající se logického programování, programovacího jazyka PL/pgSQL a teorie grafů. Dále je podrobně popsán algoritmus transformace logického programu do uložených objektů SŘBD PostgreSQL a realizace programu PrologToPostgreSQL, který tuto transformaci zajišťuje. Velká pozornost je věnována vytvoření hlavní funkce, která respektuje vztahy mezi uloženými funkcemi a volá je v co nejvýhodnějším pořadí. Tento vytvořený program se v budoucnu stane součástí experimentálního deduktivního databázového systému. V poslední části jsou zmíněny výsledky testování aplikace.