Applying transition rules to bitemporal deductive databases for integrity constraint checking
Visualitza/Obre
Cita com:
hdl:2117/119100
Tipus de documentArticle
Data publicació1996-07
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
A bitemporal deductive database is a deductive database that supports valid and transaction time. A set of facts to be inserted and/or deleted in a bitemporal deductive database can be done in a past, present or future valid time. This circumstance causes that the maintenance of database consistency becomes more hard. In this paper, we present a new approach to reduce the difficulty of this problem, based on applying transition and event rules, which explicitly define the insertions and deletions given by a database update. Transition rules range over all the possible cases in which an update could violate some integrity contraint. Although, we have a large amount of transition rules, for each one we argue its utility or we eliminate it. We augment a database with this set of transition and event rules and then standard SLDNF resolution can be used to check satisfaction of integrity constraints.
CitacióMartin, C., Sistac, J. Applying transition rules to bitemporal deductive databases for integrity constraint checking. "Lecture notes in computer science", Juliol 1996, vol. 1154, núm. 1, p. 117-134.
ISSN0302-9743
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
LOGIC.IN.DBS.fv3.pdf | 84,98Kb | Visualitza/Obre |