===== Základní pojmy =====

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