Generování grafů předávání informace

Jakub MORÁVKA

Bakalářská práce

Sideways information passing generation

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

Abstract:

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.

Klíčová slova

graf předávání informace, řetězec ozdobení, logické programování, optimalizace

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 7. 5. 2015

Zveřejnit od: 31. 12. 2999

Obhajoba závěrečné práce

• Vedoucí: Ing. Martin Zíma, Ph.D.

ZÁPADOČESKÁ UNIVERZITA V PLZNI

Fakulta aplikovaných věd

Bakalářský studijní program / obor:
Inženýrská informatika / Informatika