====== Přehled ======

Relevantní vztahy, se kterými pracují GUHA procedury CF-Miner, 4ft-Miner, KL-Miner, SDCF-Miner, SD4ft-Miner, SDKL-Miner a Ac4ft-Miner se skládají z jednoho až pěti cedentů a kvantifikátoru. Jedná se o podmínku, antecedent, sukcedent, first set, second set, antecedent stable part, antecedent variable part, sukcedent stable part a sukcedent variable part. Podrobnosti jsou uvedeny u popisu jednotlivých procedur.   sukcedentCedenty určují jednu nebo dvě kontingenční tabulky. Kvantifikátor definuje podmínku na kontingenční tabulky určené cedenty. Pokud je daný vztah tato podmínka v analyzované matici dat splněna, je vztah pravdivý v analyzované matici. 

Vstupem každé GUHA procedury je krom analyzované matice dat i zadání relevantních vztahů. Toto zadání je dáno kvantifikátorem a jedním až pěti zadáními množiny relevantních cedentů. Jedná se o zadání množiny relevantních podmínek, zadání množiny  relevantních antecedentů, zadání množiny relevantních sukcedentů, atd. Podrobnosti jsou opět u popisu jednotlivých procedur. 

Důležité je, že zadání množiny relevantních cedentů se provádí vždy stejně, podrobnosti jsou [[https://lispminer.vse.cz/wiki/doku.php?id=lmtask:settings:ftcedenthierarchy|zde]]. Poznamenejme, že součástí zadání množiny relevantních cedentů je jedno nebo několik [[https://lispminer.vse.cz/wiki/doku.php?id=lmtask:settings:ftpartialcedent|zadání množiny relevantních dílčích cedentů]]. 
Součástí každého zadání množiny relevantních dílčích cedentů je jedno nebo několik [[https://lispminer.vse.cz/wiki/doku.php?id=lmtask:settings:ftliteral|zadání množin relevantních literálů]].