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.