Text this: Príspevok k návrhu a implementácii algoritmov a údajových štruktúr pre vyhodnotenie Hornových klauzúl s využitím operácií relačnej algebry :