====== Cedent ======

===== Definice =====
 
Cedent je definován jako konjunkce dílčích cedentů. Příkladem cedentu je booleovský atribut \\ 
Φ = Φ<sub>1</sub> ∧ Φ<sub>2</sub> ∧ Φ<sub>3</sub>,   kde 
  * Φ<sub>1</sub> = A<sub>1</sub>(2) ∧ A<sub>2</sub>(2,3) ∧ A<sub>3</sub>(5,6,7)
  * Φ<sub>2</sub> = A<sub>11</sub>(2) ∧ ¬A<sub>12</sub>(7) ∧ A<sub>13</sub>(1,2,3)
  * Φ<sub>3</sub> = A<sub>21</sub>(2) ∨ A<sub>22</sub>(7) ∨ A<sub>23</sub>(3,4) ∨ A<sub>24</sub>(8). 

Motivací pro používání  cedentů je potřeba pracovat s  booleovskými charakteristikami několika skupin atributů. Předpokládáme přitom, že jednotlivé skupiny atributů jsou charakterizovány [[lm_guha_te_dilci_cedent|dílčími cedenty]]. 

 
===== Příklad 1 =====
 
Příkladem cedentu je booleovský atribut 
Φ<sub>Host</sub>  ∧  Φ<sub>Pobyt/Začátek</sub> ∧ Φ<sub>Meteo</sub>, kde 


  * Φ<sub>Host</sub>  je dílčí cedent **HVek(//od 28 do 60//)** ∧ **HStat(//ČR//)**, který je booleovskou charakteristiku skupiny [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_hotel_prehled_skupin#skupina_host|Host]]   
  * Φ<sub>Pobyt/Začátek</sub> je dílčí cedent **PDenTydne(//Pá//)** ∧ **PRok(//2012//)**, který je booleovskou charakteristiku skupiny [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_hotel_prehled_skupin#skupina_pobyt_zacatek|Pobyt/Začátek]]
  * Φ<sub>Meteo</sub> je dílčí cedent **MObloha(//zataženo//)** ∧ **MTeplota(//teplo//)**, který je booleovskou charakteristiku skupiny [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_hotel_prehled_skupin#skupina_meteo|Meteo]].

Poznamenejme, že cedent Φ<sub>Host</sub>  ∧  Φ<sub>Pobyt/Začátek</sub> ∧ Φ<sub>Meteo</sub> 
i uvedené dílčí cedenty jsou součástí příkladu [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_ct_tau_b_0_priklad#vysledky|výstupu procedury KL-Miner]] na základě [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_ct_tau_b_0_priklad#zadani_procedury|tohoto zadání]]. 

===== Příklad 2 =====
 
Příkladem cedentu je i booleovský atribut Φ<sub>Řidič</sub>  ∧  Φ<sub>Chyba řidiče</sub>, kde 


  * Φ<sub>Řidič</sub>  je dílčí cedent **Stát(//MD//)** ∧ **Pohlaví//M//)** ∧ **Rasa(//BLACK//)**, který je booleovskou charakteristiku skupiny **Řidič**   
  * Φ<sub>Chyba řidiče</sub> je dílčí cedent  disjunkce **Alkohol(//ano//)** ∨ **Viník/spoluviník(//ano//)** ∨ **Pásy(//ne//)**, která je chápána jako **Chyba řidiče** charakterizující skupinu atributů **Chování řidiče**

Cedent Φ<sub>Řidič</sub>  ∧  Φ<sub>Chyba řidiče</sub> 
i uvedené dílčí cedenty se týkají dat 
[[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_traffic_maryland&do=|Traffic Maryland]] 
použitých v příkladu 
[[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_4ft#data_traffic_maryland_-_vyuziti_disjunkci_1|
Data Traffic Maryland - využití disjunkcí 1]].