Cedent

Cedent je definován jako konjunkce dílčích cedentů. Příkladem cedentu je booleovský atribut
Φ = Φ₁ ∧ Φ₂ ∧ Φ₃, kde

• Φ₁ = A₁(2) ∧ A₂(2,3) ∧ A₃(5,6,7)
• Φ₂ = A₁₁(2) ∧ ¬A₁₂(7) ∧ A₁₃(1,2,3)
• Φ₃ = A₂₁(2) ∨ A₂₂(7) ∨ A₂₃(3,4) ∨ A₂₄(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 dílčími cedenty.

Příkladem cedentu je booleovský atribut Φ_Host ∧ Φ_{Pobyt/Začátek} ∧ Φ_Meteo, kde

• Φ_Host je dílčí cedent HVek(od 28 do 60) ∧ HStat(ČR), který je booleovskou charakteristiku skupiny Host
• Φ_{Pobyt/Začátek} je dílčí cedent PDenTydne(Pá) ∧ PRok(2012), který je booleovskou charakteristiku skupiny Pobyt/Začátek
• Φ_Meteo je dílčí cedent MObloha(zataženo) ∧ MTeplota(teplo), který je booleovskou charakteristiku skupiny Meteo.

Poznamenejme, že cedent Φ_Host ∧ Φ_{Pobyt/Začátek} ∧ Φ_Meteo i uvedené dílčí cedenty jsou součástí příkladu výstupu procedury KL-Miner na základě tohoto zadání.

Příkladem cedentu je i booleovský atribut Φ_Řidič ∧ Φ_{Chyba řidiče}, kde

• Φ_Řidič je dílčí cedent Stát(MD) ∧ PohlavíM) ∧ Rasa(BLACK), který je booleovskou charakteristiku skupiny Řidič
• Φ_{Chyba řidiče} 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 Φ_Řidič ∧ Φ_{Chyba řidiče} i uvedené dílčí cedenty se týkají dat Traffic Maryland použitých v příkladu Data Traffic Maryland - využití disjunkcí 1.