Procedura
SDKL-Miner pracuje s
SDKL-vztahy α×β:R≈C/χ kde R a C jsou kategoriální atributy a α,β,χ jsou booleovské atributy. SDKL-vztah α×β:R≈C/χ
je pravdivý v matici dat M pokud se kontingenční tabulky atributů R a C na podmaticích dat
M/χ∧α a
M/χ∧β liší způsobem daným SDKL-kvantifikátorem ≈. Každý SDKL-kvantifikátor definuje podmínku týkající se dvou kontingenčních tabulek R a C. Příklady aplikací procedury SDKL-Miner jsou
zde.