Temporal Functional dependencies with multiple granularities: a logic based approach

Functional dependencies allow one to define semantic constraints on relational database schemata; even though functional dependencies do not focus on data dynamics, some efforts have been devoted in these last twenty years to extend functional dependencies to support temporal aspects of data. Different temporal functional dependencies have been proposed, which capture temporal features which are slightly different one from each other. In this paper we propose a logic based approach for the problem of modeling and managing temporal data dependencies. More particularly, we show how our proposal allows one to express in a homogeneous way the temporal functional dependencies previously proposed in the literature.