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.