SDKL-vztah se týká dvou kategoriálních atributů R a C a dvou podmatic matice dat.
Příkladem SDKL-vztahu je vztah kategoriálních atributů DHodnoceni a DPersonal vyjádřený SDKL-výrazem
HMesto(Bratislava) x HMesto(Plzeň): DHodnoceni ≈ PCenaCelkem / PTypPobytu(rekreační),
kde symbol ≈ značí SDKL-kvantifikátor [TauB1 ≥ 0.59,TauB2 ≤ -0.59, SUM1 ≥ 58, SUM2 ≥ 51]. Tomuto SDKL-výrazu odpovídá následující obrázek vytvořený z výstupu procedury SDKL-Miner.
Uvedený SDKL-vztah se týká matice dat Hotel. Platí:
SDKL-vztah se týká dvou kategoriálních atributů R a C a dvou podmatic matice dat. Vyjadřuje se SDKL-výrazem α×β: R≈C/χ kde
SDKL-vztah α×β: R≈C/χ je určen pro vyjádření rozdílu mezi vztahy kategoriálních atributů R a C na podmaticích daných booleovskými atributy α∧χ a β∧χ. Pro popis tohoto rozdílu se používá SDKL-tabulka a SDKL-kvantifikátor.
Podmatice M/α∧χ matice M je totéž jako podmatice (M/α)/χ matice M/α, analogicky pro M/β∧χ. Rozdíl mezi vztahy kategoriálních atributů R a C na podmaticích M/α∧χ a M/β∧χ matice M je tedy totéž jako rozdíl mezi vztahy atributů R a C za podmínky χ na podmaticích M/α a M/β.
Výrazy SDKL-vztah a SDKL-výraz se obvykle používají jako synonyma.
SDKL-tabulkou SDKL(R,C,α,β,M/χ) pro SDKL-vztah α×β: R≈C/χ a matici dat M rozumíme dvojici KL-tabulek
‹ TKLα, TKLβ › kde
TKLα = KL(R,C,M/χ∧α) a TKLβ = KL(R,C,M/χ∧β), viz též následující obrázek.
Symbol „≈“ v SDKL-vztahu α×β: R≈C/χ se nazývá SDKL-kvantifikátor. Definuje podmínku týkající se
dvojice
‹ {uα,i,j}, {uβ,i,j} › matic celých nezáporných čísel
o K řádcích a L sloupcích.
Podobně jako pro 4ft-kvantifikátor, chápeme i
SDKL-kvantifikátor ≈ jako {0,1}-hodnotovou funkci ≈({uα,i,j}, {uβ,i,j}).
Platí
SDKL-kvantifikátory implementované v GUHA proceduře SDKL-Miner jsou popsány zde.
Platnost SDKL-vztahu α×β: R≈C/χ v matici dat M je definována pomocí SDKL-tabulky ‹ TKLα, TKLβ › takto: