Limitations of rule triggering systems for integrity maintenance in the context of transition specifications

Schewe Klaus-Dieter; Thalheim Bernhard: Limitations of rule triggering systems for integrity maintenance in the context of transition specifications. In: Acta cybernetica, (13) 3. pp. 277-304. (1998)

[thumbnail of cybernetica_013_numb_003_277-304.pdf]
Előnézet
Cikk, tanulmány, mű
cybernetica_013_numb_003_277-304.pdf

Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

Integrity Maintenance is considered one of the major application fields of rule triggering systems (RTSs). In the case of a given integrity constraint being violated by a database transition these systems trigger repairing actions. Then it is necessary to guarantee the termination of the RTS, its determinacy and the consistency of final states. Transition specifications provide some kind of dynamic semantics requiring certasin effects on database states to occur. In the context of transition specifications integrity maintenance has to cope with the additional problem of effect preservation. Limitations of RTSs with respect to this extended problems are investigated. It will be shown tha t for any set of constraints there exist nonrepairable transitions, which depend on the closure of the constraint set. This implies tha t integrity maintenance by RTSs is only possible, if the constraint implication problem is decidable. Even if unrepairable transitions are excluded, this does not prevent the RTS to produce undesired behaviour. Analyzing the behaviour of RTSs leads to the definition of critical paths in associated rule hypergraphs and the requirement of such paths being absent. It will be shown tha t this requirement can be satisfied if the underlying set of constraints is stratified, but this notion turns out to be too strong to be also necessary. A sufficient and necessary condition for the absence of critical paths is obtained, if sets of constraints are required to be locally stratified.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1998
Kötet: 13
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 277-304
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38505/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 303-304. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:26
Utolsó módosítás: 2022. jún. 13. 15:53
URI: http://acta.bibl.u-szeged.hu/id/eprint/12591
Bővebben:
Tétel nézet Tétel nézet