Number of the records: 1  

Alternativní sémantika pro atributové implikace

  1. Title statementAlternativní sémantika pro atributové implikace [rukopis] / Jan Tříska
    Additional Variant TitlesAlternativní sémantika pro atributové implikace
    Personal name Tříska, Jan (dissertant)
    Translated titleAlternative semantics of attribute implications
    Issue data2014
    Phys.des.25 s. + 1 CD
    NoteVed. práce Vilém Vychodil
    Oponent Eduard Bartl
    Another responsib. Vychodil, Vilém (thesis advisor)
    Bartl, Eduard (opponent)
    Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor)
    Keywords atributová implikace * axiomatizace * temporální sémantika * attribute implication * axiomatization * temporal semantics
    Form, Genre diplomové práce master's theses
    UDC (043)378.2
    CountryČesko
    Languagečeština
    Document kindPUBLIKAČNÍ ČINNOST
    TitleMgr.
    Degree programNavazující
    Degree programInformatika
    Degreee disciplineInformatika
    book

    book

    Kvalifikační práceDownloadedSizedatum 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.

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.