Počet záznamů: 1  

Alternativní sémantika pro atributové implikace

  1. Údaje o názvuAlternativní sémantika pro atributové implikace [rukopis] / Jan Tříska
    Další variantní názvyAlternativní sémantika pro atributové implikace
    Osobní jméno Tříska, Jan (autor diplomové práce nebo disertace)
    Překl.názAlternative semantics of attribute implications
    Vyd.údaje2014
    Fyz.popis25 s. + 1 CD
    PoznámkaVed. práce Vilém Vychodil
    Oponent Eduard Bartl
    Dal.odpovědnost Vychodil, Vilém (vedoucí diplomové práce nebo disertace)
    Bartl, Eduard (oponent)
    Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti)
    Klíč.slova atributová implikace * axiomatizace * temporální sémantika * attribute implication * axiomatization * temporal semantics
    Forma, žánr diplomové práce master's theses
    MDT (043)378.2
    Země vyd.Česko
    Jazyk dok.čeština
    Druh dok.PUBLIKAČNÍ ČINNOST
    TitulMgr.
    Studijní programNavazující
    Studijní programInformatika
    Studijní oborInformatika
    kniha

    kniha

    Kvalifikační práceStaženoVelikostdatum zpřístupnění
    00179219-831397285.pdf80188.2 KB22.04.2014
    PosudekTyp posudku
    00179219-ved-648515934.pdfPosudek vedoucího
    00179219-opon-898106575.pdfPosudek oponenta

    Práce se zabývá úplnou axiomatizací atributových implikací, které popisují závislosti mezi atributy objektů, které se mění v po sobě jdoucích časových okamžicích. Tyto atributové implikace jsou pravidla ve tvaru když-pak vyjadřující přítomnost atributů objektů relativně v čase. Jejich význam je určen na základě výskytu nebo absence atributů objektů v po sobě jdoucích časových okamžicích. Prezentovaná axiomatizace je rozšířením klasické Armstrongovy úplné axiomatizace atributových implikací o časové okamžiky. Klasický případ je pak speciální případ tohoto rozšíření, kdy se uvažuje pouze jeden časový okamžik.The work deals with a complete axiomatization of attribute implications which describe dependencies between attributes of objects that change in consecutive time points. These attribute implications are if-then rules which express presence of attributes of objects relatively in time. Their semantics is based on presence or absence of object attributes in consecutive time points. Presented axiomatization extends classical complete Armstrong axiomatization of attribute implications by time points. Classical case can be seen as a special case of this extension when only one time point is considered.

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.