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

Abstract

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

Description

Subject(s)

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

Citation

OPEN License Selector