Title :
Specifying reactive integrity control for active databases
Author_Institution :
Inst. fur Inf., Hannover Univ., Germany
Abstract :
Recent approaches to integrity enforcement in active databases suggest not only to check constraint violations by triggers but also to utilize triggers to perform inconsistency repair actions. However, for sophisticated reactions these approaches often require refinements of already derived integrity maintaining and inconsistency repairing triggers. We argue that analyzing and specifying reactions on constraint violations should exclusively be carried out in the conceptual design. We provide a declarative specification language for reactions on violations with an operational semantics, suitable to express most of the designers´ intended behavior on constraint violations. We describe a design methodology for reaction specifications followed by a procedure to derive a set of stratified integrity enforcing triggers
Keywords :
data integrity; deductive databases; relational databases; specification languages; active databases; conceptual design; constraint violations; declarative specification language; design methodology; inconsistency repair actions; integrity enforcement; operational semantics; reaction specifications; reactive integrity control; stratified integrity enforcing triggers; Concrete; Design methodology; Guidelines; Monitoring; Object oriented databases; Object oriented modeling; Relational databases; Specification languages;
Conference_Titel :
Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on
Conference_Location :
Houston, TX
Print_ISBN :
0-8186-5360-4
DOI :
10.1109/RIDE.1994.282852