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 zde. Poznamenejme, že součástí zadání množiny relevantních cedentů je jedno nebo několik 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 zadání množin relevantních literálů.