dc.contributor |
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.contributor |
Universitat Politècnica de Catalunya. GPLN - Grup de Processament del Llenguatge Natural |
dc.contributor.author |
Martín Escofet, Carme |
dc.date |
1998-01 |
dc.identifier.citation |
Martin, C. "The Events method for temporal integrity constraint handling in bitemporal deductive databases". 1998. |
dc.identifier.uri |
http://hdl.handle.net/2117/91169 |
dc.language.iso |
eng |
dc.relation |
LSI-98-68-R |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.subject |
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject |
Bitemporal deductive databases |
dc.title |
The Events method for temporal integrity constraint handling in bitemporal deductive databases |
dc.type |
info:eu-repo/semantics/publishedVersion |
dc.type |
info:eu-repo/semantics/report |
dc.description.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. |