Výchozím pojmem je GUHA procedura. GUHA procedury pracují s maticemi dat jejichž sloupce považujeme za základní atributy, viz zde. Ze sloupců matice dat se odvozují základní booleovský atributy a z nich booleovské atributy. Booleovské atributy jsou součástí vztahů, které GUHA procedury generují verifikují. Booleovské atributy se používají i k definici podmatic matice dat. Informace o maticích dat a booleovských atributech lze získat i z této prezentace.