Abstract:
|
The aim of this report is to introduce a taxonomy of temporal
integrity constraints, focused on the bitemporal deductive database
area, to get a better understanding of why they are required, their
behavior and the best way to define them using first order logic. To
meet these goals, we have analyzed temporal integrity constraints
taxonomies existing on the temporal database area and deeply related
areas as multiversion databases. Thus, the mentioned legacy work has
been adapted and developed to cover the scope of the bitemporal
deductive databases. |