The Events method for temporal integrity constraint handling in bitemporal deductive databases

Abstract

A bitemporal deductive database is a deductive database that supports valid and transaction time. A temporal integrity constraint deals with only valid time, only transaction time or both times. A set of facts to be einserted and deleted in a bitemporal deductive database can be done in a past, present or future valid time and at current transaction time. The temporal integrity constraint handling in bitemporal deductive databases causes that the maintenance of consistency becomes more complex than another databases. The $events method$is based on applying transition and event rules, which explicitly define the insertions and deletions given by a database update. In the conceptual model, we augment the database with temporal transition and event rules and then standard SLDNF-resolution can be used to verify that a transaction does not violate any temporal integrity constraint. In the representational data model, we use time point-based intervals to store temporal information. In this paper, we adapt the$$$events method$$$ for handling temporal integrity constraints. Finally, we present the interaction between the above-mentioned conceptual and representational data models.Postprint (published version