Příkladem KL-vztahu je vztah kategoriálních atributů DHodnoceni a DPersonal vyjádřený KL-výrazem
DHodnoceni [TauB ≥ 0.94,SUM ≥ 113] DPersonal / HMesto(Praha) ∧ PTypPobytu(rekreační),
kterému odpovídá výstup procedury KL-Miner uvedený v následujícím obrázku.
Uvedený KL-vztah se týká matice dat Hotel. Platí:
KL-vztahem rozumíme vztah dvou kategoriálních atributů na podmatici matice dat. Pro vyjádření
KL-vztahu se používá KL-výraz R≈C/χ kde
KL-výraz R≈C/χ může být na dané matici M pravdivý nebo nepravdivý.
Pokud je pravdivý, pak říkáme, že kategoriální atributy R a C jsou na matici dat M ve vztahu daném KL-kvantifikátorem ≈, nebo že
KL-vztah R≈C/χ platí na matici dat M.
Určení, zda KL-vztah R≈C/χ platí v matici dat M se provádí na základě KL-tabulky.
Výrazy KL-vztah a KL-výraz se obvykle používají jako synonyma.
KL-tabulkou KL(R,C,M/χ) pro KL-vztah R≈C/χ a matici dat M rozumíme kontingenční tabulku atributů R a C v podmatici M/χ, viz též následující obrázek.
KL-tabulku KL(R,C,M/χ) zapisujeme i ve stručné formě {ni,j}, případně {ni,j}K,L. Platí:
Některé KL-kvantifikátory využívají i informaci o počtu řádků v celé matici dat M.
Proto definujeme
podmíněnou tabulku KLC(R,C,M/χ) jako dvojici ‹ {ni,j},nT › kde nT je počet řádků v celé matici dat M.
Symbol „≈“ v KL-vztahu R≈C/χ se nazývá KL-kvantifikátor. Definuje podmínku týkající se
dvojice
‹ {ui,j}K,L, V › kde {ui,j}K,L je matice celých nezáporných čísel
o K řádcích a L sloupcích a V je celé číslo splňující V ≥ ΣiΣj ui,j.
Podobně jako pro 4ft-kvantifikátor, chápeme i
KL-kvantifikátor ≈ jako {0,1}-hodnotovou funkci ≈({ui,j}K,L, V).
Platí
KL-kvantifikátory implementované v GUHA proceduře KL-Miner jsou popsány zde.
Platnost KL-vztahu R≈C/χ v matici dat M je definována pomocí KLC(R,C,M/χ) tabulky
KLC(R,C,M/χ) = ‹ {ni,j},nT › takto: