Tato bakalářská práce se zabývá konstrukcí grafu předávání informace, stěžejní součásti metody magických množin, která slouží k optimalizaci vyhodnocení dotazu logickému programu. Práce se tímto tématem zabývá, neboť otevřená implementace metody magických množin je nedostupná. Výstupem je aplikace v jazyce Java, která implementuje algoritmus konstrukce grafu předávání informace, a návrh formátu, ve kterém jsou vypočtené grafy předávání informace ukládány do textových souborů.
Anotace v angličtině
This bachelor thesis deals with sideways information passing, which is a crucial part of the Magic Sets method. This method's purpose is optimization of a logical program query's evaluation. As there is lack of open implementations of the Magic Sets method, this work's output is a Java application, which implements its part - sideways information passing algorithm. The second output is a text format, in which implemented application saves its results into text files.
sideways information passing, adornment string, logical programming, optimization
Rozsah průvodní práce
63 s.
Jazyk
CZ
Anotace
Tato bakalářská práce se zabývá konstrukcí grafu předávání informace, stěžejní součásti metody magických množin, která slouží k optimalizaci vyhodnocení dotazu logickému programu. Práce se tímto tématem zabývá, neboť otevřená implementace metody magických množin je nedostupná. Výstupem je aplikace v jazyce Java, která implementuje algoritmus konstrukce grafu předávání informace, a návrh formátu, ve kterém jsou vypočtené grafy předávání informace ukládány do textových souborů.
Anotace v angličtině
This bachelor thesis deals with sideways information passing, which is a crucial part of the Magic Sets method. This method's purpose is optimization of a logical program query's evaluation. As there is lack of open implementations of the Magic Sets method, this work's output is a Java application, which implements its part - sideways information passing algorithm. The second output is a text format, in which implemented application saves its results into text files.
sideways information passing, adornment string, logical programming, optimization
Zásady pro vypracování
Seznamte se se základy logického programování.
Prostudujte Metodu magických množin, kterou lze optimálně vyhodnotit dotaz logického programu. Zaměřte se na část konstrukce tzv. grafu předávání informace.
Navrhněte aplikaci, která bude generovat pro vstupní logické pravidlo odpovídající grafy předávání informace.
Navrženou aplikaci realizujte v programovacím jazyce Java.
Vytvořený program řádně otestujte a ověřte jeho správnou funkčnost.
Zásady pro vypracování
Seznamte se se základy logického programování.
Prostudujte Metodu magických množin, kterou lze optimálně vyhodnotit dotaz logického programu. Zaměřte se na část konstrukce tzv. grafu předávání informace.
Navrhněte aplikaci, která bude generovat pro vstupní logické pravidlo odpovídající grafy předávání informace.
Navrženou aplikaci realizujte v programovacím jazyce Java.
Vytvořený program řádně otestujte a ověřte jeho správnou funkčnost.