Towards Armstrong-Style Inference System for Attribute Implications with Temporal Semantics

摘要

We show a complete axiomatization of a logic of attribute implications describing dependencies between attributes of objects which are observed in consecutive points in time. The attribute implications we consider are if-then formulas expressing presence of attributes of objects relatively in time. The semantics of the attribute implications is defined based on presence/absence of attributes of objects in consecutive points of time. The presented results extend the classic results on Armstrong-style completeness of the logic of attribute implications by using the time points as additional component. The ordinary results can be seen as special case of our results when only a single time point is considered.